Where did the idea of x-risk come from? — LessWrong