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