Mengeksplorasi pengembangan AI-first, coding guardrail, dan arsitektur untuk dibuang.https://autotomy.dev/idhttps://autotomy.dev/id/blog/git-bisect-binary-search-commit/https://autotomy.dev/id/blog/git-bisect-binary-search-commit/Git bisect mengubah pencarian commit manual menjadi pencarian biner otomatis. Berikut cara menemukan commit eksak yang memperkenalkan bug tanpa harus checkout setiap commit satu per satu.Tue, 25 Aug 2026 00:00:00 GMThttps://autotomy.dev/id/blog/production-crash-capture-replay/https://autotomy.dev/id/blog/production-crash-capture-replay/Stack trace memberi tahu Anda di mana crash terjadi, bukan apa yang menyebabkannya. Berikut pola capture-and-replay yang mengubah crash produksi menjadi kasus test lokal yang sebenarnya bisa Anda debug.Mon, 24 Aug 2026 00:00:00 GMThttps://autotomy.dev/id/blog/symbolic-execution-integer-overflow-coverage/https://autotomy.dev/id/blog/symbolic-execution-integer-overflow-coverage/Unit test Anda memeriksa input spesifik. Symbolic execution memeriksa setiap input yang mungkin. Berikut cara kerjanya, biayanya, dan tempat untuk memulai.Sun, 23 Aug 2026 00:00:00 GMThttps://autotomy.dev/id/blog/pii-tracking-code-pipeline/https://autotomy.dev/id/blog/pii-tracking-code-pipeline/Kebanyakan tim menemukan kebocoran PII setelah keluhan pelanggan. Berikut cara melacak data sensitif dari ingestion hingga output dengan contoh kode yang bisa Anda gunakan hari ini.Sat, 22 Aug 2026 00:00:00 GMThttps://autotomy.dev/id/blog/api-contract-testing-ci/https://autotomy.dev/id/blog/api-contract-testing-ci/Kebanyakan pipeline CI menangkap kesalahan sintaks dan bug logika. Mereka melewatkan perubahan contract API yang sebenarnya mematikan produksi. Berikut cara memperbaikinya.Fri, 21 Aug 2026 00:00:00 GMThttps://autotomy.dev/id/blog/crash-correlation-triangulation/https://autotomy.dev/id/blog/crash-correlation-triangulation/Statistical debugging menemukan predicates yang berkorelasi dengan crash, tetapi korelasi bukanlah file dan nomor baris. Berikut cara memberi peringkat, menyaring, dan melakukan triangulasi dari skor korelasi ke lokasi bug yang sebenarnya.Thu, 20 Aug 2026 00:00:00 GMThttps://autotomy.dev/id/blog/sentry-seer-trace-root-cause/https://autotomy.dev/id/blog/sentry-seer-trace-root-cause/Seer menyerap pohon trace, error yang terhubung, dan data profiling untuk mendiagnosis masalah terdistribusi. Berikut cara kerjanya sebenarnya, di mana ia unggul, dan di mana ia masih membutuhkan bantuan manusia.Wed, 19 Aug 2026 00:00:00 GMThttps://autotomy.dev/id/blog/statistical-debugging-adoption-challenges/https://autotomy.dev/id/blog/statistical-debugging-adoption-challenges/Statistical debugging menjanjikan untuk menunjuk bug dengan tepat dengan mengkorelasi perilaku program dengan kegagalan. Berikut mengapa ide itu tidak pernah melintasi dari makalah penelitian ke sistem produksi.Tue, 18 Aug 2026 00:00:00 GMThttps://autotomy.dev/id/blog/statistical-debugging-production-data-anomalies/https://autotomy.dev/id/blog/statistical-debugging-production-data-anomalies/Statistical debugging memperlakukan data produksi Anda sebagai sinyal dan bug sebagai anomali. Begini cara menemukan korupsi data, kesalahan off-by-one, dan kegagalan diam-diam tanpa menambahkan satu unit test pun.Mon, 17 Aug 2026 00:00:00 GMThttps://autotomy.dev/id/blog/metamorphic-testing-production-bugs-compiler/https://autotomy.dev/id/blog/metamorphic-testing-production-bugs-compiler/Metamorphic testing telah mengungkap bug nyata di GCC, LLVM, kompiler shader Vulkan, dan simulator ADAS. Posting ini menjelaskan tekniknya dengan kode yang bisa dijalankan dan menunjukkan di mana ia cocok di dalam test suite Anda.Sun, 16 Aug 2026 00:00:00 GMThttps://autotomy.dev/id/blog/llm-metamorphic-relations-brainstorming/https://autotomy.dev/id/blog/llm-metamorphic-relations-brainstorming/Large language models adalah mitra brainstorming yang lumayan untuk menemukan test oracles, tetapi mereka menghasilkan properti halusinasi dan melewatkan constraint domain. Berikut cara menggunakannya tanpa mengirimkan pengujian yang palsu.Sat, 15 Aug 2026 00:00:00 GMThttps://autotomy.dev/id/blog/metamorphic-relation-quality/https://autotomy.dev/id/blog/metamorphic-relation-quality/Tidak semua metamorphic relations menangkap bug. Relation yang lemah memberikan kepercayaan palsu sementara relation yang kuat menemukan kesalahan nyata. Berikut cara membedakannya dan membangun set relation yang benar-benar berfungsi.Fri, 14 Aug 2026 00:00:00 GMThttps://autotomy.dev/id/blog/metamorphic-testing-oracle-problem/https://autotomy.dev/id/blog/metamorphic-testing-oracle-problem/Metamorphic testing memungkinkan Anda memverifikasi kebenaran kode tanpa mengetahui output yang diharapkan secara pasti. Berikut cara kerjanya, kapan kekurangannya, dan cara mulai menggunakannya.Thu, 13 Aug 2026 00:00:00 GMThttps://autotomy.dev/id/blog/typescript-phantom-types-protocol-state/https://autotomy.dev/id/blog/typescript-phantom-types-protocol-state/Cara menggunakan phantom types dan parameter `this` untuk mengubah transisi protocol yang ilegal menjadi error waktu kompilasi, bukan bug waktu runtime.Wed, 12 Aug 2026 00:00:00 GMThttps://autotomy.dev/id/blog/openapi-session-types-protocol-gap/https://autotomy.dev/id/blog/openapi-session-types-protocol-gap/Spesifikasi OpenAPI mendeskripsikan skema request dan response, tetapi tidak menentukan urutan pesan yang valid. Berikut cara mengekstrak apa yang bisa Anda dapatkan dan di mana Anda masih perlu mengisi celahnya.Tue, 11 Aug 2026 00:00:00 GMThttps://autotomy.dev/id/blog/session-types-research-to-production/https://autotomy.dev/id/blog/session-types-research-to-production/Tipe sesi mengenkode protokol komunikasi dalam sistem tipe, mengubah kesalahan protokol runtime menjadi kegagalan waktu kompilasi. Berikut mengapa mereka menghabiskan tiga puluh tahun di makalah penelitian sebelum kode produksi dapat menggunakannya.Mon, 10 Aug 2026 00:00:00 GMThttps://autotomy.dev/id/blog/session-types-deadlock-compiler-errors/https://autotomy.dev/id/blog/session-types-deadlock-compiler-errors/Tipe sesi mengenkode protokol komunikasi dalam sistem tipe Anda, mengubah ketidakcocokan pengiriman pesan menjadi kesalahan kompilator sebelum kode Anda dijalankan.Sun, 09 Aug 2026 00:00:00 GMThttps://autotomy.dev/id/blog/infer-abstract-interpretation-ci/https://autotomy.dev/id/blog/infer-abstract-interpretation-ci/Cara menjalankan analisis statis formal di pipeline CI menggunakan Infer, dengan konfigurasi yang berfungsi dan trade-off yang realistis.Sat, 08 Aug 2026 00:00:00 GMThttps://autotomy.dev/id/blog/llm-static-analysis-triage/https://autotomy.dev/id/blog/llm-static-analysis-triage/Large language model dapat membantu triase positif palsu analisis statis, tetapi mereka tidak memahami semantik program seperti abstract interpretation. Berikut cara menggabungkan keduanya.Fri, 07 Aug 2026 00:00:00 GMThttps://autotomy.dev/id/blog/facebook-android-abstract-interpretation-races/https://autotomy.dev/id/blog/facebook-android-abstract-interpretation-races/Bagaimana Facebook menggunakan abstract interpretation dan unsoundness yang disengaja untuk menemukan race condition secara masif pada jutaan baris kode Android.Thu, 06 Aug 2026 00:00:00 GMThttps://autotomy.dev/id/blog/meta-infer-100000-bugs-static-analysis/https://autotomy.dev/id/blog/meta-infer-100000-bugs-static-analysis/Infer dari Meta menggunakan abstract interpretation dan bi-abduction untuk menemukan null dereference, memory leak, dan race condition dengan menalar struktur kode, bukan eksekusinya. Berikut cara kerjanya dan cara menggunakannya di codebase Anda sendiri.Wed, 05 Aug 2026 00:00:00 GMThttps://autotomy.dev/id/blog/static-analysis-aviation-abstract-interpretation/https://autotomy.dev/id/blog/static-analysis-aviation-abstract-interpretation/Interpretasi abstrak melebihi-aproksimasi setiap kemungkinan keadaan program. Jika pembagian dengan nol tidak terjangkau dalam abstraksi, maka ia tidak terjangkau dalam kode nyata. Berikut cara kerjanya dan di mana ia mengalami kegagalan.Tue, 04 Aug 2026 00:00:00 GMThttps://autotomy.dev/id/blog/abstract-interpretation-runtime-error-proof/https://autotomy.dev/id/blog/abstract-interpretation-runtime-error-proof/Interpretasi abstrak memungkinkan Anda membuktikan kesalahan runtime mustahil terjadi sebelum eksekusi. Berikut cara kerjanya secara nyata, mengapa hal itu sulit, dan di mana ia cocok dalam rantau alat Anda.Mon, 03 Aug 2026 00:00:00 GMThttps://autotomy.dev/id/blog/cheri-c-porting-hybrid-abi/https://autotomy.dev/id/blog/cheri-c-porting-hybrid-abi/ABI hibrida CHERI memungkinkan Anda mem-porting kode C ke perangkat keras capability secara bertahap. Berikut cara mengompilasinya, apa yang rusak, dan cara memperbaikinya tanpa rewrite seluruh codebase Anda.Sun, 02 Aug 2026 00:00:00 GMThttps://autotomy.dev/id/blog/capability-hardware-cheri-history/https://autotomy.dev/id/blog/capability-hardware-cheri-history/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.Sat, 01 Aug 2026 00:00:00 GMThttps://autotomy.dev/id/blog/c-library-wasm-sandbox/https://autotomy.dev/id/blog/c-library-wasm-sandbox/Container terlalu berlebihan untuk mengisolasi satu library C. Kompilasi ke WebAssembly dan jalankan di dalam sandbox WASI untuk memory safety, akses filesystem berbasis capability, dan containment crash tanpa Docker.Fri, 31 Jul 2026 00:00:00 GMThttps://autotomy.dev/id/blog/mobile-memory-tagging-extension/https://autotomy.dev/id/blog/mobile-memory-tagging-extension/ARM Memory Tagging Extension dan GWP-ASan memungkinkan deteksi keamanan memori di produksi pada perangkat mobile modern. Berikut cara kerjanya dan seperti apa pertukarannya.Thu, 30 Jul 2026 00:00:00 GMThttps://autotomy.dev/id/blog/cheri-hardware-buffer-overflow-prevention/https://autotomy.dev/id/blog/cheri-hardware-buffer-overflow-prevention/CHERI adalah ekstensi hardware yang mengubah setiap pointer menjadi bounded capability. Berikut cara ia menghentikan buffer overflow di level CPU, biayanya, dan cara mencobanya di hardware nyata.Wed, 29 Jul 2026 00:00:00 GMThttps://autotomy.dev/id/blog/llm-cleanroom-proof-obligation-automation/https://autotomy.dev/id/blog/llm-cleanroom-proof-obligation-automation/Verifikasi Cleanroom memerlukan pembuatan dan pelunasan kewajiban pembuktian. Berikut cara LLM mengotomatisasi anotasi dan pembuatan VC sehingga Anda bisa fokus pada pembuktian yang sebenarnya sulit.Tue, 28 Jul 2026 00:00:00 GMThttps://autotomy.dev/id/blog/cleanroom-pragmatic-subset/https://autotomy.dev/id/blog/cleanroom-pragmatic-subset/Cleanroom software engineering memangkas defect rate 100×, tapi adopsi penuh memerlukan tim test terpisah dan proof formal. Berikut subset pragmatis yang menangkap sebagian besar manfaat tanpa overhead-nya.Mon, 27 Jul 2026 00:00:00 GMThttps://autotomy.dev/id/blog/ibm-cleanroom-zero-defects-disappearance/https://autotomy.dev/id/blog/ibm-cleanroom-zero-defects-disappearance/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.Sun, 26 Jul 2026 00:00:00 GMThttps://autotomy.dev/id/blog/ibm-cleanroom-10000-lines-zero-defects/https://autotomy.dev/id/blog/ibm-cleanroom-10000-lines-zero-defects/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.Sat, 25 Jul 2026 00:00:00 GMThttps://autotomy.dev/id/blog/cleanroom-box-structure-three-layers/https://autotomy.dev/id/blog/cleanroom-box-structure-three-layers/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.Fri, 24 Jul 2026 00:00:00 GMThttps://autotomy.dev/id/blog/ibm-cleanroom-01-defects-per-kloc/https://autotomy.dev/id/blog/ibm-cleanroom-01-defects-per-kloc/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.Thu, 23 Jul 2026 00:00:00 GMThttps://autotomy.dev/id/blog/ci-literate-programming-tangle/https://autotomy.dev/id/blog/ci-literate-programming-tangle/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.Wed, 22 Jul 2026 00:00:00 GMThttps://autotomy.dev/id/blog/llm-rubber-ducking-bug-rate/https://autotomy.dev/id/blog/llm-rubber-ducking-bug-rate/Saya menghabiskan 30 hari menulis penjelasan desain sebelum meminta kode ke LLM. Hasilnya mengubah cara saya berpikir tentang rubber-ducking.Tue, 21 Jul 2026 00:00:00 GMThttps://autotomy.dev/id/blog/literate-programming-markdown-python/https://autotomy.dev/id/blog/literate-programming-markdown-python/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.Mon, 20 Jul 2026 00:00:00 GMThttps://autotomy.dev/id/blog/claude-thread-to-documentation/https://autotomy.dev/id/blog/claude-thread-to-documentation/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.Sun, 19 Jul 2026 00:00:00 GMThttps://autotomy.dev/id/blog/structured-editing-ast-text-editors/https://autotomy.dev/id/blog/structured-editing-ast-text-editors/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.Sat, 18 Jul 2026 00:00:00 GMThttps://autotomy.dev/id/blog/knuth-literate-programming-history/https://autotomy.dev/id/blog/knuth-literate-programming-history/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.Fri, 17 Jul 2026 00:00:00 GMThttps://autotomy.dev/id/blog/fagan-causal-analysis-defects/https://autotomy.dev/id/blog/fagan-causal-analysis-defects/Kebanyakan tim memperbaiki defek dan melanjutkan. Defek yang sama kembali muncul. Berikut cara menjalankan analisis kausal di dalam Fagan inspection agar Anda berhenti menulis bug yang sama dua kali.Thu, 16 Jul 2026 00:00:00 GMThttps://autotomy.dev/id/blog/pr-reviews-catch-15-to-30-percent-defects/https://autotomy.dev/id/blog/pr-reviews-catch-15-to-30-percent-defects/Banyak studi di IBM, AT&T, HP, dan Microsoft memastikan bahwa code review informal menangkap sekitar seperempat defek. Berikut apa yang sebenarnya dikatakan data, mengapa angkanya begitu rendah, dan cara memperbaikinya.Wed, 15 Jul 2026 00:00:00 GMThttps://autotomy.dev/id/blog/fagan-structured-checklist-defect-detection/https://autotomy.dev/id/blog/fagan-structured-checklist-defect-detection/Sebagian besar checklist review adalah daftar copy-paste niat baik. Checklist terstruktur bergaya Fagan inspection dibangun dari data defect aktual, ditargetkan ke jenis artefak tertentu, dan digunakan selama persiapan individu. Berikut cara membuatnya agar berhasil.Tue, 14 Jul 2026 00:00:00 GMThttps://autotomy.dev/id/blog/llm-fagan-inspection-preparation/https://autotomy.dev/id/blog/llm-fagan-inspection-preparation/Inspeksi Fagan membutuhkan empat hingga enam orang dan dua jam untuk meninjau 250 baris. LLM dapat mengurangi biaya tersebut dengan menangani persiapan dan penegakan checklist, namun tidak dapat menggantikan peran manusia yang menemukan defect paling mahal.Mon, 13 Jul 2026 00:00:00 GMThttps://autotomy.dev/id/blog/fagan-inspections-disappearance-ibm/https://autotomy.dev/id/blog/fagan-inspections-disappearance-ibm/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.Sun, 12 Jul 2026 00:00:00 GMThttps://autotomy.dev/id/blog/fagan-reviewer-defect-detection-variance/https://autotomy.dev/id/blog/fagan-reviewer-defect-detection-variance/Bahkan engineer senior hanya menangkap sebagian kecil defect dalam review yang tidak terstruktur. Penelitian Michael Fagan di IBM menunjukkan alasannya, dan membangun proses inspeksi terstruktur untuk memperbaikinya.Sat, 11 Jul 2026 00:00:00 GMThttps://autotomy.dev/id/blog/fagan-inspections-90-percent-defects/https://autotomy.dev/id/blog/fagan-inspections-90-percent-defects/Code review informal menangkap 15-30% defect. Fagan inspection, proses terstruktur berusia 50 tahun, secara konsisten melaporkan tingkat penghapusan 60-90%. Berikut cara kerjanya, mengapa tim menghindarinya, dan cara menjalankan versi ringan.Fri, 10 Jul 2026 00:00:00 GMThttps://autotomy.dev/id/blog/autoverus-llm-rust-verification/https://autotomy.dev/id/blog/autoverus-llm-rust-verification/AutoVerus menggunakan jaringan agen LLM untuk menghasilkan proof kebenaran Verus untuk kode Rust, mengotomatisasi lebih dari 90% proof obligation melalui loop generate-repair-discharge yang didorong oleh feedback SMT solver.Thu, 09 Jul 2026 00:00:00 GMThttps://autotomy.dev/id/blog/llm-rust-formal-proofs-hallucination/https://autotomy.dev/id/blog/llm-rust-formal-proofs-hallucination/Model bahasa besar menulis kode Rust yang menakjubkan baiknya, tetapi ketika Anda meminta pembuktian formal, mereka menghasilkan invarian yang tidak ada dan menciptakan sintaks yang tidak diterima oleh verifikator apa pun. Berikut ini yang benar-benar mereka lakukan dengan benar, di mana mereka gagal, dan bagaimana menggunakannya meskipun begitu.Wed, 08 Jul 2026 00:00:00 GMThttps://autotomy.dev/id/blog/model-checking-race-conditions/https://autotomy.dev/id/blog/model-checking-race-conditions/Mengapa model checking mengalahkan berhari-hari runtime produksi untuk menemukan bug konkurensi, dan cara menerapkannya pada kode Anda sendiri.Tue, 07 Jul 2026 00:00:00 GMThttps://autotomy.dev/id/blog/is-there-a-model-checker-that-doesnt-require-learning-temporal-logic/https://autotomy.dev/id/blog/is-there-a-model-checker-that-doesnt-require-learning-temporal-logic/Bounded model checker seperti Kani dan relational model finder seperti Alloy memungkinkan Anda memverifikasi properti dengan assertion dan constraint biasa. Anda mengorbankan pembuktian liveness untuk kurva pembelajaran yang diukur dalam jam, bukan minggu.Mon, 06 Jul 2026 00:00:00 GMThttps://autotomy.dev/id/blog/rust-model-checking-kani-state-space/https://autotomy.dev/id/blog/rust-model-checking-kani-state-space/Alat model checking seperti Kani memungkinkan Anda memverifikasi properti Rust dengan assertion alih-alih bukti formal. Masalahnya adalah apa yang terjadi ketika loop Anda tidak memiliki batas kecil.Sun, 05 Jul 2026 00:00:00 GMThttps://autotomy.dev/id/blog/distributed-protocol-model-checking-tla/https://autotomy.dev/id/blog/distributed-protocol-model-checking-tla/Bug terdistribusi mahal untuk diperbaiki setelah deployment. Model checking memungkinkan Anda menemukannya sebelum menulis satu baris kode implementasi pun. Berikut cara melakukannya dengan TLA+.Sat, 04 Jul 2026 00:00:00 GMThttps://autotomy.dev/id/blog/infrastructure-config-dsl-per-context/https://autotomy.dev/id/blog/infrastructure-config-dsl-per-context/Bagaimana tim infrastruktur mengelola konfigurasi di seluruh dev, staging, dan production menggunakan DSL per-konteks yang membuat perbedaan environment eksplisit dan type-safe.Fri, 03 Jul 2026 00:00:00 GMThttps://autotomy.dev/id/blog/grammar-constrained-decoding-llm/https://autotomy.dev/id/blog/grammar-constrained-decoding-llm/LLM menghasilkan sintaks yang salah karena mereka melakukan sampling token secara probabilistik. Grammar-constrained decoding menyaring kosakata di setiap langkah sehingga hanya token yang mempertahankan validitas sintaksis yang dikeluarkan.Thu, 02 Jul 2026 00:00:00 GMThttps://autotomy.dev/id/blog/english-to-theme-deterministic-design-tokens/https://autotomy.dev/id/blog/english-to-theme-deterministic-design-tokens/Anda dapat menghasilkan design token dari deskripsi Bahasa Inggris sederhana, tetapi hanya jika Anda memperlakukan deskripsi tersebut sebagai DSL konteks terbatas dengan kontrak schema dan snapshot test.Wed, 01 Jul 2026 00:00:00 GMThttps://autotomy.dev/id/blog/typescript-parser-combinators-dsl/https://autotomy.dev/id/blog/typescript-parser-combinators-dsl/Parser generator terlalu berlebihan untuk sebagian besar DSL bounded-context. Parser combinator memungkinkanmu membangun parser yang berfungsi dalam bahasa yang sama dengan aplikasimu, tanpa kode yang dihasilkan dan tanpa langkah build.Tue, 30 Jun 2026 00:00:00 GMThttps://autotomy.dev/id/blog/config-validation-build-time/https://autotomy.dev/id/blog/config-validation-build-time/Cara menangkap kesalahan konfigurasi sebelum aplikasi mulai melayani traffic, menggunakan validasi skema dan pengecekan saat build.Mon, 29 Jun 2026 00:00:00 GMThttps://autotomy.dev/id/blog/javascript-capability-security-lockdown/https://autotomy.dev/id/blog/javascript-capability-security-lockdown/Ambient authority berarti kode apa pun di proses Node.js-mu bisa menyentuh sistem file, jaringan, dan lingkungan. Berikut cara menghilangkannya dengan lockdown, compartment, dan pemberian capability secara eksplisit.Sun, 28 Jun 2026 00:00:00 GMThttps://autotomy.dev/id/blog/service-authentication-without-ambient-authority/https://autotomy.dev/id/blog/service-authentication-without-ambient-authority/Sebagian besar kepercayaan antar-service berasal dari lokasi jaringan, bukan bukti kriptografis. Berikut cara kerja capabilities, mTLS, dan SPIFFE memungkinkan service mengautentikasi tanpa ambient authority, dan mengapa hal ini lebih sulit dari yang seharusnya.Sat, 27 Jun 2026 00:00:00 GMThttps://autotomy.dev/id/blog/rust-cap-std-capability-filesystem/https://autotomy.dev/id/blog/rust-cap-std-capability-filesystem/Standard library Rust memberikan otoritas filesystem ambient kepada setiap dependensi. cap-std menggantinya dengan API berbasis capability yang memaksa kode untuk membuktikan bahwa ia berhak mengakses suatu path sebelum membukanya.Fri, 26 Jun 2026 00:00:00 GMThttps://autotomy.dev/id/blog/whats-a-confused-deputy-attack-and-how-do-i-prevent-it/https://autotomy.dev/id/blog/whats-a-confused-deputy-attack-and-how-do-i-prevent-it/Serangan confused deputy menipu layanan yang memiliki privilese untuk menggunakan otoritasnya melawan dirinya sendiri. Berikut cara penyerang mengeksploitasi kepercayaan implisit, dan mengapa capability-based security adalah solusinya.Thu, 25 Jun 2026 00:00:00 GMThttps://autotomy.dev/id/blog/typescript-capability-based-security/https://autotomy.dev/id/blog/typescript-capability-based-security/Keamanan berbasis capability menggantikan pemeriksaan peran yang tersebar dengan token otoritas yang tidak dapat dipalsukan. Berikut cara mengimplementasikannya di TypeScript tanpa membuat kode Anda sulit dibaca.Wed, 24 Jun 2026 00:00:00 GMThttps://autotomy.dev/id/blog/capability-based-security-permissions/https://autotomy.dev/id/blog/capability-based-security-permissions/Sebagian besar kode berjalan dengan otoritas ambient: setiap fungsi dapat menyentuh segalanya. Keamanan berbasis kemampuan membalik model itu dengan memaksa fungsi untuk menerima izin eksplisit dan terbatas.Tue, 23 Jun 2026 00:00:00 GMThttps://autotomy.dev/id/blog/should-i-stop-throwing-errors-and-start-returning-them/https://autotomy.dev/id/blog/should-i-stop-throwing-errors-and-start-returning-them/Exception yang dilempar menyembunyikan jalur kegagalan dari sistem tipe Anda. Berikut mengapa pengembalian error secara eksplisit membuat kode Anda lebih jujur, dan cara mengadopsinya tanpa membuat Anda benci hidup.Mon, 22 Jun 2026 00:00:00 GMThttps://autotomy.dev/id/blog/rust-newtypes-zero-cost-safety/https://autotomy.dev/id/blog/rust-newtypes-zero-cost-safety/Struct wrapper satu-field menangkap bug pencampuran unit dan kebingungan tipe tanpa menambahkan satu byte pun overhead.Sun, 21 Jun 2026 00:00:00 GMThttps://autotomy.dev/id/blog/is-there-a-better-way-than-switch-statements-for-type-safe-matching/https://autotomy.dev/id/blog/is-there-a-better-way-than-switch-statements-for-type-safe-matching/Switch statement TypeScript diam-diam membiarkan Anda lupa menangani kasus. Berikut cara menggantinya dengan pola exhaustiveness-checked yang membuat build gagal, bukan saat runtime.Sat, 20 Jun 2026 00:00:00 GMThttps://autotomy.dev/id/blog/typescript-exhaustiveness-state-machines/https://autotomy.dev/id/blog/typescript-exhaustiveness-state-machines/Menambahkan state baru ke mesin Anda itu mudah. Mengingat untuk memperbarui setiap switch statement tidak. Berikut cara membuat TypeScript menolak untuk mengompilasi saat Anda lupa sebuah case.Fri, 19 Jun 2026 00:00:00 GMThttps://autotomy.dev/id/blog/typescript-currency-types/https://autotomy.dev/id/blog/typescript-currency-types/TypeScript melihat semua number sebagai identik. Berikut cara mengajarinya perbedaan antara USD dan EUR agar compiler menangkap bug konversi mata uang sebelum mencapai production.Thu, 18 Jun 2026 00:00:00 GMThttps://autotomy.dev/id/blog/typescript-unit-types-compile-time/https://autotomy.dev/id/blog/typescript-unit-types-compile-time/Meneruskan millisecond di tempat yang mengharapkan second adalah bug yang lolos dari setiap pengujian. Berikut cara menyandikan unit secara langsung ke dalam sistem tipe TypeScript sehingga kesalahan pencampuran gagal pada saat kompilasi tanpa biaya runtime.Wed, 17 Jun 2026 00:00:00 GMThttps://autotomy.dev/id/blog/typescript-branded-types-newtypes/https://autotomy.dev/id/blog/typescript-branded-types-newtypes/Type alias tidak membuat tipe yang berbeda di TypeScript. Branded types melakukannya, dan bisa menyelamatkan Anda dari mencampuradukkan identifier saat compile time.Tue, 16 Jun 2026 00:00:00 GMThttps://autotomy.dev/id/blog/differential-testing-common-mode-failures/https://autotomy.dev/id/blog/differential-testing-common-mode-failures/Differential testing memungkinkan Anda menemukan bug tanpa mengetahui jawaban yang benar. Masalahnya adalah kesalahan yang saling berkorelasi terlihat seperti kesepakatan. Begini cara menemukan blind spot-nya.Mon, 15 Jun 2026 00:00:00 GMThttps://autotomy.dev/id/blog/function-equivalence-smt-solvers/https://autotomy.dev/id/blog/function-equivalence-smt-solvers/N-version programming mengasumsikan implementasi Anda sepakat. Kita lihat mengapa tes kurang memadai, bagaimana SMT solver bisa benar-benar membuktikan ekuivalensi, dan di mana menarik garis antara cukup baik dan terverifikasi secara formal.Sun, 14 Jun 2026 00:00:00 GMThttps://autotomy.dev/id/blog/llm-variant-disagreement-resolution/https://autotomy.dev/id/blog/llm-variant-disagreement-resolution/Menjalankan beberapa LLM secara paralel menangkap kesalahan yang akan dengan percaya diri dikirim oleh model tunggal. Berikut cara membangun sistem resolusi ketidaksetujuan yang benar-benar berfungsi.Sat, 13 Jun 2026 00:00:00 GMThttps://autotomy.dev/id/blog/n-version-implementation-selection/https://autotomy.dev/id/blog/n-version-implementation-selection/N-version programming terdengar sederhana: jalankan beberapa implementasi dan pilih jawaban terbaik. Dalam praktiknya, 'terbaik' jauh lebih sulit didefinisikan daripada 'paling umum.'Fri, 12 Jun 2026 00:00:00 GMThttps://autotomy.dev/id/blog/llm-n-version-diverse-implementations/https://autotomy.dev/id/blog/llm-n-version-diverse-implementations/N-version programming dengan LLM tidak memerlukan banyak model. Anda bisa mengekstrak implementasi yang beragam dan benar dari satu model dengan memvariasikan prompt, persona, dan constraint reasoning.Thu, 11 Jun 2026 00:00:00 GMThttps://autotomy.dev/id/blog/nasa-n-version-programming-knight-leveson/https://autotomy.dev/id/blog/nasa-n-version-programming-knight-leveson/N-version programming menjanjikan bahwa tim independen akan membuat kesalahan independen. Eksperimen Knight dan Leveson tahun 1986 membuktikan sebaliknya, dan NASA diam-diam meninggalkannya.Wed, 10 Jun 2026 00:00:00 GMThttps://autotomy.dev/id/blog/cucumber-skipped-scenarios-diagnosis/https://autotomy.dev/id/blog/cucumber-skipped-scenarios-diagnosis/Status 'skipped' Cucumber menyembunyikan tiga masalah yang benar-benar berbeda. Inilah cara mendiagnosis mana yang menghabiskan test suite Anda, dan cara menghentikannya.Tue, 09 Jun 2026 00:00:00 GMThttps://autotomy.dev/id/blog/gherkin-specs-automated-sync/https://autotomy.dev/id/blog/gherkin-specs-automated-sync/Spesifikasi Gherkin akan menyimpang dari kenyataan begitu Anda mempercayakan pembaruan manual kepada manusia. Berikut cara mengotomatiskan pemeriksaan yang menjaga agar file fitur tetap jujur.Mon, 08 Jun 2026 00:00:00 GMThttps://autotomy.dev/id/blog/architecture-tests-ci-enforcement/https://autotomy.dev/id/blog/architecture-tests-ci-enforcement/Kebanyakan tim mendokumentasikan aturan arsitektur di wiki. Berikut cara menuliskannya sebagai tes yang dapat dieksekusi dan gagal di CI ketika dependency graph menyimpang.Sun, 07 Jun 2026 00:00:00 GMThttps://autotomy.dev/id/blog/clean-architecture-domain-infrastructure-ci/https://autotomy.dev/id/blog/clean-architecture-domain-infrastructure-ci/Diagram clean architecture terlihat bagus di papan tulis. Berikut cara membuat build pipeline Anda menegakkan arah dependensi sehingga kode domain tidak bisa menjangkau infrastruktur.Sat, 06 Jun 2026 00:00:00 GMThttps://autotomy.dev/id/blog/architecture-docs-code-generated-diagrams/https://autotomy.dev/id/blog/architecture-docs-code-generated-diagrams/Dokumentasi arsitektur membusuk pada saat Anda menyimpannya. Berikut cara menjaga kejujuran dokumen menggunakan diagram yang dibuat dari kode, ADR, dan pengujian arsitektur otomatis.Fri, 05 Jun 2026 00:00:00 GMThttps://autotomy.dev/id/blog/idempotency-keys-api-retries/https://autotomy.dev/id/blog/idempotency-keys-api-retries/Timeout atau crash tidak berarti permintaan API Anda hilang. Berikut cara idempotency key membuat percobaan ulang menjadi aman, dan pola penyimpanan yang benar-benar mencegah duplikat.Thu, 04 Jun 2026 00:00:00 GMThttps://autotomy.dev/id/blog/distributed-leases-fencing-tokens/https://autotomy.dev/id/blog/distributed-leases-fencing-tokens/Mutex in-memory hilang ketika server Anda restart. Berikut cara distributed lease dengan fencing token dan TTL mencegah pekerjaan duplikat saat crash, dan di mana mereka masih gagal.Wed, 03 Jun 2026 00:00:00 GMThttps://autotomy.dev/id/blog/circuit-breaker-lazy-recovery-no-goroutines/https://autotomy.dev/id/blog/circuit-breaker-lazy-recovery-no-goroutines/Kebanyakan library circuit breaker memunculkan thread latar belakang untuk memeriksa pemulihan. Anda tidak membutuhkannya. Berikut adalah desain berbasis request yang menghilangkan semua background overhead tanpa mengorbankan correctness.Tue, 02 Jun 2026 00:00:00 GMThttps://autotomy.dev/id/blog/crash-only-software-web-services/https://autotomy.dev/id/blog/crash-only-software-web-services/Perangkat lunak crash-only memperlakukan setiap kegagalan sebagai crash dan setiap startup sebagai recovery. Untuk layanan web, ini berarti menghapus logika shutdown Anda dan merancang state yang bertahan meski di-kill -9.Mon, 01 Jun 2026 00:00:00 GMThttps://autotomy.dev/id/blog/killing-surviving-mutants/https://autotomy.dev/id/blog/killing-surviving-mutants/Mutation testing menemukan survivor dan Anda sama sekali tidak tahu apa yang dilakukan mutasi tersebut. Berikut adalah metode langkah demi langkah untuk menulis tes yang tepat tanpa harus memahami mutan terlebih dahulu.Sun, 31 May 2026 00:00:00 GMThttps://autotomy.dev/id/blog/mutation-score-per-module-risk/https://autotomy.dev/id/blog/mutation-score-per-module-risk/Mengapa menerapkan skor mutasi tunggal di seluruh codebase adalah kesalahan, dan cara mengatur threshold per-modul yang sesuai dengan risiko aktual.Sat, 30 May 2026 00:00:00 GMThttps://autotomy.dev/id/blog/my-tests-pass-but-my-mutation-score-is-40-whats-a-surviving-mutant/https://autotomy.dev/id/blog/my-tests-pass-but-my-mutation-score-is-40-whats-a-surviving-mutant/Code coverage mengatakan Anda aman. Mutation testing mengatakan tes Anda sebagian besar hanya dekorasi. Begini cara mutan yang bertahan memperlihatkan celahnya, dan cara menutupnya.Fri, 29 May 2026 00:00:00 GMThttps://autotomy.dev/id/blog/rust-mutation-testing-cargo-mutants/https://autotomy.dev/id/blog/rust-mutation-testing-cargo-mutants/cargo-mutants menemukan tes yang hanya berpura-pura memverifikasi kode Anda. Berikut cara kerja mutation testing di Rust, apa yang ditangkapnya, dan apakah biaya waktu kompilasi sepadan.Thu, 28 May 2026 00:00:00 GMThttps://autotomy.dev/id/blog/ai-coding-validation-spectrum-backend-web-mobile/https://autotomy.dev/id/blog/ai-coding-validation-spectrum-backend-web-mobile/Coding AI mengikuti gradien validasi. Backend tervalidasi dalam milidetik. Web butuh menit, mobile jam. Feedback loop menentukan di mana coding AI bekerja.Wed, 27 May 2026 00:00:00 GMThttps://autotomy.dev/id/blog/monkey-machine-gun-aimbot/https://autotomy.dev/id/blog/monkey-machine-gun-aimbot/Tata kelola kode AI bukan mengambil alat dari junior dan agen. Ini memasang guardrails agar setiap tembakan tepat sasaran tanpa kerusakan tambahan.Wed, 27 May 2026 00:00:00 GMThttps://autotomy.dev/id/blog/mutation-testing-takes-4-hours-how-do-teams-actually-use-it-in-ci/https://autotomy.dev/id/blog/mutation-testing-takes-4-hours-how-do-teams-actually-use-it-in-ci/Sebagian besar tim tidak menjalankan suite mutation testing secara penuh di setiap commit. Berikut cara tim engineering benar-benar mengintegrasikan mutation testing ke CI tanpa merusak build pipeline.Wed, 27 May 2026 00:00:00 GMThttps://autotomy.dev/id/blog/database-persistence-testing-mocks/https://autotomy.dev/id/blog/database-persistence-testing-mocks/Tes database yang di-mock memverifikasi sintaks SQL Anda, bukan apakah baris data bertahan dari crash, penulisan konkuren, atau ketidakcocokan skema. Berikut cara menguji persistensi secara nyata.Tue, 26 May 2026 00:00:00 GMThttps://autotomy.dev/id/blog/fear-vs-steamroll-ai-coding-divide/https://autotomy.dev/id/blog/fear-vs-steamroll-ai-coding-divide/AI coding berhasil untuk tim elite yang bisa pulih dari kekacauan apa pun. Sisanya mendapat ketakutan, CI gagal, dan eksperimen yang ditinggalkan. Kesenjangannya bukan pada model.Tue, 26 May 2026 00:00:00 GMThttps://autotomy.dev/id/blog/redux-testing-real-state-transitions/https://autotomy.dev/id/blog/redux-testing-real-state-transitions/Mem-mock setiap action Redux mengubah test Anda menjadi validator changelog. Berikut cara menguji store dengan transisi state yang nyata.Mon, 25 May 2026 00:00:00 GMThttps://autotomy.dev/id/blog/ai-coding-in-production-autotomy-framework/https://autotomy.dev/id/blog/ai-coding-in-production-autotomy-framework/Sebagian besar tim mencoba AI coding, mengirim kode yang gagal QA, lalu menyerah. Masalahnya bukan modelnya—melainkan ketiadaan guardrail yang membuat output AI dapat dipercaya.Sun, 24 May 2026 00:00:00 GMThttps://autotomy.dev/id/blog/property-based-testing-run-count/https://autotomy.dev/id/blog/property-based-testing-run-count/100 contoh default dalam property-based testing adalah kompromi sosial, bukan strategi statistik. Berikut cara memilih jumlah run yang sesuai dengan kebutuhan kepercayaan Anda dan anggaran CI.Sun, 24 May 2026 00:00:00 GMThttps://autotomy.dev/id/blog/fuck-u-code-deterministic-quality-gate-ai-pipeline/https://autotomy.dev/id/blog/fuck-u-code-deterministic-quality-gate-ai-pipeline/Anda punya type checking, linting, dan aturan arsitektur. Tetapi tumpukan deterministik Anda buta terhadap kompleksitas, duplikasi, dan bencana penamaan. Inilah solusi $0.Sat, 23 May 2026 00:00:00 GMThttps://autotomy.dev/id/blog/rust-property-based-testing-quickcheck/https://autotomy.dev/id/blog/rust-property-based-testing-quickcheck/Pengujian berbasis contoh hanya mencakup input yang Anda pikirkan. Property-based testing menghasilkan data acak, memeriksa invariant, dan menyusutkan kegagalan menjadi contoh kontra minimal.Sat, 23 May 2026 00:00:00 GMThttps://autotomy.dev/id/blog/ai-coding-why-version-one-is-never-the-problem/https://autotomy.dev/id/blog/ai-coding-why-version-one-is-never-the-problem/AI coding tools unggul dalam menghasilkan versi satu. Tantangan engineering yang sebenarnya dimulai di versi empat, saat tim perlu mengubah sesuatu tanpa merusak semua hal lain.Fri, 22 May 2026 00:00:00 GMThttps://autotomy.dev/id/blog/ai-generated-code-replaceability-principle/https://autotomy.dev/id/blog/ai-generated-code-replaceability-principle/Ukuran sebenarnya dari kualitas AI-generated code bukan apakah ia bekerja pada hari pertama. Ukurannya adalah apakah Anda bisa menggantinya pada hari ketiga puluh tanpa menulis ulang semua hal lain.Fri, 22 May 2026 00:00:00 GMThttps://autotomy.dev/id/blog/deterministic-guardrails-ai-codebases/https://autotomy.dev/id/blog/deterministic-guardrails-ai-codebases/Review manusia itu inkonsisten. AI review lebih buruk. Satu-satunya pertahanan yang bisa diskalakan untuk AI-generated codebases adalah deterministic enforcement: aturan yang menggagalkan build, bukan saran yang diabaikan.Fri, 22 May 2026 00:00:00 GMThttps://autotomy.dev/id/blog/i-write-unit-tests-why-do-bugs-still-slip-through/https://autotomy.dev/id/blog/i-write-unit-tests-why-do-bugs-still-slip-through/Metrik code coverage menciptakan rasa aman yang palsu. Berikut ini mengapa unit test melewatkan bug yang sebenarnya membuat Anda kehilangan tidur, dan apa yang harus diuji sebagai gantinya.Fri, 22 May 2026 00:00:00 GMThttps://autotomy.dev/id/blog/rust-zero-cost-runtime-contracts/https://autotomy.dev/id/blog/rust-zero-cost-runtime-contracts/Rust secara otomatis menghapus debug assertion, tetapi design-by-contract yang sesungguhnya membutuhkan lebih dari debug_assert!. Berikut cara membangun runtime contract tanpa biaya yang lenyap dari binary release Anda.Thu, 21 May 2026 00:00:00 GMThttps://autotomy.dev/id/blog/production-assertion-decision-framework/https://autotomy.dev/id/blog/production-assertion-decision-framework/Developer tersebar menyebar assertion seperti confetti atau menghindarinya sepenuhnya. Berikut framework keputusan yang memisahkan invariants yang berguna dari pemicu crash di production.Wed, 20 May 2026 00:00:00 GMThttps://autotomy.dev/id/blog/declarative-runtime-contracts-validation/https://autotomy.dev/id/blog/declarative-runtime-contracts-validation/Validasi manual membuat codebase Anda membengkak dan masih saja melewatkan edge case. Berikut cara enforce runtime contracts dengan skema deklaratif yang tidak mengganggu Anda.Tue, 19 May 2026 00:00:00 GMThttps://autotomy.dev/id/blog/typescript-strictnullchecks-runtime-nulls/https://autotomy.dev/id/blog/typescript-strictnullchecks-runtime-nulls/mode strict menangkap null yang Anda tulis, bukan null yang datang saat runtime dari API, query DOM, dan JSON.parse. Inilah di mana sistem tipe berhenti dan pertahanan Anda dimulai.Mon, 18 May 2026 00:00:00 GMThttps://autotomy.dev/id/blog/code-review-becomes-specification-review/https://autotomy.dev/id/blog/code-review-becomes-specification-review/Ketika AI bisa menghasilkan implementasi, tests, dan contracts dari sebuah spec, kerja manusia dengan leverage tertinggi bergeser ke hulu. Yang paling perlu diperiksa dengan ketat justru spesifikasinya sendiri.Sun, 17 May 2026 00:00:00 GMThttps://autotomy.dev/id/blog/ai-safety-stack-types-contracts-property-tests-mutation/https://autotomy.dev/id/blog/ai-safety-stack-types-contracts-property-tests-mutation/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.Sat, 16 May 2026 00:00:00 GMThttps://autotomy.dev/id/blog/meteor-development-is-real/https://autotomy.dev/id/blog/meteor-development-is-real/Meme ini terasa lucu karena banyak tim benar-benar membangun produk di tengah target yang terus berubah, tenggat waktu tetap, dan cakupan yang belum matang. Autotomy tidak memperbaiki perencanaan yang penuh fantasi, tetapi menjaga development tetap berjalan saat rutenya berubah lagi.Sat, 16 May 2026 00:00:00 GMThttps://autotomy.dev/id/blog/stanford-cs146s-ai-architecture-gap/https://autotomy.dev/id/blog/stanford-cs146s-ai-architecture-gap/Ulasan kritis tentang Stanford CS146S: mata kuliah ini tepat dalam membaca AI coding, tetapi masih menyisakan disiplin AI architecture yang dibutuhkan agar sistem tetap mudah diganti.Sat, 16 May 2026 00:00:00 GMThttps://autotomy.dev/id/blog/engineering-ideas-ai-economics/https://autotomy.dev/id/blog/engineering-ideas-ai-economics/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.Fri, 15 May 2026 00:00:00 GMThttps://autotomy.dev/id/blog/ai-react-native-guardrails-scaling/https://autotomy.dev/id/blog/ai-react-native-guardrails-scaling/AI bisa mengirim MVP React Native Anda dengan sangat cepat, tetapi tanpa guardrails, setiap perubahan kecil bisa merusak flow lain yang tampaknya tidak terkait. Begini cara declarative constraints menjaga kecepatan agar tidak berubah menjadi kerapuhan.Thu, 14 May 2026 00:00:00 GMThttps://autotomy.dev/id/blog/app-lifecycle-resume-status/https://autotomy.dev/id/blog/app-lifecycle-resume-status/Aplikasi Anda baik-baik saja saat dev, tapi pengguna mendapat layar kosong saat kembali setelah makan siang. Ini pattern resume status yang menangani native lifecycle dengan benar.Thu, 14 May 2026 00:00:00 GMThttps://autotomy.dev/id/blog/dependency-tiers-hard-soft-optional/https://autotomy.dev/id/blog/dependency-tiers-hard-soft-optional/Jika SDK opsional diinisialisasi seperti infrastruktur inti, SDK itu bisa membuat aplikasi Anda crash saat launch. Ini sistem dependency tier yang menjaga tools non-kritis agar tidak menjatuhkan production.Thu, 14 May 2026 00:00:00 GMThttps://autotomy.dev/id/blog/nativewind-vs-stylesheet-contract/https://autotomy.dev/id/blog/nativewind-vs-stylesheet-contract/Anda merilis MVP dalam satu akhir pekan dengan Cursor, tapi sekarang mengganti satu warna membuat 47 file ikut rusak. Ini styling contract yang menghentikan pendarahannya.Thu, 14 May 2026 00:00:00 GMThttps://autotomy.dev/id/blog/o1-guards-vs-llm-reviews/https://autotomy.dev/id/blog/o1-guards-vs-llm-reviews/LLM code review itu non-deterministic, lambat, dan sering melewatkan pelanggaran arsitektur. Ini stack guard O(1) yang benar-benar menjaga kode Anda tetap bersih.Thu, 14 May 2026 00:00:00 GMThttps://autotomy.dev/id/blog/refactor-by-replacement/https://autotomy.dev/id/blog/refactor-by-replacement/Refactor kode hasil AI berarti membongkar intent yang tidak pernah Anda miliki. Ini pattern replacement berbasis interface yang membuat penghapusan menjadi aman.Thu, 14 May 2026 00:00:00 GMThttps://autotomy.dev/id/blog/service-boundaries-composition-root/https://autotomy.dev/id/blog/service-boundaries-composition-root/Auth hasil AI terasa baik-baik saja sampai fitur baru masuk ke service yang salah. Inilah arsitektur berbasis interface yang menjaga pergantian vendor dan pekerjaan feature agar tidak merusak login.Thu, 14 May 2026 00:00:00 GMThttps://autotomy.dev/id/blog/url-validation-expo-router/https://autotomy.dev/id/blog/url-validation-expo-router/Deep link, payload push, dan URL yang dibagikan semuanya adalah input yang tidak tepercaya. Begini cara memvalidasinya di boundary Expo Router sebelum params buruk mencapai screen Anda.Thu, 14 May 2026 00:00:00 GMThttps://autotomy.dev/id/blog/useSyncExternalStore-pattern/https://autotomy.dev/id/blog/useSyncExternalStore-pattern/Berhenti menulis subscription `useEffect` yang bocor memori dan melewatkan update state. Ini pattern React 18 untuk external state yang benar-benar tahan banting.Thu, 14 May 2026 00:00:00 GMT