Post #233859 1.36K Oct 13, 2026, 15:07 UTC BB(10) > Graham's NumberArticle, Comments GitHub busy-beaver/BB10/1RB0RA_1LC1LF_1RD0LB_1RA1LE_1LI0LC_0RG1LD_1RH1LG_1LC0RG_0LJ0LI_1RZ0LC.md at main · jeff87654/busy-beaver 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 - jeff... 🔥 5 🌭 1