Musk, Mars and x-risk — LessWrong