gwern comments on Taking Ideas Seriously