HeadlinesBriefing favicon HeadlinesBriefing.com

Bend: Bahasa yang Blokir Kesalahan AI via Bukti

Hacker News •
×

Bend adalah bahasa cepat yang memblokir kesalahan AI melalui pembuktian, berjalan di CPU dan GPU. Instal dengan `curl -fs SL https://bend-lang.com/install.sh | sh`. Tambahkan ke AGENTS.md: jalankan `bend guide`, gunakan `LAWS.bend`, jalankan `bend PROOF.bend` sebelum commit, paralelkan.

Bend mengompilasi ke kode native, hampir secepat C pada satu inti, dan hingga 100x lebih cepat di GPU. Pemeriksa tipe-nya adalah pemeriksa bukti, memakan waktu paling lama satu detik. Ia memparalelkan secara otomatis tanpa thread atau lock.

LAWS.bend mendeklarasikan hukum, dan tidak ada AI yang dapat mengirim kode yang melanggarnya. Lihat ia menjaga sebuah game: tanpa LAWS.bend, sebuah bug masuk ke produksi; dengan LAWS.bend, AI mencoba lagi hingga membuktikan hukum tersebut. Menggabungkan bug secara matematis mustahil.

Bend masih muda; perkirakan adanya bug. Bekerja paling baik di back-end, Linux, dan macOS. Nikmati aplikasi vibe-coded yang cepat dan bebas bug!

Entitas Utama: Perusahaan: Bend | Lokasi: Linux, macOS