Thread

Bend – a language that blocks AI mistakes via proof and runs on GPUs

616 points · 327 comments · nicolas-siplis

12uq7 · 1789680909 · focus · HN ↗
```
  claude: 1 commit 1,722,119 ++0 --
```
I assume that Claude formally proved Bend correct like CakeML?
Why would anyone want to work with such a dystopian setup? Prove your code directly in Lean or Coq or leave it.
1. developedby · 1789683497 · focus · HN ↗
  Most of that is just the test suite. The actual code is about 10k lines

Unofficial Hacker News client; not affiliated with Y Combinator.