Is there a hard copy of the sequences available anywhere? — LessWrong