深入理解 Raft 共识算法：分布式系统数据一致性的工程实践
深入解析Raft共识算法的设计哲学、领导选举机制、日志复制策略、安全性保证及工业级实现，从理论到工程实践的完整指南
Safety
Rust 异步取消安全（Cancellation Safety）深度实战：从Future的Drop到生产陷阱
深入解析Rust异步编程中的取消安全（Cancellation Safety）问题：从Future的Drop语义出发，系统讲解tasks、数据库连接、TCP流、文件I/O等场景下的取消安全保证与陷阱，提供生产级最佳实践与模式。涵盖Tokio的Cancelled trait、tokio_util的CancelGuard/CancellationToken、以及自定义Future的取消安全实现。
AI Agent 工具调用的形式化规约与运行时验证：从 TLA 到 Rust 类型状态机的工程实践
探讨如何为 AI Agent 的工具调用建立可证明的安全边界。从 TLA+ 规约建模出发，结合 Rust 类型状态机编译期验证和 WASM 沙箱运行时隔离，构建三层纵深防御体系。
