开发者转向:对抗式代码审查浪费 token,不如实证+形式化验证

sloppenheimer · x · 2026-11-03

开发者 poteto(被 sloppenheimer 转发)提出一个热点观点:对抗式审查(adversarial reviews)大多是浪费 token,更好的做法是把 token 花在实证测试结合形式化验证上。他已经更新自己的 pstack 项目,减少使用 interrogate skill,未来甚至可能完全移除。

他还发现抽象层面的代码审查价值很低——agent 往往陷入琐碎的 nitpick 和 YAGNI 式争论里。这代表了 AI 编码工作流从「让模型互相挑刺」转向「用可验证手段兜底」的趋势。