jpl68 comments on Recent updates to gwern.net (2013-2014)