编程开发
Linux Multi-Gen LRU 深度实战：内存页面回收的世代革命
从 LRU 算法的内在局限出发，深入解析 Linux 6.1 引入的 Multi-Gen LRU 架构——双 LRU 队列如何演进为多世代老化模型，以及其在高内存压力下的生产级性能优势。涵盖 aging/reclaiming 工作流、scanning 策略、/proc 调优和 perf 实测对比。
机密计算深度实战：Intel TDX 与 AMD SEV-SNP 可信执行环境工程实践
深入剖析现代机密计算技术体系，从硬件可信根出发，全面解读 Intel TDX 与 AMD SEV-SNP 的架构设计、内存加密机制、远程证明流程，以及在云原生场景中保护使用中数据的工程实践。
Sim-to-Real 迁移实战：跨越物理 AI 的 Reality Gap，让仿真模型在真实世界落地
深入分析Sim-to-Real迁移的核心方法论——Domain Randomization、System Identification、Domain Adaptation与System-in-the-Loop训练，并给出可落地的工程实践代码。
Linux 零拷贝（Zero-Copy）技术全栈深度实战：从 sendfile 到 DPDK
系统解析 Linux 零拷贝技术全景：从传统 I/O 的数据拷贝问题出发，深度剖析 sendfile/splice/mmap/MSG_ZEROCOPY/io_uring/DPDK 等所有零拷贝机制的底层原理、性能差异与工程实践。
深入理解 Linux EEVDF 调度器：从 CFS vruntime 到 Virtual Deadline 的调度算法革命
深入解析 Linux 6.6 引入的 EEVDF 调度器（Earliest Eligible Virtual Deadline First），对比 CFS 的局限、剖析核心算法公式、内核数据结构实现、抢占机制、迁移指南和基准测试数据（Redis P99 延迟 -42%，PostgreSQL TPS +6%），并介绍 Linux 6.12 的 Server Dispatch 最新进展。
Rust 形式化验证实战：从 Kani 验证器到 Prusti 契约编程
深入解析 Rust 生态三大形式化验证工具 Kani、Prusti、Verus 的实战用法，涵盖 unsafe 代码验证、并发安全、契约编程，并给出工程权衡建议。
