更新日志

2026-07-28

首个公开版本建立了从程序语义向下追踪到机器执行、再向外延伸至网络和分布式系统的主干。

• 知识架构、学习路线与阅读系统的方法给出统一的分层坐标：契约、状态、控制流、数据流、成本、失败与观测。
• 硬件主线连接数据与内存层次、ISA 与微架构、缓存一致性、CPU 和 GPU。
• 系统软件主线覆盖操作系统、并发、网络、存储、并行计算与分布式系统，并把顺序、队列、复制、持久化和故障边界放进同一套推理框架。
• 程序实现主线从 C、C++、Java 与 JVM、Go、Rust、Python、JavaScript、TypeScript、Node.js 和 WebAssembly 进入编译流水线、链接与加载、调试以及性能与可观测性。
• 正文引入可运行或可编译的紧凑实现、LaTeX 推导、语义图表、页内交叉链接和页级 Reference，并对导航、代码、公式、图表、内部链接及桌面与移动端渲染进行持续校验。