On benchmarking: "measuring performance is hard" (2017) | Dark Hacker News