HeadlinesBriefing favicon HeadlinesBriefing.com

Bend: Sprache blockiert KI-Fehler durch Beweise

Hacker News •
×

Bend ist eine schnelle Sprache, die KI-Fehler durch Beweise blockiert und auf CPU und GPU läuft. Installation mit `curl -fs SL https://bend-lang.com/install.sh | sh`. Füge zu AGENTS.md hinzu: Führe `bend guide` aus, verwende `LAWS.bend`, führe `bend PROOF.bend` vor dem Commit aus, parallelisiere.

Bend kompiliert zu nativem Code, fast so schnell wie C auf einem Kern und bis zu 100x schneller auf GPU. Sein Typprüfer ist ein Beweisprüfer und braucht höchstens eine Sekunde. Es parallelisiert automatisch ohne Threads oder Locks.

LAWS.bend deklariert Gesetze, und keine KI kann Code ausliefern, der sie bricht. Sieh zu, wie es ein Spiel bewacht: Ohne LAWS.bend ging ein Bug live; mit LAWS.bend versuchte die KI es erneut, bis sie das Gesetz bewies. Einen Bug zu mergen ist mathematisch unmöglich.

Bend ist jung; erwarte Bugs. Funktioniert am besten im Back-End, auf Linux und macOS. Genieße fehlerfreie, schnelle vibe-codierte Apps!

Wichtige Entitäten: Unternehmen: Bend | Orte: Linux, macOS