Astronomy, space exploration and the Great Filter — LessWrong