design-by-contract

3 posts

AI Safety Stack: types, contracts, property tests, dan mutation gates

Kalau kamu ingin code yang dihasilkan AI tahan di production, code review saja tidak cukup. Bangun safety stack berlapis dari type constraints sampai mutation testing dan runtime containment.

Hal paling berbahaya dari AI-generated code bukan karena ia selalu salah. Yang berbahaya adalah sering kali code itu terlihat cukup benar untuk langsung…

Mengapa ide engineering besar tetap ceruk sampai AI membuatnya ekonomis

Design by contract, property-based testing, mutation testing, dan model checking bukan ide yang buruk. Mereka terlalu berat dari sisi keahlian untuk dipertahankan. AI mengubah persamaan itu.

Software engineering penuh dengan ide yang terasa jelas benar begitu kamu membacanya. Tentu contracts seharusnya mendefinisikan apa yang boleh diterima dan…