gwern comments on MikkW’s Shortform