August gwern.net links

Link post