| ▲ | Bend 2 Is Here(github.com) | |
| 17 points by tempaccount420 2 days ago | 4 comments | ||
| ▲ | tempaccount420 2 days ago | parent | next [-] | |
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. | ||
| ▲ | plastic041 2 days ago | parent | prev | next [-] | |
https://news.ycombinator.com/item?id=49746163 [133 comments] is same project with its landing page. | ||
| ▲ | andy12_ 2 days ago | parent | prev | next [-] | |
Very cool! You should include in the readme the game Astra implemented from scratch in Bend 2. | ||
| ▲ | a day ago | parent | prev [-] | |
| [deleted] | ||