The Compendium, A full argument about extinction risk from AGI — LessWrong