Scott Aaronson - The Growth of the Busy Beaver Function (via searchlore.ai)