Progress links and tweets, 2023-05-23 — LessWrong