Bend – A language that blocks AI mistakes via proof, on CPU and GPUbend-lang.com
244 points by nicolas-siplis 4 hours ago | 129 comments