gwern comments on anaguma’s Shortform