Reductionism sequence now available in audio format — LessWrong