Hacker news

  • Top
  • New
  • Past
  • Ask
  • Show
  • Jobs

Bend 2 Is Here (https://github.com)

18 points by tempaccount420 2 days ago | 3 comments | View on ycombinator

tempaccount420 2 days 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.

plastic041 2 days ago |

https://news.ycombinator.com/item?id=49746163 [133 comments] is same project with its landing page.

andy12_ 2 days ago |

Very cool! You should include in the readme the game Astra implemented from scratch in Bend 2.

https://x.com/VictorTaelin/status/2098007807261892927

undefined 2 days ago |

undefined