gwern comments on What are you working on? August 2012