User contributions for Polygon

3 October 2025

• 13:3113:31, 3 October 2025 diff hist +741 User:Polygon/Page for testing →1RB1RD1LC_2LB1RB1LC_1RZ1LA1LD_0RB2RA2RD: Added step counts and two more rules
• 13:1913:19, 3 October 2025 diff hist +175 User:Polygon/Page for testing →{{TM|1RB1RD1LC_2LB1RB1LC_1RZ1LA1LD_2RB2RA2RD|halt}}: Added step counts
• 10:4710:47, 3 October 2025 diff hist +494 User:Polygon/Page for testing →1RB1RD1LC_2LB1RB1LC_1RZ1LA1LD_0RB2RA2RD: Added two more rules
• 09:5409:54, 3 October 2025 diff hist +30 User:Polygon/Page for testing →1RB1RD1LC_2LB1RB1LC_1RZ1LA1LD_0RB2RA2RD: added a small rule

2 October 2025

• 21:2121:21, 2 October 2025 diff hist +4 m User:Polygon/Page for testing →1RB1RD1LC_2LB1RB1LC_1RZ1LA1LD_0RB2RA2RD: Missing ^1
• 21:1921:19, 2 October 2025 diff hist +706 User:Polygon/Page for testing Began adding rules for another TM
• 17:4717:47, 2 October 2025 diff hist +1 Holdouts lists Updated number of BB(7) holdouts and removed BB(4,3) holdout number which was affected by bugs
• 17:4417:44, 2 October 2025 diff hist +4 User:Polygon/Page for testing Undo revision 4160 by Polygon (talk) uncommented the starting configuration again Tag: Undo

1 October 2025

• 20:1720:17, 1 October 2025 diff hist −4 User:Polygon/Page for testing Commenting out the starting position for now

30 September 2025

• 19:3319:33, 30 September 2025 diff hist +122 User:Polygon/Page for testing →{{TM|1RB1RD1LC_2LB1RB1LC_1RZ1LA1LD_2RB2RA2RD|halt}}: Added transition table
• 19:2019:20, 30 September 2025 diff hist +3 m User:Polygon/Page for testing Structure
• 18:0918:09, 30 September 2025 diff hist +101 User:Polygon/Page for testing Gave approximation for score
• 17:4917:49, 30 September 2025 diff hist +559 User:Polygon/Page for testing Completed rules
• 17:3517:35, 30 September 2025 diff hist +297 User:Polygon/Page for testing Expansion
• 17:1217:12, 30 September 2025 diff hist +284 User:Polygon/Page for testing Added more rules
• 17:0117:01, 30 September 2025 diff hist +1,266 User:Polygon/Page for testing Added path to rule 11
• 16:3716:37, 30 September 2025 diff hist +308 User:Polygon/Page for testing Added path to another rule
• 16:2716:27, 30 September 2025 diff hist +636 User:Polygon/Page for testing Added construction of one of the rules
• 16:0916:09, 30 September 2025 diff hist +262 User:Polygon/Page for testing Expanded rules
• 16:0016:00, 30 September 2025 diff hist +434 User:Polygon/Page for testing Added some rules for a TM
• 14:2814:28, 30 September 2025 diff hist +3 m 1RB3RB5RA1LB5LA2LB 2LA2RA4RB1RZ3LB2LA →Analysis by Shawn Ligocki: Fixed missing state

29 September 2025

• 21:2021:20, 29 September 2025 diff hist 0 Holdouts lists Updated BB(7) holdout count
• 18:0318:03, 29 September 2025 diff hist −12 m User:Polygon/Collection of BB Champions →Oracle Busy Beaver for Lambda Calculus (BBλ1(n)): missed one
• 17:4317:43, 29 September 2025 diff hist −1,587 m User:Polygon/Collection of BB Champions Formatting
• 17:2117:21, 29 September 2025 diff hist −289 User:Polygon/Collection of BB Champions →Original Busy Beaver Functions: Removed math tags where they are unnecessary (prevent lag on the page)
• 17:1617:16, 29 September 2025 diff hist −223 User:Polygon/Collection of BB Champions →Shifts Function (LB(n,m)): Formatting test
• 17:0217:02, 29 September 2025 diff hist +18 m BB(4,3) Spacing

28 September 2025

• 14:2614:26, 28 September 2025 diff hist +9 m 1RB1LA 1LC0RC 1LD1RC 1RB1LE 0LF0LA ---0RB Spacing
• 14:1214:12, 28 September 2025 diff hist +316 1RB1LE 1LC0RA 0RF0LD 1LE1LA 1RC0LB ---1RC Added step counts for the rules
• 13:4913:49, 28 September 2025 diff hist 0 Holdouts lists Updated BB(2,5) holdout count (removed rocq-proven TMs)
• 12:4612:46, 28 September 2025 diff hist +20 1RB1LA 1LC0RC 1LD1RC 1RB1LE 0LF0LA ---0RB Steps for starting configuration
• 12:4512:45, 28 September 2025 diff hist +128 1RB1LA 1LC0RC 1LD1RC 1RB1LE 0LF0LA ---0RB Added step counts for rules
• 10:2710:27, 28 September 2025 diff hist −17 BB(2,6) →Top Halters: Removed Template:Incomplete List
• 10:1310:13, 28 September 2025 diff hist +65 N 1RB1LE 0LC0LB 0LD1LC 1RD1RA 1RC0LA Redirected page to Mother of Giants#1RB1LE_0LC0LB_0LD1LC_1RD1RA_1RC0LA current Tag: New redirect
• 10:1110:11, 28 September 2025 diff hist +65 N 1RB1LE 0LC0LB 0LD1LC 1RD1RA 0RD0LA Redirected page to Mother of Giants#1RB1LE_0LC0LB_0LD1LC_1RD1RA_0RD0LA current Tag: New redirect
• 10:0510:05, 28 September 2025 diff hist +19 1RB0RA 1LC1LF 1RD0LB 1RA1LE 1RZ0LC 1RG1LD 0RG0RF Added Category:BB(7)
• 10:0410:04, 28 September 2025 diff hist +19 1RB--- 0LC1RE 0LD1LC 1LE0RG 1RF0RC 1RC1RA 1RD0RB Added Category:BB(7) current
• 10:0410:04, 28 September 2025 diff hist +19 1RB1RA 1RC0LC 0LD1LG 1LF0LE 1RZ1LF 0LA1LD 1RA1LC Added Category:BB(7)
• 10:0310:03, 28 September 2025 diff hist +19 1RB1RF 0RC0RD 1LC1LD 1LE0RB 0RA1LG 1LC1RA ---0RF Added Category:BB(7)
• 10:0310:03, 28 September 2025 diff hist +19 1RB1RZ 0RC0RE 1LD1LA 1LC0LG 0RF1LF 0RD1LF 1LB0LE Added Category:BB(7)
• 10:0210:02, 28 September 2025 diff hist +18 BB(7) Added Category:BB(7)
• 10:0110:01, 28 September 2025 diff hist +64 N Category:BB(7) Created a category for BB(7) current
• 10:0010:00, 28 September 2025 diff hist +17 Mother of Giants Added Category:BB(5)
• 09:4909:49, 28 September 2025 diff hist +20 BB(2,6) →Top Halters: Added Template:incomplete list
• 09:3009:30, 28 September 2025 diff hist −1 m BB(2,6) →Top Halters: Removed double space
• 09:2809:28, 28 September 2025 diff hist +268 BB(2,6) Noted Knuth's up-arrow notation
• 09:2309:23, 28 September 2025 diff hist +13 m BB(7) Added a references section and fixed a typo in the reference
• 09:2009:20, 28 September 2025 diff hist +254 BB(7) →Top Halters: Noted Knuth's up-arrow notation
• 09:1509:15, 28 September 2025 diff hist +103 Champions Added link to Wikipedia page of Knuth's up-arrow notation
• 08:5208:52, 28 September 2025 diff hist +5 1RB0RE 0RC--- 1LD1LE 1LE1LD 1RF0LC 1RA1RF Added halt to bbch-link of halting TM