Bend – A language that blocks AI mistakes via proof and runs on GPUs
25d
133
54
- Published
- Collected
Read the full article at news.ycombinator.com
overfeed.news indexes and links. We publish a short excerpt — the full article stays at Hacker News (AI).