gwern comments on Jan Czechowski’s Shortform