MATS Summer 2023 Retrospective — LessWrong