gwern comments on December Monthly Bragging Thread