HeadlinesBriefing favicon HeadlinesBriefing.com

Bend: Language Blocks AI Mistakes via Proof

Hacker News •
×

Bend is a fast language that blocks AI mistakes via proof, running on CPU and GPU. Install with `curl -fs SL https://bend-lang.com/install.sh | sh`. Add to AGENTS.md: run `bend guide`, use `LAWS.bend`, run `bend PROOF.bend` before committing, parallelize.

Bend compiles to native code, nearly as fast as C on one core, and up to 100x faster on GPU. Its type checker is a proof checker, taking a second at most. It parallelizes automatically without threads or locks.

LAWS.bend declares laws, and no AI can ship code that breaks them. Watch it guard a game: without LAWS.bend, a bug went live; with LAWS.bend, the AI retried until it proved the law. Merging a bug is mathematically impossible.

Bend is young; expect bugs. Works best on back-end, Linux, and macOS. Enjoy bug-free, fast vibe-coded apps!