[talks] Colloquium Speaker Scott Aaronson Today, 12:30pm