avturchin comments on gwern’s Shortform