Hacker News AI· airhangerf15·· 3 小时前AI 评分54
Bend 语言发布：通过形式化证明阻止 AI 编码错误
Bend: A fast language that blocks AI mistakes via proof
AI 导读
Bend 是一款并行编程语言，通过强制 AI 生成代码附带正确性证明来防止错误，其编译器在验证数学证明方面性能显著优于传统工具，目前支持 C、CUDA、Metal 和 JavaScript 后端。
来源：Hacker News AI · github.com