gwern comments on Yoav Ravid’s Shortform