# Bend programming language 36 Hacker News commenters recommended Bend programming language and 38 criticized it, November 2025 to November 2026. It was recommended in 5 of 13 months. **Verdict:** Recommended as a language built for proofs and GPUs, where AI-written code gets checked by formal laws; critics say proof checking can't confirm the laws match intent. ## Why people recommend it - Proofs suit AI-written code (3 comments): "I argue this is the right tradeoff, because AI write proofs, and AI time is cheap, while bugs take human time, which is expensive." ([source](https://news.ycombinator.com/item?id=49746874)) "I like the idea of a language intended from the start to be proved and it seems very compelling given coding agents." ([source](https://news.ycombinator.com/item?id=49747009)) "Since AI is going to be here anyway, why not make it safer and more useful?" ([source](https://news.ycombinator.com/item?id=49748536)) - Fast checking and GPU execution (3 comments): "Having a checker that is just fast by construction, regardless of caching, was a top design priority" ([source](https://news.ycombinator.com/item?id=49754441)) "Seems like a big limitations. But I guess that's what lets it run without GC, on GPUs, etc." ([source](https://news.ycombinator.com/item?id=49751787)) "Programs that can be easily expressed in Bend will benefit greatly from HVM." ([source](https://news.ycombinator.com/item?id=47903008)) - Interesting design and syntax (4 comments): "Pivots are cool but why reuse the name and cause confusion?" ([source](https://news.ycombinator.com/item?id=49751739)) "Glad to see a new release of Bend, fascinating cutting-edge stuff." ([source](https://news.ycombinator.com/item?id=49749640)) "From what I can tell it looks nice. I like the syntax." ([source](https://news.ycombinator.com/item?id=49747084)) - Recent releases keep coming (3 comments): "Glad to see a new release of Bend, fascinating cutting-edge stuff." ([source](https://news.ycombinator.com/item?id=49749640)) "A complete implementation have been released" ([source](https://news.ycombinator.com/item?id=49748896)) "Cool to see Bend 2.0 release!" ([source](https://news.ycombinator.com/item?id=49746461)) ## What people warn about - Proofs may miss intended behavior (3 comments): "it's obvious that the translation from business requirement to proof target still requires coding and can contain bugs" ([source](https://news.ycombinator.com/item?id=49754838)) "Bend would make Dijkstra happy even when proof checking can't verify if the laws are what was actually meant." ([source](https://news.ycombinator.com/item?id=49748609)) "I'm not sure what its proving other than there will be cases that proofs can't help you with." ([source](https://news.ycombinator.com/item?id=49749520)) - Overstated claims and marketing (3 comments): "it editorializes and oversells. It presents the claims of the work as an all encompassing solution" ([source](https://news.ycombinator.com/item?id=49748122)) "there's no such thing as a computer programming method or discipline that "blocks AI mistakes via proof."" ([source](https://news.ycombinator.com/item?id=49752523)) "The whole thing smells like somebody trying to pull an LLM-fueled Sokal Hoax on the programming world." ([source](https://news.ycombinator.com/item?id=49754909)) - Vibe-coded, AI-generated code concerns (3 comments): "it is not a pretty file and it has a lot of gambiarra and AI slop for now" ([source](https://news.ycombinator.com/item?id=49746724)) "This is a vibecoded project, not a resource for learning modeling for formal verification." ([source](https://news.ycombinator.com/item?id=50315787)) "bend is just one example of people having ai build things for them they don't understand" ([source](https://news.ycombinator.com/item?id=49756726)) - Trust issues with repo history (3 comments): "has no auditable history, reproducible builds, artifacts/releases, force pushes and breaks literally EVERY fork/PR" ([source](https://news.ycombinator.com/item?id=49750031)) "That's a destruction of trust, which is kinda important if you want people to build on your language." ([source](https://news.ycombinator.com/item?id=49747118)) "They just recycled the Bend1 repo for Bend2 even though it's a completely different language." ([source](https://news.ycombinator.com/item?id=49754081)) ## Alternatives hackers recommend - [Rust](https://hackerapproved.com/p/rust.md): 2039 recommend - [Go](https://hackerapproved.com/p/go-programming-language.md): 1254 recommend - [Python](https://hackerapproved.com/p/python.md): 1067 recommend - [Zig](https://hackerapproved.com/p/zig.md): 743 recommend - [TypeScript](https://hackerapproved.com/p/typescript.md): 574 recommend ## Cite as Hacker Approved, "Bend programming language", https://hackerapproved.com/p/bend-programming-language/ (counts from 1,795,640 Hacker News comments, November 2025 to November 2026).