gwern comments on bilalchughtai’s Shortform