2026/05/19 最强的 verifier

号称在多少天内实现某种编译器、并让测试用例全部通过；用这种方式做出来的程序也可能存在作弊。凡是试图用某种固定规则去评判多维度的事物，似乎都不可能完美，总会留下作弊空间。这道天花板真的无法突破吗？看来单元测试也未必靠谱，它也只是提升开发效率的小技巧之一。最终的“测试程序”仍然是人本身。