gwern comments on christian.r’s Quick takes