Better Rationality Through Lucid Dreaming — LessWrong