software-history

5 artikel

1 Agu 2026

Hardware capability tidak gagal. Ia datang 40 tahun terlalu awal.

Keamanan memori di tingkat hardware telah mungkin sejak tahun 1970-an. Berikut mengapa arsitektur capability terus kalah dari model memori datar, dan mengapa CHERI akhirnya mengubah persamaan tersebut.

26 Jul 2026

Zero-Defect Process IBM Menghasilkan 0,1 Bug Per KLOC. Industri Tetap Meninggalkannya.

Cleanroom engineering IBM mencapai defect rate 100 kali lebih baik dari rata-rata industri, lalu menghilang dalam gelap. Penghilangannya tidak ada hubungannya dengan apakah itu berfungsi.

cleanroom-correctness zero-defects software-history process

17 Jul 2026

Donald Knuth Ingin Program Dibaca Seperti Sastra. Compiler Punya Ide Lain.

Literate programming menjanjikan bahwa kode harus ditulis untuk manusia terlebih dahulu dan mesin kedua. Empat dekade kemudian, hampir tidak ada yang menulis seperti itu. Berikut mengapa ide paling elegan dalam dokumentasi perangkat lunak gagal mengubah cara kita bekerja.

literate-programming knuth software-history documentation

12 Jul 2026

Fagan Inspections Menemukan 90 % Defek Sebelum Testing. Lalu Kita Berhenti Melakukannya.

Proses inspeksi terstruktur Michael Fagan di IBM menangkap hampir semua defek sebelum mencapai compiler. Proses ini juga menghabiskan 15–20 % upaya total proyek. Inilah mengapa metode review paling efektif dalam sejarah software menghilang, dan apa yang sebenarnya dirindukan oleh tim.

fagan-inspections code-review software-history process

10 Jun 2026

NASA Menjalankan 27 Salinan Program yang Sama. Bug-Bug Memilih sebagai Satu Blok.

N-version programming menjanjikan bahwa tim independen akan membuat kesalahan independen. Eksperimen Knight dan Leveson tahun 1986 membuktikan sebaliknya, dan NASA diam-diam meninggalkannya.

n-version-programming nasa fault-tolerance software-history