HackerNews AISeptember 17, 2026Bend – A language that blocks AI mistakes via proof, on CPU and GPURead original article →