bendlang/bend
Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh
18 best points · 3 comments · 2 Hacker News posts · 24,759 GitHub stars · View on GitHub
Hacker News discussions
- Bend 2 Is Here (18 points, 3 comments, by tempaccount420, 2026-09-17)
- Bend: A fast language that blocks AI mistakes via proof (1 points, 0 comments, by airhangerf15, 2026-10-25)