未来是验证工程

摘要

Vercel CEO Guillermo Rauch 认为，未来的软件开发重心是验证工程。验证手段包括形式化证明、端到端测试、基准测试和 linter。其中一部分测试是确定性的，另一部分将由 agent 自动执行。他转发了相关讨论，表示这一趋势令人期待。