Hidden philosophical progress — LessWrong