编程语言 Bend 正式推出，定位为通过证明阻断 AI 编码错误的语言，宣称单核接近 C 速度、同一二进制可跑 16 核或 GPU 并达百倍加速。 🔗 阅读原文 via AIHOT · https://aihot.news/items/cmu62azlo04p1rofjnv2rp9uz
信息源：AI HOT · 全部动态
- 原文链接：Bend 编程语言发布：以 Lean 式证明阻断 AI 编码错误，并支持 C 级速度与 GPU 并行
- 分类：AI 产品
- 作者：Hacker News 热门（buzzing.cc 中文翻译）
- 发布时间：2026/09/18 05:40
评论0