HeadlinesBriefing favicon HeadlinesBriefing.com

Bend: linguagem que bloqueia erros da IA com provas

Hacker News •
×

Bend é uma linguagem rápida que bloqueia erros da IA por meio de provas, rodando em CPU e GPU. Instale com `curl -fs SL https://bend-lang.com/install.sh | sh`. Adicione ao AGENTS.md: execute `bend guide`, use `LAWS.bend`, execute `bend PROOF.bend` antes de commitar, paralelize.

Bend compila para código nativo, quase tão rápido quanto C em um núcleo, e até 100x mais rápido em GPU. Seu verificador de tipos é um verificador de provas, levando no máximo um segundo. Ele paraleliza automaticamente sem threads ou locks.

LAWS.bend declara leis, e nenhuma IA pode entregar código que as viole. Veja-o proteger um jogo: sem LAWS.bend, um bug foi para produção; com LAWS.bend, a IA tentou novamente até provar a lei. Fazer merge de um bug é matematicamente impossível.

Bend é jovem; espere bugs. Funciona melhor em back-end, Linux e macOS. Aproveite aplicativos vibe-coded rápidos e sem bugs!

Entidades principais: Empresas: Bend | Locais: Linux, macOS