Bend – a language that blocks AI mistakes via proof and runs on GPUs

607 points

by nicolas-siplis

2 days ago

309 comments