1.安装
curl -fsSL https://bend-lang.com/install.sh | sh
2.把这段加到你的 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
3.尽情享用没有 bug、速度飞快的 vibe coding 应用吧！
Bend
一门快速的语言，通过证明来阻止 AI 犯错
C 的速度 · CUDA 的并行 · Lean 的证明 · Python 的语法
在后 AGI 经济中，人类最终将不再编写和阅读代码，但我们仍然需要一种没有歧义的方式，告诉围绕我们构建世界的 AI 我们想要完成什么。
有了定律，我们的意图可以比自然语言精确得多。有了证明，我们可以验证 AI 是否正确实现了我们的提示。再加上快速的编译器，让它全速运行。
这就是 Bend，仅此而已。
1.Bend 运行很快。
Bend 会编译为原生代码。在单核上，它的速度几乎与 C 相当。同一个二进制文件还可以在十六个核心或 GPU 上运行，速度最高可达单核的一百倍。
Apple M4 Max · 越低越好
2.Bend 编译很快。
Bend 的类型检查器就是证明检查器，就像 Lean 和 Rocq 那样。后两者在中等规模的代码库上可能要花上几分钟，而 Bend 最多只要一秒，因此 AI 智能体可以在每次修改后都进行检查。
Apple M4 Max · 越低越好
3.Bend 是并行的。
无需编写线程、锁或内核。把工作一分为二，Bend 就会把这些调用分散到它能找到的所有核心上，再把结果汇合起来。现在来看 pow2 在 4,096 个 GPU 核心上运行：
pow2.bend 在 GPU 上运行
4.Bend 通过证明来阻止错误
你怎么信任从未读过的代码？办法是要求给出证明。LAWS.bend 就是你声明定律的地方。从此以后，任何 AI 都无法提交哪怕一行违反这些定律的代码，永远如此。来看它如何守护一个游戏：
定律：不可能获胜
到目前为止，一切正常！
新功能：
“Claude，让棋盘首尾相连”
没有 LAWS.bend：
定律被破坏。AI 的错误：已合并。
有 LAWS.bend：
定律完好。AI 的错误：被阻止！
没有 LAWS.bend，这个 bug 就上线了。有了 LAWS.bend，AI 只能不断重试，直到它筑起一道墙并证明定律成立。合并一个 bug 在数学上是不可能的：这是一条定理。
LAWS.bend
# 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。“不要犯错”如今可以被类型检查了。
5.开始使用。
5.1.安装
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”！
5.3.尽情享用没有 bug、速度飞快的 vibe coding 应用吧！
提示：让它为任何绝不能出错的地方编写定律，并把所有你希望跑得快的部分都并行化。Bend 还很年轻：如果出了任何问题，让它去提交一个 issue。Bend 在后端、Linux 和 macOS 上效果最佳。祝你使用愉快！<3
6.参考资料。
指南：GUIDE.md 涵盖了整门语言；bend guide 会将其打印出来。论文：BendTT，一种仿射依赖类型论，是 Bend 的核心。论文：BendRT，面向 CPU 和 GPU 的并行运行时，即其虚拟机。
Bend 仍在不断演进。可能会有 bug，请报告它们。