# Lauren Tan 看好 Bend：代码库可形式化验证自身，代码审查问题即被解决

- 来源：lauren (@poteto)
- 发布时间：2026-09-20 02:54
- AIHOT 分数：35
- AIHOT 链接：https://aihot.news/items/cmu8rl562048yro5kys5e96pe
- 原文链接：https://x.com/poteto/status/2101384547543978195

## AI 摘要

Lauren Tan 表示非常看好 Bend，认为当代码库能形式化验证自身时，代码审查问题即被解决，可以极快速度交付。VictorTaelin 称 Bend 能拒绝任何不正确输出，让 AI 智能体反复重试直到没有 bug，从而突破 AI 构建软件的复杂度上限，代价是消耗更多时间和 token。他还表示自己已不再使用其他语言，Bend 自举已在推进中。

## 正文

very bullish on Bend, this is exactly what ive been trying to do in other languages, but you can only get so far with weak type systems and lint rules.

when you have a codebase that can formally verify itself, you can ship at an incredible pace. code review is solved

### 引用推文

> Taelin：not on my most optimistic dreams I expected someone to "get it" as much as Giulio does and yes that's the point today models are already incredibly capable, and...