类型系统的高级应用：Dependent Type 在形式化验证与正确性证明中的实践
类型系统的高级应用：Dependent Type 在形式化验证与正确性证明中的实践——从底层原理到生产落地的工程化思考，包含完整代码示例与性能数据。
编程开发
Rust异步运行时深度解析：从Future到epoll的零成本抽象
深入剖析Rust异步运行时从Future trait到内核I/O多路复用的完整技术栈，理解零成本抽象的底层实现原理
Go 语言的 GC 演进：从 Mark-Sweep 到混合写屏障的并发标记优化
Go 语言的 GC 演进：从 Mark-Sweep 到混合写屏障的并发标记优化——从底层原理到生产落地的工程化思考，包含完整代码示例与性能数据。
类型系统的高级应用：Dependent Type 在形式化验证与正确性证明中的实践
类型系统的高级应用：Dependent Type 在形式化验证与正确性证明中的实践——从底层原理到生产落地的工程化思考，包含完整代码示例与性能数据。
类型系统的高级应用：Dependent Type 在形式化验证与正确性证明中的实践
类型系统的高级应用：Dependent Type 在形式化验证与正确性证明中的实践——从底层原理到生产落地的工程化思考，包含完整代码示例与性能数据。
WASI 0.3 与 WebAssembly 组件模型：从跨语言困境到原生异步的工程革命
WASI 0.3 与 WebAssembly 组件模型深度解析——从跨语言协作的经典困境，到 WIT IDL 的接口契约设计，到 async func/stream/future 异步原语革命，再到 wasmtime/wit-bindgen/componentize-py 完整工具链实战与性能基准分析。
React 并发渲染与 Fiber 架构深度实战：从同步 Stack Reconciler 到可中断的并发更新
深入 React Fiber 架构与并发渲染机制：从 Stack Reconciler 的不可中断缺陷，到 Fiber 节点、时间切片、Lane 优先级与 useTransition 实战。
Rust Tokio 异步运行时深度剖析：从 Future 状态机到零成本异步I/O
深入剖析 Rust Tokio 异步运行时的核心架构：Future trait 的状态机转换机制、多线程工作窃取调度器、Reactor 模式下的 epoll/kqueue 封装、分层 Timing Wheel 定时器、跨线程 Waker 唤醒机制，以及 tokio-uring 对 Linux io-uring 的集成。
WebAssembly 组件模型与 WIT 接口：跨语言互操作的工程实践
深度解析WebAssembly Component Model与WIT接口定义语言：从Canonical ABI原理到wit-bindgen代码生成实战，覆盖variant/option/stream等类型系统，以及wasmtime、WASI-NN的生产实践
Go 语言的 GC 演进：从 Mark-Sweep 到混合写屏障的并发标记优化
Go 语言的 GC 演进：从 Mark-Sweep 到混合写屏障的并发标记优化——从底层原理到生产落地的工程化思考，包含完整代码示例与性能数据。
类型系统的高级应用：Dependent Type 在形式化验证与正确性证明中的实践
类型系统的高级应用：Dependent Type 在形式化验证与正确性证明中的实践——从底层原理到生产落地的工程化思考，包含完整代码示例与性能数据。
Go 语言的 GC 演进：从 Mark-Sweep 到混合写屏障的并发标记优化
Go 语言的 GC 演进：从 Mark-Sweep 到混合写屏障的并发标记优化——从底层原理到生产落地的工程化思考，包含完整代码示例与性能数据。
Go 语言的 GC 演进：从 Mark-Sweep 到混合写屏障的并发标记优化
Go 语言的 GC 演进：从 Mark-Sweep 到混合写屏障的并发标记优化——从底层原理到生产落地的工程化思考，包含完整代码示例与性能数据。
类型系统的高级应用：Dependent Type 在形式化验证与正确性证明中的实践
类型系统的高级应用：Dependent Type 在形式化验证与正确性证明中的实践——从底层原理到生产落地的工程化思考，包含完整代码示例与性能数据。
类型系统的高级应用：Dependent Type 在形式化验证与正确性证明中的实践
类型系统的高级应用：Dependent Type 在形式化验证与正确性证明中的实践——从底层原理到生产落地的工程化思考，包含完整代码示例与性能数据。
