cd/entity/LAWS.bend· home› entities› LAWS.bend
grep -l @laws.bend /news/*.json | wc -l → 2

LAWS.bend

mentions 2 type Organization feed RSS

// recent coverage 2 mentions

20:38
2026-09-17
github.com
ai-agents

Bend 2 Is Here

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…

20:36
2026-09-17
bend-lang.com
ai-agents

Bend

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…

// co-occurs with top 8 entities
Bend 2 Claude 2 PROOF.bend 1 Lean 1 Rocq 1 bend-lang.com 1 GitHub 1 Bend 2 1
// topics top 6 topics
ai agents 2 developer tools 2 ai tools 2 artificial intelligence 1 ai safety 1 large language models 1