gwern comments on nostalgebraist’s Shortform