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 LightMachine on Thursday September 17, 2026 @05:44PM (#49747015)
There is just a lot of private data and even proprietary code (like SupGen) in the commit story, so I just squashed it. I didn't think that'd be an issue? Why?
[ Parent | on HN ]
Re:Bend – A language that blocks AI mistakes via proof, on C... by LightMachine on Thursday September 17, 2026 @10:41PM (#49749633)
Commit history is back!
[ Parent | on HN ]