Hacker Next
Bend – a language that blocks AI mistakes via proof and runs on GPUsbend-lang.com
606 points by nicolas-siplis 3 days ago | 309 comments