User contributions for Polygon
Jump to navigation
Jump to search
17 March 2026
- 18:0618:06, 17 March 2026 diff hist +3 m Holdouts lists Grammar current
16 March 2026
- 20:1620:16, 16 March 2026 diff hist +229 TMBR: March 2026 →Holdouts: Added new Bb(2,5) holdout reduction current
- 20:1320:13, 16 March 2026 diff hist 0 Holdouts lists Updated Bb(2,5) holdout count
12 March 2026
- 20:2820:28, 12 March 2026 diff hist +385 User:Polygon/Page for analyses →{{TM|1RB1RA1RA_0LC0RD2LC_2RA1LB---_0LC1RD1LB}}: added rules #13 and #14 current
- 19:3519:35, 12 March 2026 diff hist 0 m User:Polygon/Page for analyses →{{TM|1RB1RA1RA_0LC0RD2LC_2RA1LB---_0LC1RD1LB}}: fixed conditions
- 19:3419:34, 12 March 2026 diff hist +368 User:Polygon/Page for analyses →{{TM|1RB1RA1RA_0LC0RD2LC_2RA1LB---_0LC1RD1LB}}: added rules #11 and #12
- 19:2819:28, 12 March 2026 diff hist +261 User:Polygon/Page for analyses →{{TM|1RB1RA1RA_0LC0RD2LC_2RA1LB---_0LC1RD1LB}}: added rules 9 and 10
- 19:2519:25, 12 March 2026 diff hist +148 User:Polygon/Page for analyses →{{TM|1RB1RA1RA_0LC0RD2LC_2RA1LB---_0LC1RD1LB}}: added rule #8
- 19:2219:22, 12 March 2026 diff hist +386 User:Polygon/Page for analyses →{{TM|1RB1RA1RA_0LC0RD2LC_2RA1LB---_0LC1RD1LB}}: added rule #7
- 19:1119:11, 12 March 2026 diff hist +128 TMBR: March 2026 →Holdouts: added new solved TM
11 March 2026
- 22:1922:19, 11 March 2026 diff hist +95 User:Polygon/Page for analyses →{{TM|1RB1RA1RA_0LC0RD2LC_2RA1LB---_0LC1RD1LB}}: Added rule #6
- 17:4617:46, 11 March 2026 diff hist 0 Holdouts lists updated BB(2,5) holdout count
- 17:2817:28, 11 March 2026 diff hist +190 User:Polygon/Page for analyses →{{TM|1RB1RA1RA_0LC0RD2LC_2RA1LB---_0LC1RD1LB}}: added rules #4 and #5
10 March 2026
- 21:1421:14, 10 March 2026 diff hist +162 User:Polygon/Page for analyses →{{TM|1RB1RA1RA_0LC0RD2LC_2RA1LB---_0LC1RD1LB}}: added first three rules
- 21:0921:09, 10 March 2026 diff hist +289 User:Polygon/Page for analyses Added new TM
9 March 2026
- 19:1419:14, 9 March 2026 diff hist −7 Holdouts lists →Downloadable Holdouts Lists: removed 1325 as that is almost certainly outdated
- 19:0319:03, 9 March 2026 diff hist +1 m Skelet 33 →Analysis by int-y1 and meithecatte: spacing current
- 19:0219:02, 9 March 2026 diff hist +11,022 Skelet 26 Added analysis by int-y1 and meithecatte current
- 18:5618:56, 9 March 2026 diff hist +5,261 Skelet 33 Added analysis by int-y1 and meithecatte
8 March 2026
- 21:4321:43, 8 March 2026 diff hist −8 Skelet 26 Removed Template:Stub
7 March 2026
- 19:2319:23, 7 March 2026 diff hist +13 Skelet 26 →Skelet 15: wording
- 19:2219:22, 7 March 2026 diff hist +74 Skelet 26 Mentioned Skelet 26/15 being adjacent to Skelet 33
- 19:1819:18, 7 March 2026 diff hist +285 Skelet 33 Added missing definition of b(n) and see also section
- 19:1619:16, 7 March 2026 diff hist +317 Skelet 26 Added missing definition of b(n) and see also section
- 19:0419:04, 7 March 2026 diff hist +23 N 1RB1LC 1RE0RB 1LD0LA 1LE--- 1LA1RE Redirected page to Skelet 26 current Tag: New redirect
- 18:5718:57, 7 March 2026 diff hist +23 N 1RB1LC 0RC0RB 1LD0LA 1LE--- 1LA1RE Redirected page to Skelet 33 current Tag: New redirect
- 18:3118:31, 7 March 2026 diff hist +32 Skelet 33 Added see also section
- 18:2918:29, 7 March 2026 diff hist −2 Skelet 26 →Analysis by Shawn Ligocki: adjusted heading level (as Skelet 15 doesn't have its own analysis section due to equivalence)
- 18:2818:28, 7 March 2026 diff hist +38 Coq-BB5 Linked Skelet 15 and Skelet 26 current
- 18:2718:27, 7 March 2026 diff hist +427 Skelet 26 →Skelet 15: expanded section
- 18:2018:20, 7 March 2026 diff hist +1,106 Skelet 26 Added analysis for Skelet 26
- 18:1718:17, 7 March 2026 diff hist +341 Skelet 26 Mentioned proof of non-halting
- 18:1118:11, 7 March 2026 diff hist +100 Skelet 26 →Skelet 15: added a short sentence about equivalence
- 18:1018:10, 7 March 2026 diff hist +33 N 1RB--- 1RC1LB 1LD1RE 1LB0LD 1RA0RC Redirected page to Skelet 26#Skelet 15 current Tag: New redirect
- 18:0918:09, 7 March 2026 diff hist +33 N Skelet 15 Redirected page to Skelet 26#Skelet 15 current Tag: New redirect
- 18:0818:08, 7 March 2026 diff hist +17 Skelet 26 Added section for skelet 15
- 18:0718:07, 7 March 2026 diff hist +23 N 1RB1LD 1RC0RB 1LA1RC 1LE0LA 1LC--- Redirected page to Skelet 26 current Tag: New redirect
- 18:0618:06, 7 March 2026 diff hist +409 N Skelet 26 Created page with "{{machine|1RB1LD_1RC0RB_1LA1RC_1LE0LA_1LC---}}{{Stub}} {{TM|1RB1LD_1RC0RB_1LA1RC_1LE0LA_1LC---}}, called '''Skelet #26''', was one of Skelet's 43 holdouts and one of the last holdouts in BB(5). It is a Shift overflow counter and has an individual proof of non-halting in Coq-BB5.<ref>https://github.com/ccz181078/Coq-BB5/blob/main/BusyCoq/Skelet26.v</ref> == References == Category:BB(5)"
- 17:5517:55, 7 March 2026 diff hist +18 1RB1LA 1RC0RC 1LA1RD 1LE1RD ---1LF 1LE0LA →Analysis by @mxdys: improved formatting current
6 March 2026
- 16:5316:53, 6 March 2026 diff hist +90 TMBR: March 2026 →Holdouts: linked the verification by mxdys
- 16:4816:48, 6 March 2026 diff hist +4 TMBR: March 2026 →Holdouts: clarified that these are not supposed to be the current numbers
5 March 2026
- 19:0619:06, 5 March 2026 diff hist +46 BB(6) →History: mentioned holdout number without considering equivalence
- 18:1618:16, 5 March 2026 diff hist +116 TMBR: March 2026 one --> two
- 17:4517:45, 5 March 2026 diff hist 0 TMBR: March 2026 →Holdouts: updated count of solved machines
- 17:4317:43, 5 March 2026 diff hist +374 TMBR: March 2026 →Holdouts: updated progress on BB(6) holdouts
4 March 2026
- 17:5917:59, 4 March 2026 diff hist +332 TMBR: March 2026 →Holdouts: added verified Translated Cycler
2 March 2026
- 18:5618:56, 2 March 2026 diff hist −1 m Bouncer →History: fixed name current
- 18:4918:49, 2 March 2026 diff hist +198 Mother of Giants Added info about the "mother"
- 18:4418:44, 2 March 2026 diff hist +30 N 1RB1LE 0LC0LB 0LD1LC 1RD1RA ---0LA Redirected page to Mother of Giants current Tag: New redirect
- 18:1618:16, 2 March 2026 diff hist +22 Bouncer Added Category:Deciders (consistency with page for Cyclers)