安全关键系统中 Rust 认证的深度工程实践：从 ISO 26262 ASIL-D 到 DO-178C DAL-A
Rust如何进入安全关键系统领域：Ferrocene编译器认证、Rust-C FFI安全边界设计、Kani/Verus形式化验证实战、ISO 26262/DO-178C认证工程实践全解析
Rust
从零编写 GPU 驱动：Asahi Linux AGX 架构与 Apple M 系列图形栈逆向工程
Asahi Linux从零开始为Apple M系列芯片编写GPU驱动的工程实践，涵盖逆向工程方法论、Rust驱动架构、统一地址空间管理、命令缓冲区调度等深度内容
异构计算环境下的 AI Agent 任务调度：GPU/NPU/CPU 协同执行引擎
探讨AI Agent在异构计算环境中的任务调度策略，包括GPU/NPU/CPU协同执行引擎、统一内存管理、KV Cache优化及零拷贝技术等深度工程实践。
用 Rust 编写经过形式化验证的分布式共识协议：从 TLA+ Spec 到可编译代码
探索如何用 Rust 生态的形式化验证工具（Session Types、Prusti、Kani）弥合 TLA+ 规约与实际代码之间的鸿沟，实现编译期可证明正确的分布式共识协议。
用 Rust 从零构建 RISC-V 缓存一致性协议模拟器：TileLink UC 协议状态机与多核事务实战
以 Rust 从零实现 RISC-V TileLink UC 协议模拟器，完整覆盖 MOESI 状态机建模、多核事务通道、死锁检测、脏数据转发机制及不变量检查器。附全部可运行代码，学完即可独立构建一致性仿真环境。
从零构建生产级 io_uring 异步运行时：Rust 实现与 Tokio 性能深度对比
深入解析 io_uring 内核机制，用 Rust 从零实现生产级异步运行时，包含 Fixed Buffers、SQPOLL、Multishot 等核心优化策略与 Tokio 性能基准对比
Rust 异步运行时深度实战 — 从 Future 状态机到 Tokio 生产级架构
深入解析 Rust 异步运行时完整技术栈，涵盖 Future 状态机原理、Tokio 多线程工作窃取调度器、I/O 驱动层 epoll 实现、分层计时器轮、Tower 中间件生态、生产模式实战（优雅停机/限流/背压）、性能基准对比与未来演进方向。
Rust FFI 深度实战 — 安全高效地与 C/C++ 互操作
从 extern 字符串到 bindgen 自动化绑定生成，深入探索 FFI 设计原则与生产实践
Token 级限流与 SLO 准入控制：LLM 生产服务的限流实战
深入解析 LLM 推理场景下的 Token 级限流工程：从滑动窗口计数、双桶协同、Token 预估器到 Redis 分布式限流和 SLO-Aware PI 准入控制，附 Rust 完整实现。
生产级 AI 推理网关：高并发请求调度、请求去重与异步取消的工程实践
大规模AI Agent部署中，推理网关解决的是怎么管得住。从感知负载的智能路由到Cancel Safety的RAII守卫，深度解析生产级推理网关的设计哲学与工程实践。
