Gwern’s google plus: https://plus.google.com/103530621949492999968/posts
RSS: http://gplus-to-rss6.appspot.com/rss/103530621949492999968
Gwern’s google plus: https://plus.google.com/103530621949492999968/posts
RSS: http://gplus-to-rss6.appspot.com/rss/103530621949492999968