gwern comments on Open thread, August 12-18, 2013

[gwern]

Don’t worry, he didn’t chose TBotNS’s version of dust specks.