News for hackers. Stuff that matters.

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

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 ]

There are no comments on this comment yet.