Constant-Time Cryptography Engineering: 时序攻击防护从理论到生产实践
深入探讨常量时间编程的理论与实践：为什么分支和内存访问会泄露秘密？如何编写抗时序攻击的密码学代码？涵盖编译器优化、缓存攻击、Spectre防御等前沿话题
Rust
从零构建生产级时序数据库：Rust 实战——从 Gorilla 压缩到连续查询的 IoT/MLOps 存储引擎
深入剖析时序数据库核心工程：用 Rust 从零构建 TsdbLite，涵盖 Gorilla 浮点压缩、Delta-of-Delta 时间戳编码、时间分区 LSM 树、Roaring Bitmap 倒排索引、连续聚合查询引擎与 io_uring 异步写入，附 3000 字深度代码实战与性能基准对比。
分布式锁的工程实践深度剖析 — 从 Redlock 争议到 Fencing Token 的生产级安全
深入剖析分布式锁的工程实践：从 Redis SETNX 到 Redlock 争议，再到基于 fencing token 的生产级安全方案，附带 Rust etcd 的完整实现代码。
Apache Arrow 列存内存格式深度工程：零拷贝数据交换的事实标准
深入剖析 Apache Arrow 列式内存格式的物理布局、IPC 零拷贝协议、CUDA Buffer GPU 互操作、字典编码机制，并提供 Rust 实战代码示例展示跨语言数据共享的最佳实践。
远程证明协议深度解析：从 TPM Quote 到 TDX 验证管线的工程实践
深入解析远程证明协议原理与工程实现，覆盖TPM 2.0 Quote、Intel TDX Quote、AMD SEV-SNP Attestation Report三大主流方案，并用Rust构建简化验证服务
深入 Rust 零成本抽象：从泛型单态化到特征对象的编译期与运行时权衡深度实战
从 Rust 零成本抽象哲学出发，深度解析泛型单态化与特征对象的底层机制，涵盖编译期代码膨胀、虚函数表、对象安全、impl Trait 返回位置语义，以及基于基准测试的工程选型决策框架
AI Agent 工具调用的形式化规约与运行时验证：从 TLA 到 Rust 类型状态机的工程实践
探讨如何为 AI Agent 的工具调用建立可证明的安全边界。从 TLA+ 规约建模出发，结合 Rust 类型状态机编译期验证和 WASM 沙箱运行时隔离，构建三层纵深防御体系。
Rust 零成本抽象：Trait 系统深度工程实战
深入剖析 Rust Trait 系统的单态化机制、动态分发原理与编译期优化，通过实际 benchmark 数据展示零成本抽象在生产环境中的性能表现
Rust生态2026：从系统编程到云原生基础设施的全面渗透
全面回顾2026年Rust编程语言及其生态的最新进展，分析Rust在系统编程、云原生基础设施和Linux内核中的深度应用。
DataFusion: Rust 原生查询引擎深入工程
深入剖析 Apache DataFusion——用 Rust 编写的高性能查询引擎，涵盖其架构设计、优化器实现、流式执行模型、内存管理、Join 算法以及在生产环境中的工程实践。
