October gwern.net links

by gwern 1y1st Nov 20188 comments

31