gwern comments on nikola’s Shortform