AI Agent 工具调用的形式化规约与运行时验证：从 TLA 到 Rust 类型状态机的工程实践
探讨如何为 AI Agent 的工具调用建立可证明的安全边界。从 TLA+ 规约建模出发，结合 Rust 类型状态机编译期验证和 WASM 沙箱运行时隔离，构建三层纵深防御体系。
Rust
Rust 异步运行时与 io_uring 深度集成：从 epoll 跨越到真正零拷贝异步 I/O
深入剖析 Rust 异步运行时与 io_uring 的深度集成：epoll 与 io_uring 的范式鸿沟、Glommio 纯 uring 运行时设计、Tokio-uring 的兼容路线、Linux 6.x 内核新特性、性能实测对比及生产部署最佳实践。
CRDT 无冲突复制数据类型深度实战：从 G-Counter 到 OR-Set 与协作编辑引擎
深入剖析 CRDT 的数学基础与两大家族（CvRDT/CmRDT），用 Rust 从零实现 G-Counter、PN-Counter、OR-Set、LWW-Register，对比 Riak/Redis CRDB/Yjs/Automerge/AntidoteDB 等生产级实现，并给出收敛性验证与选型落地指南。
Rust async fn 的编译器状态机解糖：从 Generator 到 Pin 安全保证的底层机制
深入解析 Rust async fn 的编译器解糖过程：状态机如何从 .await 点构建、Generator trait 驱动状态迁移、Pin 类型保证自引用结构体内存安全、以及 tokio 运行时如何调度和驱动这些状态机。涵盖 MIR/LLVM IR 层面的实现细节、生产环境陷阱与最佳实践。
Rust 异步运行时深度解析：Tokio 与 async-std 的设计哲学与实践对比
深入解析Rust异步运行时Tokio与async-std的设计哲学、架构差异、性能表现及选型指南
Rust内存安全与所有权模型：从生命周期标注到Unsafe Rust的FFI边界
深入剖析Rust的内存安全机制，涵盖所有权系统、借用检查器、生命周期标注、智能指针组合以及Unsafe Rust与FFI边界的设计
Rust Async Fn in Traits：零成本异步多态的实现原理与生产级工程实战
深入剖析 Rust async fn in traits 特性底层实现原理，对比 async-trait 宏的性能差异，提供完整的零成本异步服务框架实战案例，涵盖 RPITIT、Future 类型展开、单态化等核心概念。
Rust 从零构建 QUIC 协议栈：从比特流到生产级实现
从零实现 QUIC 协议的完整工程之旅：从 UDP socket 出发，解析 Long Header、处理 Crypto Frame、完成 TLS 1.3 握手、建立双向 Stream，并实现 BBRv2 拥塞控制。每一步都有可编译的 Rust 代码片段。
Rust 并发编程深度解析：从无畏并发到 async/await 异步运行时
深入剖析Rust并发编程完整体系：从Send/Sync trait的理论基础，到消息传递与共享状态的实践模式；从async/await异步编程原理，到Tokio生产级异步运行时的架构设计与性能调优。
