News for hackers. Stuff that matters.

A comment on Bend – A language that blocks AI mistakes via proof, on CPU and GPU.

Re:Bend – A language that blocks AI mistakes via proof, on C... by mantovanidaniel on Thursday September 17, 2026 @05:55PM (#49747161)
.
[ Parent | on HN ]
Re:Bend – A language that blocks AI mistakes via proof, on C... by developedby on Thursday September 17, 2026 @06:35PM (#49747618)
The benchmarks: https://github.com/bendlang/bend/tree/main/bench

The script we use to run them on our servers: https://github.com/bendlang/bend/blob/main/gates/perf.ts

[ Parent | on HN ]
Re:Bend – A language that blocks AI mistakes via proof, on C... by hei-lima on Thursday September 17, 2026 @06:36PM (#49747634)
Read the damn code and readme, for god's sake!
[ Parent | on HN ]