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 fortzi on Thursday September 17, 2026 @06:31PM (#49747580)
Natural language is ambiguous. Specifying exactly what you want in a way that is truly verifiable is the act of coding.
[ Parent | on HN ]
Re:Bend – A language that blocks AI mistakes via proof, on C... by frank00001 on Friday September 18, 2026 @12:02AM (#49750055)
Start printing the t-shirts!
[ Parent | on HN ]
Re:Bend – A language that blocks AI mistakes via proof, on C... by shakna on Friday September 18, 2026 @03:11AM (#49751074)
You mean t-shirts of this comic, from 2016?

[0] https://www.commitstrip.com/en/2016/08/25/a-very-comprehensi...

[ Parent | on HN ]