Hard Takeoff — LessWrong