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は、コードは人間のために先に書かれ、機械のために次に書かれるべきだと約束した。40年後、ほとんど誰もそのように書いていない。なぜソフトウェア文書化における最もエレガントなアイデアが、私たちの働き方を変えられなかったのか。 literate-programmingknuthsoftware-historydocumentation
2026年7月12日 Fagan Inspectionsはテスト前に90%の欠陥を発見していた。それなのに我々はやめてしまった。 IBMでMichael Faganが開発した構造化レビュー・プロセスは、コードがコンパイラに到達する前にほぼすべての欠陥を捉えていた。しかし、その代償として総プロジェクト工数の15〜20%を消費していた。ソフトウェア史上もっとも効果的だったこのレビュー手法がなぜ消えたのか、そしてチームが実際に失ったものは何か。 fagan-inspectionscode-reviewsoftware-historyprocess
2026年6月10日 NASAは同じプログラムを27個並列実行した。バグは票を固めて投票した。 N-version programmingは、独立したチームが独立したミスをすると約束した。KnightとLevesonの1986年の実験はその逆を証明し、NASAは静かに撤退した。 n-version-programmingnasafault-tolerancesoftware-history
