News for hackers. Stuff that matters.

A comment on Bend – A language that blocks AI mistakes via proof, on CPU and GPU.

Re:Bend – A language that blocks AI mistakes via proof, on C... by 12uq7 on Thursday September 17, 2026 @05:35PM (#49746888) 

  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.

[ Parent | on HN ]
Re:Bend – A language that blocks AI mistakes via proof, on C... by developedby on Thursday September 17, 2026 @06:18PM (#49747443)
Most of that is just the test suite. The actual code is about 10k lines
[ Parent | on HN ]