计算机程序设计的公理基础
Hoare 以公理和推理规则为核心，提出一种证明程序部分正确性的框架，并据此讨论程序证明、语言定义、文档和可移植性。
编程即理论建构
Naur 认为编程的核心不是生产程序文本，而是程序员围绕问题和解法建立可解释、可延续、可修改的理论。
没有银弹
区分软件工程中的本质困难与偶然困难，并解释为什么没有单一技术能带来数量级级别的生产率提升。
“越差越好”的兴起
解释“越差越好”为何能在真实世界胜出：简单实现、快速传播和可演化性常常压过完美设计。
计算机系统设计箴言
关于系统设计的一组经验法则：如何保持接口简单、让系统更快，并在容错性与复杂度之间做取舍。
[经典重读][1/n] Worse Is Better
重读 Richard Gabriel 的 Worse Is Better：为什么没那么完美、但更容易实现和传播的系统，常常先获得 adoption；以及为什么成熟之后又需要 The Right Thing 来修补。