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 内核新特性、性能实测对比及生产部署最佳实践。
Rust async fn 的编译器状态机解糖：从 Generator 到 Pin 安全保证的底层机制
深入解析 Rust async fn 的编译器解糖过程：状态机如何从 .await 点构建、Generator trait 驱动状态迁移、Pin 类型保证自引用结构体内存安全、以及 tokio 运行时如何调度和驱动这些状态机。涵盖 MIR/LLVM IR 层面的实现细节、生产环境陷阱与最佳实践。
Rust内存安全与所有权模型：从生命周期标注到Unsafe Rust的FFI边界
深入剖析Rust的内存安全机制，涵盖所有权系统、借用检查器、生命周期标注、智能指针组合以及Unsafe Rust与FFI边界的设计
Rust Async Fn in Traits：零成本异步多态的实现原理与生产级工程实战
深入剖析 Rust async fn in traits 特性底层实现原理，对比 async-trait 宏的性能差异，提供完整的零成本异步服务框架实战案例，涵盖 RPITIT、Future 类型展开、单态化等核心概念。
Rust 并发编程深度解析：从无畏并发到 async/await 异步运行时
深入剖析Rust并发编程完整体系：从Send/Sync trait的理论基础，到消息传递与共享状态的实践模式；从async/await异步编程原理，到Tokio生产级异步运行时的架构设计与性能调优。
Rust Tokio 运行时深度剖析：任务调度、工作窃取与 io_uring 集成实战
从源码级别解析 Tokio 的任务调度模型、工作窃取算法，以及如何与现代 Linux 内核的 io_uring 深度集成。包含 epoll vs io_uring 性能对比（吞吐量提升 95%），6 个生产级陷阱剖析，以及分层运行时架构实战。
Rust 进军安全关键系统：AUTOSAR Adaptive 与 ISO 26262 的嵌入式 Rust 工程实践
深入分析 Rust 在安全关键汽车电子系统中的工程实践，涵盖 AUTOSAR Adaptive 平台集成、RTIC 实时并发框架、CXX FFI 互操作、ISO 26262 认证路径与 Diagnostics 协议栈的完整实现。
CRDT 无冲突复制数据类型深度实战：从 G-Counter 到 OR-Set 与协作编辑引擎
深入剖析 CRDT 的数学基础与两大家族（CvRDT/CmRDT），用 Rust 从零实现 G-Counter、PN-Counter、OR-Set、LWW-Register，对比 Riak/Redis CRDB/Yjs/Automerge/AntidoteDB 等生产级实现，并给出收敛性验证与选型落地指南。
