gwern comments on Measuring hardware overhang