gwern comments on Adam Scherlis’s Shortform