gg2
Bend language blocks AI mistakes via proof
The gist
Bend 2, a language that blocks AI mistakes via proof, drew 333 points on Hacker News.
Its author says laws only protect what you remember to write.
How it unfolded
- Sep 17, 2026GitHub repository bendlang/bend is listed with the description "Bend 2: a fast language that blocks AI mistakes via proof" and an install command.
- Sep 17, 2026A Hacker News post titled "Bend – A language that blocks AI mistakes via proof, on CPU and GPU" reaches 333 points with 168 comments, submitted by nicolas-siplis; a Reddit r/hackernews post carries the same title.
- Sep 17, 2026Author LightMachine asks HN staff to change the title to "Bend - a language that blocks AI mistakes via proof and runs on GPUs", says he worked on it for 1 year, nearly 16h/day, 7 days a week, and is giving it for free, and asks commenters to be civilized and point out failures politely.