gwern comments on The Level Above Mine