Bend: a language that blocks AI mistakes with proofs and compiles to parallel CPU/GPU code

Bend

Bend is a new language that compiles to native code with near-C speed, uses proof checking to block AI-generated bugs, and automatically parallelizes work across CPU cores and GPUs. You declare laws in LAWS.bend, and the AI must supply a proof that its code obeys them before merging. The demo shows a game where winning is mathematically impossible—an AI feature that breaks this rule gets blocked. Bend is still early; the team says it works best on backends, Linux, and macOS, and warns of bugs.

Why it matters: Bend bundles three hard requirements into one language: near-C runtime speed, automatic CPU/GPU parallelism without code changes, and sub-second proof checking to catch AI-generated bugs. The M4 Max benchmarks give the claims some grounding. Downside: this is the language's ow...