01
从约束开始
电压、延迟、带宽、内存容量。先看物理世界允许什么， 再看工程师如何在这些限制里做选择。
01 / CURRICULUM
课程地图
不是六本互不相干的教材。它们按机器、系统、抽象三层组织， 每一层都试图回答：上一层到底替我们隐藏了什么。
01 / The Machine
机器
物理约束如何变成逻辑门、时钟、指令集和处理器。
02 / The System
系统
当一台机器不够用时，抽象如何扩展成进程、协议和协作。
03 / The Abstraction
抽象
语言、算法与数学：计算本身能表达什么，又在哪里停下。
04 待撰写 The Abstraction / 进阶 编译原理 Compilers 词法、语法、中间表示、优化与代码生成：人类语言如何变成机器可以执行的指令。 3 MODULES 00 NOTES 05 待撰写 The Abstraction / 基础 数据结构与算法 Algorithms & Data Structures 复杂度、数据结构与算法设计：在有限的时间和空间里，如何把问题解出来。 3 MODULES 00 NOTES 06 待撰写 The Abstraction / 理论 计算理论 Theory of Computation 自动机、可计算性与计算复杂度：计算的边界在哪里，哪些问题原则上无法解决。 3 MODULES 00 NOTES
02 / METHOD
一条向下的线
每一篇文章都尽量从约束出发，而不是从 API 出发。解释一个系统， 就是解释它为什么要这样隐藏底层。
02
纵向贯通
不停在“这一层就是这样”。继续问：它替下一层遮住了什么， 又为上一层提供了什么保证。
03
落到可验证处
每个结论最后都要落到电路、代码、协议时序或数学证明上。 不能用一句“设计如此”结束。
03 / START HERE
先读这一篇
在进入任何一门课之前，先花六分钟了解这个专栏怎么组织、 以及怎样读才不会把它读成一本术语词典。
如何阅读这个专栏
这不是一份速查表。先说明这个专栏怎么读，以及怎样避免把它读成术语词典。
阅读导读