gwern comments on What are you working on? February 2013