Get the latest tech news
BB(10) > Graham's Number
Busy beaver work: an 8-state machine running the BB(7) champion's program with 36 digits (sigma = 12*(2^^37 3)+59, machine-checked in busycoq), analysis in Ligocki's notation - jeff87654/bu...
None
Or read this on Hacker News
