Austin, TX Petrov Day and Potluck 2025 — LessWrong