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