Austin, TX Petrov Day and Potluck 2024 — LessWrong