Bend 编译为原生代码。在单核上，它的运行速度几乎与 C 相当。同一份二进制文件还可以在十六个核心上运行，或在 GPU 上运行，速度比单核快至多一百倍。

Bend 的类型检查器是一个证明检查器，正如 Lean 和 Rocq 那样。这些工具在中等规模的代码库上可能需要几分钟，而 Bend 最多只需一秒，因此 AI 代理可以在每次修改之后进行检查。

无需线程，无需锁，无需编写内核。把工作一分为二，Bend 就会把调用分散到它能找到的每一个核心上，然后再将它们汇合起来。现在，看看 pow2 在 4,096 个 GPU 核心上运行：

你如何信任自己从未读过的代码？通过要求证明。 LAWS.bend 是你声明法则的地方。从那一刻起，任何 AI 都无法交付哪怕一行违反法则的代码。看看它如何守护一款游戏：

没有 LAWS.bend 时，bug 直接上线了。有了 LAWS.bend，AI 必须不断重试，直到它筑起一道墙并证明法则成立。合并一个 bug 在数学上是不可能的：它是一个定理。

# LAW: no move sequence leads to victory. law you_cant_win: for moves: List<Move> # any sequence of moves board = replay(start(), moves) # replayed from the start is_won(board) == False{} # never leads to victory PROOF.bend

`# PROOF: you_cant_win holds. def Laws.you_cant_win(moves):

… written by the AI`

LAWS.bend 就是由证明背书的 AGENTS.md。 “不犯错误”如今是可以被类型检查的。

curl -fsSL https://bend-lang.com/install.sh | sh

5.2. 告诉你的代理使用 Bend

将以下内容添加到你的 AGENTS.md：

`When using Bend:

• run bend guide to learn it
• use LAWS.bend to keep important rules
• run bend PROOF.bend before committing
• parallelize the code whenever possible`

然后，只需说一句：“use Bend”！