Bend 2 发布：用证明拦截 AI 写码错误

Victor Taelin 团队发布 Bend 2，一门面向 AI 写码场景的编程语言。它通过 LAWS.bend 声明不可违反的规则，并在代码被修改后要求编译器给出数学证明，从而在提交前拦截 AI 引入的错误。 Bend 最适合在后端使用，支持 Linux 或 macOS；不支持 Windows（可用 WSL），在 Linux 上使用窗口和音频需要 X11 与 ALSA 头文件。编译二进制需要 clang 14+，使用 ! 需要 19+、Metal 或 CUDA 12+。JavaScript 目标仅单核运行，且没有图形和音频支持。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。