操作系统
CPU-GPU 异构统一虚拟内存系统：AI 大规模训练的核心基础设施
深入解析 CPU-GPU 统一虚拟内存系统（CUDA Unified Memory + Linux HMM）的工作原理与实战优化，涵盖 page fault 机制、CUDA VMM API、GPUDirect RDMA/Storage、分页模型参数存储、内存 Advice 与 TLB 优化等 AI 训练核心基础设施技术。
类型系统的高级应用：Dependent Type 在形式化验证与正确性证明中的实践
类型系统的高级应用：Dependent Type 在形式化验证与正确性证明中的实践——从底层原理到生产落地的工程化思考，包含完整代码示例与性能数据。
AI系统持续学习与在线适应工程实践——从概念漂移检测到灾难性遗忘防御
本文系统拆解AI系统在线适应的工程挑战：从概念漂移的形式化检测方法，到双轨架构下的在线微调引擎设计，再到灾难性遗忘的EWC防御机制，最终构建可落地的端到端持续适应流水线。
