User contributions for Polygon
Jump to navigation
Jump to search
14 January 2026
- 17:1117:11, 14 January 2026 diff hist 0 Holdouts lists updated BB(7) holdout count current
11 January 2026
- 13:0113:01, 11 January 2026 diff hist +77 User:Polygon Added site by Azerty current
- 12:5812:58, 11 January 2026 diff hist +46 Main Page →This Month in Beaver Research (TMBR): added TMBR: January 2026 current
- 12:5212:52, 11 January 2026 diff hist +16 User:Polygon/Collection of BB Champions →Regular Busy Beaver for Lambda Calculus (BBλ(n)): updated lower bound for BBλ(91) current
- 12:5012:50, 11 January 2026 diff hist +174 TMBR: January 2026 →Champions: added new lower bound for BBλ(91) champion
- 12:4712:47, 11 January 2026 diff hist 0 m TMBR: December 2025 →Champions: 92 --> 91 current
9 January 2026
- 22:5522:55, 9 January 2026 diff hist +228 TMBR: January 2026 →Champions: added TT(4) and TT(2,4)
- 22:4422:44, 9 January 2026 diff hist +206 TMBR: January 2026 Added champions section with BLB(3,3)
- 22:3722:37, 9 January 2026 diff hist +73 User:Polygon/Collection of BB Champions →Instruction-Limited Blanking Busy Beaver (BLBi(n)): Added BLBi(9)
- 22:3722:37, 9 January 2026 diff hist +14 User:Polygon/Collection of BB Champions →Blanking Busy Beaver (BLB(n,m)): updated BLB(3,3)
- 22:3522:35, 9 January 2026 diff hist +87 Blanking Busy Beaver Function Updated BLB(3,3) and added BLBi(9) current
- 22:3022:30, 9 January 2026 diff hist +17 User:Polygon/Collection of BB Champions →Terminating Turmites (TT(n,k), 1D Turmites): updated TT(4) and TT(2,4) champions
- 22:2822:28, 9 January 2026 diff hist +17 Terminating Turmite →Values: updated TT(4) and TT(2,4) champions current
- 22:2022:20, 9 January 2026 diff hist −624 User:Polygon/Collection of BB Champions →Busy Beaver for De Bruijn Lambda Calculus: updated champions
- 22:1522:15, 9 January 2026 diff hist +47 User:Polygon/Collection of BB Champions →Instruction-Limited Blanking Busy Beaver (BLBi(n)): Added BLBi(7) champion
- 22:1422:14, 9 January 2026 diff hist −4 User:Polygon/Collection of BB Champions →Blanking Busy Beaver (BLB(n,m)): exact value
2 January 2026
- 19:5719:57, 2 January 2026 diff hist −48 1RB1LE 1LB1LC 1RD0LE ---0RB 1RF1LA 0RA0RD →Analysis by Polygon: consistent variables current
1 January 2026
- 11:1811:18, 1 January 2026 diff hist +6 TMBR: December 2025 updated BB(3,4)
- 11:1411:14, 1 January 2026 diff hist 0 m User:Polygon/Collection of BB Champions →Regular Busy Beaver for Lambda Calculus (BBλ(n)): 92 --> 91
- 10:5910:59, 1 January 2026 diff hist 0 Holdouts lists updated BB(3,4) holdout count
31 December 2025
- 11:5911:59, 31 December 2025 diff hist −2 m 1RB1LE 1LB1LC 1RD0LE ---0RB 1RF1LA 0RA0RD →Analysis by Polygon: fixed some conditions
- 11:5611:56, 31 December 2025 diff hist 0 m User:Polygon/Page for analyses →Functions: fixed some conditions current
- 11:3211:32, 31 December 2025 diff hist +155 1RB0LE 1LC1LB 0RD0LC 1RA0RE 1RF1RD 0LA--- added categories and short introduction
- 11:2911:29, 31 December 2025 diff hist +281 TMBR: December 2025 added new BLB(3,3) champion
- 11:2611:26, 31 December 2025 diff hist 0 User:Polygon/Collection of BB Champions →Blanking Busy Beaver (BLB(n,m)): updated BLB(3,3) champion
- 11:1311:13, 31 December 2025 diff hist 0 User:Polygon/Page for analyses →Functions: fixed an error in the step count of rule a4
- 11:1111:11, 31 December 2025 diff hist 0 1RB1LE 1LB1LC 1RD0LE ---0RB 1RF1LA 0RA0RD →Analysis by Polygon: Fixed an error in the step count for rule a4
30 December 2025
- 18:2018:20, 30 December 2025 diff hist 0 m User:Polygon/Page for analyses →Functions: b = 5
- 18:1218:12, 30 December 2025 diff hist −4 User:Polygon/Page for analyses →Functions: used new accelerated rule
- 18:0918:09, 30 December 2025 diff hist +457 User:Polygon/Page for analyses →Functions: added step counts and new accelerated rule
- 17:5717:57, 30 December 2025 diff hist +141 1RB1LE 1LB1LC 1RD0LE ---0RB 1RF1LA 0RA0RD →Analysis by Polygon: added new accelerated rule
- 12:4512:45, 30 December 2025 diff hist +1 m TMBR: December 2025 →Holdouts: grammar
- 12:4012:40, 30 December 2025 diff hist +261 TMBR: December 2025 →Holdouts: added table of reductions
- 11:1511:15, 30 December 2025 diff hist 0 Holdouts lists updated BB(6) holdout count
- 11:1511:15, 30 December 2025 diff hist +945 TMBR: December 2025 filled Terminating Turmite TODO
- 10:5410:54, 30 December 2025 diff hist +243 User:Polygon/Collection of BB Champions →Regular Busy Beaver for Lambda Calculus (BBλ(n)): added new BBλ champions
- 10:5210:52, 30 December 2025 diff hist +473 TMBR: December 2025 added new BBλ champions
29 December 2025
- 15:3715:37, 29 December 2025 diff hist +117 1RB1LE 1LB1LC 1RD0LE ---0RB 1RF1LA 0RA0RD named regular rules
- 11:3511:35, 29 December 2025 diff hist +145 TMBR: December 2025 made BLB(3,3) section consistent with BB(7)
- 11:3211:32, 29 December 2025 diff hist 0 User:Polygon/Collection of BB Champions →Blanking Busy Beaver (BLB(n,m)): updated BLB(3,3) champion
- 11:3111:31, 29 December 2025 diff hist 0 TMBR: December 2025 New BLB(3,3) champion
- 11:2911:29, 29 December 2025 diff hist 0 Blanking Busy Beaver Function →Champions: updated BLB(3,3)
- 11:1411:14, 29 December 2025 diff hist +341 TMBR: December 2025 added BBP(3,3)
- 11:0811:08, 29 December 2025 diff hist +259 TMBR: December 2025 added new BLB(3,3) champion
28 December 2025
- 16:2416:24, 28 December 2025 diff hist −63 Non-halting Turing machine →Records: organised champions into tables and added BBS(5,2) current
- 16:2316:23, 28 December 2025 diff hist +79 User:Polygon/Collection of BB Champions →Busy Preperiodic Beaver (BBS(n,m)): added BBS(5,2)
- 15:5415:54, 28 December 2025 diff hist +95 User:Polygon/Collection of BB Champions →Busy Preperiodic Beaver (BBS(n,m)): added BBS(4,3) champion
- 15:5315:53, 28 December 2025 diff hist +634 TMBR: December 2025 added new BBS(4,3) champion
- 15:4615:46, 28 December 2025 diff hist +44 1RB1RD1LC 2LB1RB1LC 1RZ1LA1LD 0RB2RA2RD →Analysis by Polygon: clarified which TM is the BBS(4,3) champion current
- 15:4515:45, 28 December 2025 diff hist +293 1RB1RD1LC 2LB1RB1LC 1RZ1LA1LD 0RB2RA2RD →Analysis by Polygon: added relation to BBS(4,3) champion