Lighthaven Sequences Reading Group #4 (Tuesday 10/01) — LessWrong