新闻Bend – A language that blocks AI mistakes via proof, on CPU and GPU2026年9月18日1 分钟阅读来源：Hacker NewsHN score 179，comments 93