LW is to rationality as AIXI is to intelligence — LessWrong