gwern comments on Timeline of Carl Shulman publications