Mengeksplorasi pengembangan AI-first, coding guardrail, dan arsitektur untuk dibuang.
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 software engineering process IBM menghasilkan 0,1 defect per seribu baris code. Rata-rata industri saat itu berada di antara 10 dan 50. Process…
Cleanroom software engineering menjanjikan increment zero-defect melalui mathematical verification alih-alih debugging. Kami melihat data proyek IBM yang sebenarnya untuk melihat apakah klaim itu bertahan.
Rata-rata industri perangkat lunak pada tahun 1980-an adalah 30 hingga 60 defect per seribu baris kode. Tim Cleanroom IBM mengirimkan increment compiler 20.000…
Box Structure memaksa Anda mendefinisikan apa yang dilakukan modul, apa yang diingatnya, dan cara kerjanya sebagai tiga lapisan terpisah yang dapat diverifikasi. Inilah cara Cleanroom menghilangkan debugging.
Anda menulis kode dulu, lalu menulis test, lalu menemukan kodenya salah. Itulah loop standar. Itulah sebabnya debugging menghabiskan setengah dari timeline…
Proses rekayasa Cleanroom IBM mencapai tingkat defect 100 kali lebih baik dari rata-rata industri dengan mencegah bug alih-alih menemukannya. Begini cara kerjanya, mengapa hampir tidak ada yang menggunakannya, dan apa yang bisa Anda tiru darinya sekarang.
IBM mengirimkan sistem kontrol satelit NASA dengan 0,1 defect per seribu baris kode. Rata-rata industri pada saat itu berada di antara 10 dan 50. Mereka tidak…
Literate programming menjanjikan sumber kebenaran tunggal, tetapi langkah weave dan tangle manual merusak pipeline CI/CD. Berikut cara mengotomatiskan ekstraksi dan pembuatan dokumentasi sehingga file Markdown Anda tetap kanonis.
Jika pipeline build Anda tidak dapat berjalan tanpa Anda membuka terminal dan mengetik , Anda tidak memiliki program literate. Anda memiliki buku harian dengan…
Saya menghabiskan 30 hari menulis penjelasan desain sebelum meminta kode ke LLM. Hasilnya mengubah cara saya berpikir tentang rubber-ducking.
Kebanyakan developer menggunakan LLM secara terbalik. Kita mendeskripsikan keinginan dalam lima kata, mendapatkan 200 baris kode, dan menghabiskan satu jam…
Literate programming menjaga dokumentasi, test, dan implementasi tetap sinkron dengan menjadikan satu file Markdown sebagai single source of truth. Berikut cara mengimplementasikannya dalam tiga puluh baris Python.
Dokumen, test, dan kode Anda adalah tiga file yang menceritakan kisah yang sama dengan buruk. Anda memperbarui function signature di source. Anda lupa contoh…
Percakapan LLM berisi niat, alternatif yang ditolak, dan kode yang berfungsi. Itulah sebenarnya yang seharusnya menjadi dokumentasi. Berikut cara mengubah obrolan yang fana menjadi dokumen yang tahan lama dan dapat dicari tanpa kehilangan narasi.
Anda menghabiskan empat puluh lima menit dengan Claude merancang sebuah retry circuit. Anda menjelaskan mode kegagalannya, menolak exponential backoff karena…
Setiap compiler melihat kode sebagai pohon, tapi editor membiarkanmu mengedit teks mentah. Inilah seperti apa pengeditan terstruktur sebenarnya, mengapa belum mendominasi, dan cara meminjam manfaatnya tanpa mengganti alat.
Setiap bahasa pemrograman memiliki tata bahasa formal. Compiler membacanya, membangun parse tree, dan menolak apa pun yang tidak cocok. Editor sama sekali…
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.
Pada tahun 1984, Donald Knuth menerbitkan sebuah makalah yang mengusulkan pembalikan radikal. Program tidak boleh ditulis untuk compiler dan dianotasi untuk…