Scott Aaronson - Uncomputable Growth of Busy Beaver (via searchlore.ai)