gwern comments on Intellectual insularity and productivity