gwern comments on notrishi’s Shortform