Mengeksplorasi pengembangan AI-first, coding guardrail, dan arsitektur untuk dibuang.
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.
Crate apa pun di pohon dependency Anda bisa membuka , menulis ke direktori Anda, atau menghitung setiap berkas di proyek Anda. Standard library Rust tidak…
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.
Layanan Anda memiliki API key ke cloud storage. Seorang pengguna mengirimkan request. Layanan Anda dengan patuh menulis sebuah file. File tersebut mendarat di…
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.
Setiap bug izin terlihat sama dalam retrospeksi. Fungsi tertentu yang jauh di dalam call stack mengasumsikan pemanggil sudah memeriksa . Padahal belum. Atau…
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.
Fungsi Anda memiliki akses ke database, gateway pembayaran, dan log audit karena ia kebetulan berada dalam proses yang sama. Jika penyerang menemukan bug…
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.
Tanda tangan fungsi Anda mengatakan bahwa fungsi tersebut mengembalikan . Tidak. Fungsi tersebut mengembalikan atau meledak. Sistem tipe sama sekali tidak…
Struct wrapper satu-field menangkap bug pencampuran unit dan kebingungan tipe tanpa menambahkan satu byte pun overhead.
Lewatkan user ID ke fungsi yang mengharapkan order ID, dan Rust tidak akan protes. Keduanya adalah . Compiler melihat tipe yang identik, jadi ia tidak bisa…
Switch statement TypeScript diam-diam membiarkan Anda lupa menangani kasus. Berikut cara menggantinya dengan pola exhaustiveness-checked yang membuat build gagal, bukan saat runtime.
Anda me-refactor tipe shape, menambahkan varian baru, dan TypeScript tetap hijau. CI Anda lulus. Deploy Anda keluar. Lalu seorang pengguna menemui cabang…
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.
State machine dimulai dengan bersih. Tiga nilai, tiga cabang switch. Lalu logika retry menambahkan state keempat. Partial failure menambahkan state kelima.…
TypeScript melihat semua number sebagai identik. Berikut cara mengajarinya perbedaan antara USD dan EUR agar compiler menangkap bug konversi mata uang sebelum mencapai production.
Pada tahun 2022, platform fintech besar memproses transfer massal sebesar 32.700.000,00. Jumlah tersebut disimpan sebagai biasa. Layanan hilir menganggapnya…
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.
Sebuah fungsi meminta timeout dalam millisecond. Anda meneruskan . Nanti, fungsi lain meminta timeout dalam second. Anda meneruskan . Di antaranya, Anda…