我们都不擅长写软件：为什么我信任 LLM 写代码

一位开发者认为人类（包括自己）写软件本就极差，因此愿意信任 LLM 生成代码。他指出语法高亮、linter、类型检查、测试乃至 Rust 和 Haskell 的约束，都是为弥补人的失误而建的"巴别塔"，读 2000 行代码就几乎必然漏掉问题。他的乐观并非来自相信 LLM，而是认为 LLM 和人类一样会产出垃圾，也能在被正确引导和约束时写出好代码，且还在持续变好。