类型系统的高级应用：Dependent Type 在形式化验证与正确性证明中的实践
类型系统的高级应用：Dependent Type 在形式化验证与正确性证明中的实践——从底层原理到生产落地的工程化思考，包含完整代码示例与性能数据。
编程开发
Go 语言的 GC 演进：从 Mark-Sweep 到混合写屏障的并发标记优化
Go 语言的 GC 演进：从 Mark-Sweep 到混合写屏障的并发标记优化——从底层原理到生产落地的工程化思考，包含完整代码示例与性能数据。
类型系统的高级应用：Dependent Type 在形式化验证与正确性证明中的实践
类型系统的高级应用：Dependent Type 在形式化验证与正确性证明中的实践——从底层原理到生产落地的工程化思考，包含完整代码示例与性能数据。
Rust Tokio 异步运行时深度剖析：从 Future 状态机到零成本异步I/O
深入剖析 Rust Tokio 异步运行时的核心架构：Future trait 的状态机转换机制、多线程工作窃取调度器、Reactor 模式下的 epoll/kqueue 封装、分层 Timing Wheel 定时器、跨线程 Waker 唤醒机制，以及 tokio-uring 对 Linux io-uring 的集成。
Go 语言的 GC 演进：从 Mark-Sweep 到混合写屏障的并发标记优化
Go 语言的 GC 演进：从 Mark-Sweep 到混合写屏障的并发标记优化——从底层原理到生产落地的工程化思考，包含完整代码示例与性能数据。
WebAssembly 运行时深度实战：从字节码到安全沙箱
深入剖析 WebAssembly 运行时核心原理、主流实现对比（Wasmtime/Wasmer/WasmEdge/WAMR/浏览器内置）、编译策略（解释器/Baseline JIT/Optimizing JIT/AOT）、安全保障机制（验证器 线性内存隔离 能力模型），以及 Serverless、插件系统、区块链智能合约等生产场景实战。全面覆盖 WASI 标准、组件模型（WIT/Canonical ABI）、前沿趋势。
Rust内存安全与所有权模型深度解析
深入剖析Rust所有权模型的核心机制——所有权、借用、生命周期，以及它们如何在编译期消除内存安全问题
Go 语言的 GC 演进：从 Mark-Sweep 到混合写屏障的并发标记优化
Go 语言的 GC 演进：从 Mark-Sweep 到混合写屏障的并发标记优化——从底层原理到生产落地的工程化思考，包含完整代码示例与性能数据。
类型系统的高级应用：Dependent Type 在形式化验证与正确性证明中的实践
类型系统的高级应用：Dependent Type 在形式化验证与正确性证明中的实践——从底层原理到生产落地的工程化思考，包含完整代码示例与性能数据。
Go 语言的 GC 演进：从 Mark-Sweep 到混合写屏障的并发标记优化
Go 语言的 GC 演进：从 Mark-Sweep 到混合写屏障的并发标记优化——从底层原理到生产落地的工程化思考，包含完整代码示例与性能数据。
类型系统与现代编程语言设计：从简单类型到同伦类型论
深入探究编程语言类型系统的理论根基与实践应用，从简单类型λ演算到依赖类型、同伦类型论的演进
类型系统的高级应用：Dependent Type 在形式化验证与正确性证明中的实践
类型系统的高级应用：Dependent Type 在形式化验证与正确性证明中的实践——从底层原理到生产落地的工程化思考，包含完整代码示例与性能数据。
类型系统的高级应用：Dependent Type 在形式化验证与正确性证明中的实践
类型系统的高级应用：Dependent Type 在形式化验证与正确性证明中的实践——从底层原理到生产落地的工程化思考，包含完整代码示例与性能数据。
Go 语言的 GC 演进：从 Mark-Sweep 到混合写屏障的并发标记优化
Go 语言的 GC 演进：从 Mark-Sweep 到混合写屏障的并发标记优化——从底层原理到生产落地的工程化思考，包含完整代码示例与性能数据。
类型系统的高级应用：Dependent Type 在形式化验证与正确性证明中的实践
类型系统的高级应用：Dependent Type 在形式化验证与正确性证明中的实践——从底层原理到生产落地的工程化思考，包含完整代码示例与性能数据。
