gwern comments on LW is to rationality as AIXI is to intelligence