14:26
2026-09-18
thenewway.ai
ai-agents
Bend 2 blocks AI mistakes with proof, its maker says. The demo took 442 lines
Victor Taelin relaunched his Bend language as Bend 2, a proof checker that refuses AI-written code unable to prove it preserves rules stated in a LAWS.bend file, and the first outside measurement by Lā¦