为什么软件设计要明确你不需要哪些需求——以及 LLM 编程智能体为何总在补需求

软件设计的关键在于识别可以放弃的需求：Unicorn 不支持共享可变状态、S3 不支持多键原子更新、StatsD 默认用 UDP 不保证数据不丢，都因此换来隔离、速度与低开销。作者指出，LLM 编程智能体经 RLVR 训练后过度追求满足评测，常自行引入互斥锁、并发检查和边界情况处理，把四行改动膨胀成千行代码，因此代码审查并未过时。