https://shibo-chen.github.io/zh/tags/verification/Recent content in Verification on 陈士博Hugozh-HansMon, 24 Aug 2026 00:00:00 +0000https://shibo-chen.github.io/zh/blog/verification-love-language/Mon, 24 Aug 2026 00:00:00 +0000https://shibo-chen.github.io/zh/blog/verification-love-language/两年前我拒绝了做验证，现在它成了我讨论最多的话题。AI 可以做 design space exploration，但前提是有人划出那个圈——而验证，是架构师把设计意图说清楚的唯一可执行方式。