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