Hacker News · AI 讨论· airhangerf15·· 21 天前AI 评分58
Bend 语言发布：用 LAWS.bend 强制 AI 写代码时提交正确性证明
Bend: A fast language that blocks AI mistakes via proof
AI 导读
Victor Taelin 团队发布 Bend 2，一门面向 AI 写代码场景的语言，通过 LAWS.bend 声明应用不可违反的规则，编译器要求每次改代码都给出数学证明，否则拒绝合并。
来源：Hacker News · AI 讨论 · github.com