Adam Zerner comments on Less Wrong Study Hall—Year 1 Retrospective