Re:Bend – A language that blocks AI mistakes via proof, on C...
by didibus on Friday September 18, 2026 @03:05AM
(#49751024)
Sorry for not knowing, but in the AI world that we are in, I need to learn more about the creator behind a project to trust it. Something that can help me know why the creator is qualified to deliver on the promises being made, that I can trust their judgement and decision, that they know what they are doing and don't need AI to tell them what/how to do it, and that they are committed long term to the project. Do you think you could share a bit about you that would give me some answers on those?
[ Parent
| on HN ]
Re:Bend – A language that blocks AI mistakes via proof, on C...
by killerstorm on Friday September 18, 2026 @04:45AM
(#49751687)
A lot of information here:
https://gist.github.com/VictorTaelin/77fd5a2a8a4a07e1da6157e...