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