热议 #HN Bend – a language that blocks AI mistakes via proof and runs on GPUs · 📡 Hacker News · 📅 2026-09-18 04:36 Hacker News · 615 分 · 326 评论 原文链接 Hacker News 讨论:615 分 · 326 条评论 提交者:nicolas-siplis 🔗 查看原文 →