Progress links and short notes, 2025-01-13 — LessWrong