gwern comments on Leon Lang’s Shortform