Related: Bend - a language that blocks AI mistakes via proof and runs on GPUs https://news.ycombinator.com/item?id=49746163 https://news.ycombinator.com/item?i

Related: Bend - a language that blocks AI mistakes via proof and runs on GPUs https://news.ycombinator.com/item?id=49746163 https://news.ycombinator.com/item?id=49746163