Hacker Newsnew | past | comments | ask | show | jobs | submit | fromlogin
Bend – A language that blocks AI mistakes via proof, on CPU and GPU (bend-lang.com)
458 points by nicolas-siplis 13 hours ago | past | 215 comments

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: