⌘ K
… 读取采集状态 同步中...
雷
原文
X:Greg Brockman (@gdb)·· 26 天前AI 评分1

Bend 编程语言发布:以 Lean 式证明阻断 AI 编码错误,并支持 C 级速度与 GPU 并行

AI 导读

编程语言 Bend 正式推出,定位为通过证明阻断 AI 编码错误的语言,宣称单核接近 C 速度、同一二进制可跑 16 核或 GPU 并达百倍加速。

本文当前提供导读和图片预览,完整图文请查看原文。

来源:X:Greg Brockman (@gdb) · bend-lang.com