Hacker Neus
Bend – A language that blocks AI mistakes via proof, on CPU and GPU
(bend-lang.com)
451 points
by nicolas-siplis
12 hours ago |
212 comments
