Rust async fn 的编译器状态机解糖：从 Generator 到 Pin 安全保证的底层机制
深入解析 Rust async fn 的编译器解糖过程：状态机如何从 .await 点构建、Generator trait 驱动状态迁移、Pin 类型保证自引用结构体内存安全、以及 tokio 运行时如何调度和驱动这些状态机。涵盖 MIR/LLVM IR 层面的实现细节、生产环境陷阱与最佳实践。
Rust
从零构建列式查询引擎：内存格式、向量化执行与 Rust 工程实践
从零构建列式查询引擎的完整工程实践：深入剖析列式存储原理、Apache Arrow内存格式字典编码、查询编译流水线谓词下推、向量化执行引擎批量处理模式、SIMD加速过滤与聚合、高性能内存分配器与缓冲区池、io_uring异步IO集成、并行执行调度策略、Spill to Disk溢出处理，以及基于Prometheus的生产监控体系
零成本类型状态机：Rust 编译期工程实战
深入解析 Rust 类型状态模式（Type-State Pattern）：利用 PhantomData 和泛型参数将状态编码到类型系统，在编译期保证状态机正确性。涵盖 TCP 连接状态机、HTTP 构建器模式、GPIO 引脚配置、异步通道状态管理，以及运行时零开销的基准测试证明。附带 embedded-hal/wgpu/tokio 等工业级项目实战案例。
Rust 异步运行时深度实践：Tokio 调度器、io_uring 集成与性能调优全解析
深入剖析 Rust 异步运行时 Tokio 核心架构、io_uring 零拷贝 I/O、工作窃取调度器、背压控制模式、性能调优与生产部署实践
操作系统安全的形式化验证：从 seL4 到 Verus 的工程实践路径
从seL4微内核的里程碑式验证出发，深入解析现代形式化验证工具链（Kani/Prusti/Verus）在操作系统安全领域的工程实践，包含完整代码示例与实战案例。
Rust系统编程深度实战：从零构建高性能网络服务
深入探索Rust系统编程核心概念，从零构建基于Tokio异步运行时的HTTP负载均衡器。覆盖所有权模型、Trait系统、并发编程、错误处理、FFI互操作等关键主题。
rustls：纯 Rust TLS 库深度工程实战
rustls 是纯 Rust 实现的 TLS 库，利用 Rust 类型系统消除内存安全漏洞。本文深入解析 rustls 架构设计、服务端/客户端构建、mTLS 双向认证、TLS 1.3 0-RTT、性能调优及生产部署最佳实践。
Constant-Time Cryptography Engineering: 时序攻击防护从理论到生产实践
深入探讨常量时间编程的理论与实践：为什么分支和内存访问会泄露秘密？如何编写抗时序攻击的密码学代码？涵盖编译器优化、缓存攻击、Spectre防御等前沿话题
从 io_uring uring_cmd 到高性能 KV 存储：NVMe 直通与用户态 IO 栈设计实战
从io_uring uring_cmd机制出发，完整拆解NVMe直通原理、用户态KV引擎uring-kv的Rust实现、性能调优参数矩阵与实测数据对比（vs RocksDB），给出可直接复用的工程方案。
深入 Rust 的 Tower 中间件生态：从零构建生产级 HTTP 拦截器链
Rust Tower 中间件生态深度教程，从零构建生产级 HTTP 拦截器链，涵盖超时、重试、熔断器、限流、并发限制、背压传播与可观测性等完整中间件矩阵，附带大量 Rust 代码示例与生产实战经验。
