gwern comments on Empirical Sleep Time