MIRI's July 2024 newsletter — LessWrong