← NewsHacker News2w agoBend – A language that blocks AI mistakes via proof, on CPU and GPU▲ 371💬 187 commentsnicolas-siplisView original ↗HN discussion ↗BookmarkCopy link