HeadlinesBriefing favicon HeadlinesBriefing.com

Bend: lenguaje que bloquea errores de IA con pruebas

Hacker News •
×

Bend es un lenguaje rápido que bloquea los errores de la IA mediante pruebas, y se ejecuta en CPU y GPU. Instálalo con `curl -fs SL https://bend-lang.com/install.sh | sh`. Añádelo a AGENTS.md: ejecuta `bend guide`, usa `LAWS.bend`, ejecuta `bend PROOF.bend` antes de hacer commit, paraleliza.

Bend compila a código nativo, casi tan rápido como C en un núcleo, y hasta 100 veces más rápido en GPU. Su verificador de tipos es un verificador de pruebas, que tarda como máximo un segundo. Paraleliza automáticamente sin hilos ni bloqueos.

LAWS.bend declara leyes, y ninguna IA puede entregar código que las viole. Míralo proteger un juego: sin LAWS.bend, un bug salió a producción; con LAWS.bend, la IA reintentó hasta probar la ley. Fusionar un bug es matemáticamente imposible.

Bend es joven; espera bugs. Funciona mejor en back-end, Linux y macOS. ¡Disfruta de aplicaciones vibe-coded rápidas y sin bugs!

Entidades clave: Empresas: Bend | Ubicaciones: Linux, macOS