gwern comments on lsusr’s Shortform