What I've been reading, June 2023 — LessWrong