2026年8月1日 Capability 硬體沒有失敗，它只是早了四十年 硬體層級的記憶體安全性自 1970 年代就已可行。以下是 capability 架構為何一再敗給扁平記憶體模型，以及 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 份相同的程式。漏洞們集體投票。 N-version programming 曾宣稱獨立團隊會犯下獨立的錯誤。Knight 與 Leveson 在 1986 年的實驗證明了相反的事實，NASA 也默默退出了這條路。 n-version-programmingnasafault-tolerancesoftware-history
