User blog:Googology Noob/Turing Machines and new Busy Beaver bounds