3 ms·
I fail to see the logic in your comment. Just another case of Goodhart's law.
by papichulo2023 2y ago
I fail to see the logic in your comment. Just another case of Goodhart's law.
- deleted 2y ago[deleted]
- achierius 2y agoThis isn't really a metric though. It's a formal existence proof that the bug exists. The key difference IMO is that you have to create a test which A) looks (to the maintainer) like it should pass, while simultaneously B) not passing. It's much harder to game. There are other cases where Goodharts Law fails as well: consider quant firms, where the "metric" used to judge a trader is basically how much money you pull in. Seems to be working fine for them
- dartos 2y agoIf you can’t describe your bug in a test, then you probably can’t describe it sufficiently in English either. Seems to make sense