News for hackers. Stuff that matters.
Re:Bend – A language that blocks AI mistakes via proof, on C... by developedby on Thursday September 17, 2026 @06:22PM (#49747482)
Old repo can be accessed here https://github.com/HigherOrderCO/Bend1 . I guess we could have it as a branch on the bend2 repo

There are no comments on this comment yet.