Bend – A language that blocks AI mistakes via proof, on CPU and GPU

hackernews 2026-09-18 원문 보기 ↗