gwern comments on The Noddy problem