Holy Books (Or Rationalist Sequences) Don’t Implement Themselves — LessWrong