Gwern_Branwen comments on In Praise of Boredom