Bend是一种快速语言，通过证明阻止AI错误，可在CPU和GPU上运行。使用 `curl -fs SL https://bend-lang.com/install.sh | sh` 安装。添加到AGENTS.md：运行 `bend guide`，使用 `LAWS.bend`，在提交前运行 `bend PROOF.bend`，并行化。

Bend编译为原生代码，在单核上几乎与C一样快，在GPU上最高可快100倍。它的类型检查器就是证明检查器，最多只需一秒。它自动并行化，无需线程或锁。

LAWS.bend声明法则，任何AI都无法交付违反这些法则的代码。看它守护一个游戏：没有LAWS.bend时，一个bug上线了；有了LAWS.bend，AI不断重试，直到证明法则成立。合并bug在数学上是不可能的。

Bend还很年轻；预计会有bug。在后端、Linux和macOS上效果最佳。享受无bug、快速的氛围编程应用吧！

关键实体：公司：Bend | 地点：Linux、macOS

FAQ：什么是Bend？

Bend是一种快速语言，通过证明阻止AI错误，可在CPU和GPU上运行。

FAQ Q：什么是Bend？

FAQ A：Bend是一种快速语言，通过证明阻止AI错误，可在CPU和GPU上运行。