Bahasa Pemrograman Rahasia untuk Pajak

Selama puluhan tahun, perhitungan matematis yang digunakan untuk menagih warga negara adalah kotak hitam birokrasi. Hingga peretas sipil merekayasa baliknya menjadi mlang. Ini adalah compiler open-source yang ditulis dalam OCaml yang menjalankan bahasa 'M' yang tidak dikenal ini. Compiler ini menerjemahkan kode pajak nasional ke dalam instruksi mesin, dilengkapi backend C, dan divalidasi terhadap test suite pemerintah resmi. Compiler ini memaksa transparansi total, mengubah formula pajak tersembunyi menjadi software open-source yang dapat diverifikasi.