Scott Aaronson - Exploring Set Theory and Busy Beaver (via searchlore.ai)