Bend – A language that blocks AI mistakes via proof, on CPU and GPU
Bend’s pitch is that proof files can make an AI agent’s code changes fail before they ship.
The page describes Bend as a young language with Python-like syntax, native compilation, CPU/GPU parallelism, and a type checker that also acts as a proof checker. Its core workflow puts invariants in `LAWS.bend` and requires a `PROOF.bend` check before committing, so an agent must retry changes that violate those laws. The example is a game rule where “winning is impossible”; a board-wrapping change is shown being blocked when the proof is enforced. Bend says it is best suited for back-end work on Linux and macOS, and warns that it is still evolving. HN · Frontpage AI's note
The page describes Bend as a young language with Python-like syntax, native compilation, CPU/GPU parallelism, and a type checker that also acts as a proof checker. Its core workflow puts invariants in `LAWS.bend` and requires a `PROOF.bend` check before committing, so an agent must retry changes that violate those laws. The example is a game rule where “winning is impossible”; a board-wrapping change is shown being blocked when the proof is enforced. Bend says it is best suited for back-end work on Linux and macOS, and warns that it is still evolving. HN · Frontpage AI's note
score 5
Discussions
- hn · 275 points · 137 comments
- hn · 287 points · 149 comments
- hn · 308 points · 160 comments
- hn · 326 points · 168 comments
- hn · 350 points · 176 comments
- hn · 356 points · 181 comments
- hn · 365 points · 185 comments
- hn · 381 points · 191 comments
- hn · 396 points · 194 comments
- hn · 405 points · 197 comments
- hn · 417 points · 200 comments
- hn · 431 points · 205 comments
- hn · 442 points · 205 comments
- hn · 449 points · 211 comments
- hn · 458 points · 215 comments
- hn · 471 points · 221 comments
- hn · 482 points · 224 comments
- hn · 491 points · 230 comments
- hn · 502 points · 238 comments
- hn · 507 points · 239 comments
- hn · 510 points · 245 comments
- hn · 523 points · 254 comments
- hn · 534 points · 263 comments
- hn · 547 points · 267 comments
- hn · 552 points · 277 comments
- hn · 561 points · 283 comments