gwern comments on Group rationality diary, 6/​11/​12