What Metric to Use When Benchmarking? | Dark Hacker News