2026年8月1日 权能硬件没有失败。它只是提前 40 年到来。 自 1970 年代以来，硬件层面的内存安全性就已可行。以下是权能架构为何一直败给扁平内存模型，以及为什么 CHERI 终于正在改变这一等式。 hardware-assisted-safetycapability-hardwarecherisoftware-history
2026年7月26日 IBM 的 Zero-Defect Process 实现了每 KLOC 0.1 个 Bug。行业还是抛弃了它。 IBM 的 Cleanroom engineering 达到了比行业平均水平好 100 倍的 defect rate，然后消失在历史中。它的消失与是否有效毫无关系。 cleanroom-correctnesszero-defectssoftware-historyprocess
2026年7月17日 Donald Knuth希望程序读起来像文学作品。编译器另有打算。 Literate programming承诺代码应该首先为人类编写，其次才是为机器。四十年后，几乎没有人这样写。以下是软件文档化中最优雅的理念为何未能改变我们工作方式的原因。 literate-programmingknuthsoftware-historydocumentation
2026年7月12日 Fagan Inspections 在测试前发现90%的缺陷。然后我们不再使用它。 Michael Fagan 在 IBM 设计的结构化审查流程，能在代码进入编译器之前捕获几乎全部缺陷。但它也消耗了项目总工时的15%–20%。本文解释软件史上最有效的审查方法为何消失，以及团队究竟失去了什么。 fagan-inspectionscode-reviewsoftware-historyprocess
2026年6月10日 NASA 同时运行了 27 份相同的程序。Bug 们抱团投票。 N-version programming 曾承诺独立团队会犯独立的错误。Knight 和 Leveson 在 1986 年的实验证明了相反的事实，NASA 悄然放弃了这条路线。 n-version-programmingnasafault-tolerancesoftware-history
