Separation from hyperexistential risk - History — LessWrong