Progress links and tweets, 2023-06-14 — LessWrong