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

461 points

by nicolas-siplis

13 hours ago

218 comments