Bend: A fast language that blocks AI mistakes via proof

(github.com) by airhangerf15 | Oct 25, 2026 | 0 comments on HN