Bend

Bend 2 has launched with a new `LAWS.bend` file that forces AI coding agents to write mathematical correctness proofs, using Bend's compiler to guarantee declared rules always hold. The language's dev…

Bend, a new programming language that compiles to native code and uses a Lean-style proof checker to block AI coding mistakes, has launched with an install script at bend-lang.com/install.sh. Bend run…