Bend 2 Is Here
tempaccount420
13 points
3 comments
September 17, 2026
Related Discussions
Found 5 related stories in 208.4ms across 7,105 title embeddings via pgvector HNSW
- Bend 2 and the Vibe-Coding Trap LiamPowell · 317 pts · September 18, 2026 · 62% similar
- Bend – A language that blocks AI mistakes via proof, on CPU and GPU nicolas-siplis · 393 pts · September 17, 2026 · 61% similar
- Claude Code uses Bun written in Rust now tosh · 460 pts · July 19, 2026 · 46% similar
- Bun 1.4 meetpateltech · 239 pts · August 20, 2026 · 44% similar
- Bun 1.4 Rust rewrite is not looking good? tipiirai · 136 pts · August 19, 2026 · 42% similar
Discussion Highlights (3 comments)
tempaccount420
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_
Very cool! You should include in the readme the game Astra implemented from scratch in Bend 2. https://x.com/VictorTaelin/status/2098007807261892927
plastic041
https://news.ycombinator.com/item?id=49746163 [133 comments] is same project with its landing page.