Bend – A language that blocks AI mistakes via proof, on CPU and GPU | Hacker News

Bend – A language that blocks AI mistakes via proof, on CPU and GPU (bend-lang.com)

457 points by nicolas-siplis 13 hours ago | 215 comments

Loading...