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 randomblock1 on Thursday September 17, 2026 @05:24PM (#49746751)
Multiple times, even. Still no real reason why. https://github.com/bendlang/bend/activity?ref=main

One time they force pushed and erased everything except a 2-line README... on purpose.

Pre-obliteration version: https://github.com/bendlang/bend/tree/814453670d0e0d6777c131...

[ Parent | on HN ]
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 ]