[–] tempaccount420 17h ago ↗ Announcement post https://x.com/VictorTaelin/status/2100681226143092875> Bend 2 is here!> It is a new programming language that blocks AI mistakes via proof checking - the same technique big AI labs used to >solve open math problems, like Navier-Stokes.> It is also very fast, and runs on GPUs.
[–] andy12_ 17h ago ↗ Very cool! You should include in the readme the game Astra implemented from scratch in Bend 2.https://x.com/VictorTaelin/status/2098007807261892927
[–] plastic041 13h ago ↗ https://news.ycombinator.com/item?id=49746163 [133 comments] is same project with its landing page.
4 comments
[ 5.1 ms ] story [ 43.5 ms ] thread> Bend 2 is here!
> It is a new programming language that blocks AI mistakes via proof checking - the same technique big AI labs used to >solve open math problems, like Navier-Stokes.
> It is also very fast, and runs on GPUs.
https://x.com/VictorTaelin/status/2098007807261892927