3 ms·

Bend 2 Is Here

• tempaccount420 17d ago
  Announcement post https://x.com/VictorTaelin/status/2100681226143092875 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_ 17d ago
  Very cool! You should include in the readme the game Astra implemented from scratch in Bend 2. https://x.com/VictorTaelin/status/2098007807261892927 https://x.com/VictorTaelin/status/2098007807261892927
• plastic041 17d ago
  https://news.ycombinator.com/item?id=49746163 https://news.ycombinator.com/item?id=49746163 [133 comments] is same project with its landing page.
• deleted 17d ago
  [deleted]