The Claude C Compiler illustrates the other side: it optimizes for passing tests, not for correctness. It hard-codes values to satisfy the test suite. It will not generalize. Property-based testing would likely catch this particular case, but the general problem remains: for any fixed testing strategy, a sufficiently adversarial system can overfit to it. A proof cannot be gamed. It covers all inputs by construction.
Category: package management, declarative configuration
。谷歌浏览器下载对此有专业解读
As Friedmann stuffed coins into the duffelbag, he asked Gambill where he hid cash. Gambill said that the only cash was in the register.
Continue reading...