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