gwern comments on Creating The Simple Math of Everything