编程语言类型系统的演进史：从机器码到依赖类型的工程智慧
全景回顾类型系统从早期简单类型到现代依赖类型的演进历程，涵盖Hindley-Milner推断、类型类、子类型多态、渐进式类型、所有权系统等核心范式，展望AI驱动的类型系统未来
编译技术
WebAssembly 在现代 Web 应用中的实践与突破：从浏览器沙箱到边缘计算平台
深度剖析 WebAssembly 的核心架构与指令集设计，涵盖二进制格式、线性内存模型、JS互操作机制、编译工具链实战（Rust/Emscripten/Go）、性能优化策略（SIMD/多线程/流式编译），以及边缘计算、AI推理、区块链、游戏引擎等前沿应用场景。全面解读 Component Model、GC 提案与 WASI 生态的最新进展。
