Regular Meeting - June 1st, 2025 — LessWrong