lauren· @poteto · X·· 2026-09-20AI 评分35
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
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 they're smart enough to build infinitely complex software, but mistakes accumulate, and it reaches a level of tech debt where progress stalls. if there only was some magic way to tell the agent "hey, this is wrong, try again" until no bugs are left, then, there would be no limits to the complexity of software that AI can build that's what Bend does!! sure, it takes more time (and tokens) to solve the same problem, but that's exactly because writing correct code takes time! Bend refuses any incorrect output, and that's what you WANT to happen. merging bugs give you an illusion of progress, but it bites later I for one am not using any other language anymore. if Bend is an absolute failure, at least it is the language I'll be using for my own projects moving forward (and Bend in Bend is already in progress)在 X 查看被引用的帖子
来源:lauren · x.com