gwern comments on On Having Enough Socks