4 ms·

And that's why runners don't track their race times.

• sam_lowry_ 2y ago
  Not all runners are competitive runners. I tack my time as a measure of progress among many other measurements, but my objective is to feel better and live a saner life. Metrics are harder on software engineers, the good ones delete code, the best ones make sure useless code never gets written in the first place. How do you measure that?
  • adchurch 2y ago
    > Metrics are harder on software engineers This is exactly the problem we're hoping to solve :') > the good ones delete code Our algorithm gives lots of credit for deleting old code! > the best ones make sure useless code never gets written in the first place This we don't really capture yet - but our hope is to continue along and give insights into this vital work as well down the line.
• ryandvm 2y ago
  If the metric is COINCIDENT with the goal, then it's not a problem. You can't get better at winning races without improving your race time (well... you can degrade everyone else's times I suppose). But if the metric is a PROXY for the goal, then the metric becomes the objective (not the actual goal). In this case, whatever this AI is measuring is going to be exactly what every dev drops into their Github Copilot prompt instructions.
  • dragonwriter 2y ago
    Making a metric an objective is an effective if often very costly way of testing the hypothesis that it is coincident rather than a proxy (which in cases more complex than racing is frequently a matter of dispute.)