gwern comments on Ivan Vendrov’s Shortform