Monthly Roundup #8: July 2023 — LessWrong