gwern comments on Mosh