顺手一证：最锋利的证明从不刻意追求

你有没有过这种体验——本来只是想跑个测试、调个bug，结果顺手就把一个结论"证"了？Eric Daimler 这篇短文聊的就是这种"路边证"（drive-by proving）：在编程和形式验证的日常里，证明很少是郑重其事的仪式，它更多是干活时的副产品。我有个判断：越是顺手、不刻意安排的验证，越容易击中要害。刻意追求严谨往往在细节里绕圈子，而驱动式测试、随手跑的一两行代码，常能三秒钟揭穿你想了一周的假设。好的工程师和好的数学家都有一种共同本事——他们不"做"证明，他们只是做事，证明自己就冒出来了。

原文：Drive-By Proving · 来源：Hacker News