User contributions for Sligocki

7 June 2025

• 05:2805:28, 7 June 2025 diff hist +176‎ 1RB1RZ 0RC0RE 1LD1LA 1LC0LG 0RF1LF 0RD1LF 1LB0LE ‎ Add note about luck and define shorthand notations. Tag: Visual edit
• 05:2305:23, 7 June 2025 diff hist +11‎ m 1RB1RZ 0RC0RE 1LD1LA 1LC0LG 0RF1LF 0RD1LF 1LB0LE ‎ Fix math tag
• 05:2305:23, 7 June 2025 diff hist +1,407‎ N 1RB1RZ 0RC0RE 1LD1LA 1LC0LG 0RF1LF 0RD1LF 1LB0LE ‎ Created page with "{{machine|1RB1RZ_0RC0RE_1LD1LA_1LC0LG_0RF1LF_0RD1LF_1LB0LE}} {{TM|1RB1RZ_0RC0RE_1LD1LA_1LC0LG_0RF1LF_0RD1LF_1LB0LE}} is a tetrational halting BB(7) TM with sigma score over $10 \uparrow\uparrow 519$. It was found by Andrew Ducharme on 6 Jun 2025 ([https://discord.com/channels/960643023006490684/1369339127652159509/1380710649306288180 Discord link]). == Analysis by Shawn Ligocki == This TM goes through 2 phases: Phase A and Phase B. <pre> A(a, b) = 0^inf <F 10 1^a 0..."

3 June 2025

• 02:2002:20, 3 June 2025 diff hist +54‎ m 1RB0LF 1RC1RB 1LD0RA 1LB0LE 1RZ0LC 1LA1LF ‎ add machine template

30 May 2025

• 17:3917:39, 30 May 2025 diff hist +87‎ Collatz-like ‎ →‎Tetration Machine: Switch from "Tetration Machine" to "Exponential Collatz" which I think describes this example a little better. Tag: Visual edit
• 17:0917:09, 30 May 2025 diff hist +295‎ Talk:Collatz-like ‎ →‎Definition current
• 17:0517:05, 30 May 2025 diff hist +1,161‎ Talk:Collatz-like ‎ →‎Definition
• 14:1714:17, 30 May 2025 diff hist +233‎ Talk:Collatz-like ‎ →‎Definition
• 14:1514:15, 30 May 2025 diff hist +592‎ N Talk:Collatz-like ‎ →‎Definition: new section

28 May 2025

• 18:0318:03, 28 May 2025 diff hist +2‎ m Hydra ‎ Capitalization Tag: Visual edit
• 15:0115:01, 28 May 2025 diff hist 0‎ m BB(7) ‎ →‎Current Progress: Update my number to holdouts after using Enumerate Tag: Visual edit
• 14:5114:51, 28 May 2025 diff hist +103‎ 1RB1RA 1LC1LE 0LD0LB 0RA0RF 0LC0RA 1RD--- ‎ Clarify that it's not a Cryptid (yet). Tag: Visual edit
• 01:3001:30, 28 May 2025 diff hist +116‎ 1RB1RA 1LC1LE 0LD0LB 0RA0RF 0LC0RA 1RD--- ‎ →‎Analysis by Racheline: Link to Analysis source Tag: Visual edit

23 May 2025

• 16:3816:38, 23 May 2025 diff hist +78‎ BB(7) ‎ →‎Top Halters: Add permutation of t114 champion that's a little better. Tag: Visual edit
• 03:2103:21, 23 May 2025 diff hist +82‎ BB(7) ‎ →‎Current Progress: Better champion among my section once I did a deeper search. Tag: Visual edit

22 May 2025

• 17:3917:39, 22 May 2025 diff hist +1‎ m BB(7) ‎ →‎Current Progress Tag: Visual edit
• 04:4104:41, 22 May 2025 diff hist +850‎ N 1RB--- 0LC1RE 0LD1LC 1LE0RG 1RF0RC 1RC1RA 1RD0RB ‎ Created page with "{{machine|1RB---_0LC1RE_0LD1LC_1LE0RG_1RF0RC_1RC1RA_1RD0RB}} {{TM|1RB---_0LC1RE_0LD1LC_1LE0RG_1RF0RC_1RC1RA_1RD0RB}} is an nonhalting BB(7) TM with an infinite tetrational rule. == Analysis by Shawn Ligocki == <pre> 11 01^n D> 00 --> 01^n+2 D> 0^4 01^2n D> 0^3 --> 111 01 0001^n 01 D> 0 01^2n+1 D> 0^4 --> 1 11^2n+2 01 D> 1000101 D> 0^5 --> 0100^2 11 01 D> 00010 01^2n D> 0^4 --> 111 01 0001^n-1 0 1^5 01 D> 0001 0101^n D> $ --> 0101^2n+6 D> $ 0001^2 0 01..."
• 03:2703:27, 22 May 2025 diff hist +1,435‎ N 1RB1RF 0RC0RD 1LC1LD 1LE0RB 0RA1LG 1LC1RA ---0RF ‎ Created page with "{{machine|1RB1RF_0RC0RD_1LC1LD_1LE0RB_0RA1LG_1LC1RA_---0RF}} {{TM|1RB1RF_0RC0RD_1LC1LD_1LE0RB_0RA1LG_1LC1RA_---0RF}} is an nonhalting BB(7) TM with an infinite tetrational rule. == Analysis by Shawn Ligocki == Low level rules: <pre> 11 00^n C> 0^2 --> 00^n+2 C> 1101 00^n C> 0^3 --> 0 11^n+1 00^2 C> 0010 00^n C> 0^8 --> 01 11^n+1 0^3 1 00^2 C> 001 00^n C> 0^3 --> 01 11^n 00^2 C> 110 00^n C> 0^5 --> 0^2n+3 1 00^2 C> 0101 00^n C> 0 --> 1 Z> 1^2n+4 </p..."

21 May 2025

• 04:2004:20, 21 May 2025 diff hist +91‎ m BB(7) ‎ →‎Current Progress: Put my holdouts file on Drive. Tag: Visual edit
• 04:1404:14, 21 May 2025 diff hist −116‎ BB(7) ‎ →‎Current Progress: Consolidate my stuff into one 13xxxx row. Tag: Visual edit
• 02:1102:11, 21 May 2025 diff hist −3‎ m Skelet ‎ →‎Translated Cycler Periods
• 02:0302:03, 21 May 2025 diff hist +219‎ Skelet ‎ →‎Translated Cycler Periods: Add caveat about there potentially being other TCs. Tag: Visual edit
• 01:5901:59, 21 May 2025 diff hist +885‎ Skelet ‎ →‎Skelet's 43 HNR TMs: Add table of TC periods, etc. Tag: Visual edit: Switched

20 May 2025

• 04:0004:00, 20 May 2025 diff hist −77‎ m BB(7) ‎ Reverted edits by Sligocki (talk) to last revision by Tjligocki Tag: Rollback
• 04:0004:00, 20 May 2025 diff hist +77‎ BB(7) ‎ Undo revision 1977 by Axolotldailyweek (talk) Tags: Undo Reverted

19 May 2025

• 06:2506:25, 19 May 2025 diff hist +42‎ m BB(7) ‎ →‎Current Progress: Note that I'm looking at whole 13xxxx block Tag: Visual edit

18 May 2025

• 20:4320:43, 18 May 2025 diff hist +1,382‎ 1RB1RA 1RC0LC 0LD1LG 1LF0LE 1RZ1LF 0LA1LD 1RA1LC ‎ Add Model section Tag: Visual edit

17 May 2025

• 16:1216:12, 17 May 2025 diff hist 0‎ m 1RB1RA 1RC0LC 0LD1LG 1LF0LE 1RZ1LF 0LA1LD 1RA1LC ‎No edit summary Tag: Visual edit
• 01:5001:50, 17 May 2025 diff hist +65‎ m BB(7) ‎ →‎Current Progress: Fill in some details of exploration Tag: Visual edit

16 May 2025

• 20:3020:30, 16 May 2025 diff hist +334‎ BB(7) ‎ Add some new top halters from tjligocki's runs. Tag: Visual edit: Switched
• 19:3819:38, 16 May 2025 diff hist +7‎ m Main Page ‎No edit summary Tag: Visual edit
• 19:3719:37, 16 May 2025 diff hist +194‎ Main Page ‎ Add BB(7) Tag: Visual edit: Switched
• 19:3519:35, 16 May 2025 diff hist +23‎ m BB(7) ‎No edit summary Tag: Visual edit
• 19:3419:34, 16 May 2025 diff hist +35‎ N Sigma score ‎ Redirected page to Busy Beaver Functions current Tags: New redirect Visual edit
• 19:3219:32, 16 May 2025 diff hist +1,564‎ N BB(7) ‎ Created page with "The 7-state, 2-symbol Busy Beaver problem '''BB(7)''' is a mostly unexplored domain with only preliminary information. The current BB(7) champion is {{TM|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}} discovered by Pavel Kropitz in 2025 proving the lower bound:<math display="block">S(7) > \Sigma(7) > 2 \uparrow^{11} 2 \uparrow^{11} 3</math> == History == Before 2025, the only known BB(7) champions were produced by hand, not by search. Example, Milton Green designed..." Tag: Visual edit
• 18:5218:52, 16 May 2025 diff hist +208‎ 1RB0RA 1LC1LF 1RD0LB 1RA1LE 1RZ0LC 1RG1LD 0RG0RF ‎ Note attribution Tag: Visual edit

14 May 2025

• 03:1303:13, 14 May 2025 diff hist +2‎ 1RB0RA 1LC1LF 1RD0LB 1RA1LE 1RZ0LC 1RG1LD 0RG0RF ‎ Change function name to avoid conflict with the fast growing hierarchy. Tag: Visual edit
• 02:5602:56, 14 May 2025 diff hist +36‎ N Fast-growing hierarchy ‎ Redirected page to Fast-Growing Hierarchy current Tag: New redirect
• 02:5502:55, 14 May 2025 diff hist 0‎ m Champions ‎No edit summary
• 02:5502:55, 14 May 2025 diff hist −33‎ m Champions ‎No edit summary

13 May 2025

• 22:1522:15, 13 May 2025 diff hist +16‎ m Champions ‎No edit summary Tag: Visual edit
• 22:1422:14, 13 May 2025 diff hist +155‎ 1RB0RA 1LC1LF 1RD0LB 1RA1LE 1RZ0LC 1RG1LD 0RG0RF ‎ Undo revision 1900 by Sligocki (talk)
• 22:0722:07, 13 May 2025 diff hist −16‎ m Champions ‎ →‎2-Symbol TMs Tag: Visual edit
• 22:0722:07, 13 May 2025 diff hist −131‎ 1RB0RA 1LC1LF 1RD0LB 1RA1LE 1RZ0LC 1RG1LD 0RG0RF ‎ Fix sigma bound Tag: Visual edit
• 20:3020:30, 13 May 2025 diff hist +39‎ Champions ‎ →‎2-Symbol TMs: Add verification Tag: Visual edit
• 20:2320:23, 13 May 2025 diff hist −22‎ m Champions ‎ →‎2-Symbol TMs: Link to wikipedia instead of googolology since that site almost causes my browser to crash Tag: Visual edit
• 20:1820:18, 13 May 2025 diff hist −99‎ Champions ‎ →‎2-Symbol TMs: Pavel's Ackermann champion Tag: Visual edit
• 20:1420:14, 13 May 2025 diff hist +186‎ 1RB0RA 1LC1LF 1RD0LB 1RA1LE 1RZ0LC 1RG1LD 0RG0RF ‎ Fix broken math Tag: Visual edit
• 20:0920:09, 13 May 2025 diff hist +2,236‎ N 1RB0RA 1LC1LF 1RD0LB 1RA1LE 1RZ0LC 1RG1LD 0RG0RF ‎ Created page with "{{machine|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}} {{TM|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}} is a halting BB(7) TM which runs for over <math>2 \uparrow^{12} 2 \uparrow^{12} 3</math> steps. == Analysis by Shawn Ligocki == Consider general configurations matching the regex: <math>0^\infty \; 11 \; (1 \; (01)^*)^* \; 0011100 \; \text{A>} \; 0^\infty</math> === Low level rules === <pre> 01 1 01^n 0011100 A> 00 -->..."

9 May 2025

• 02:4002:40, 9 May 2025 diff hist +1,058‎ N 1RB1RA 1RC0LC 0LD1LG 1LF0LE 1RZ1LF 0LA1LD 1RA1LC ‎ Created page with "{{machine|1RB1RA_1RC0LC_0LD1LG_1LF0LE_1RZ1LF_0LA1LD_1RA1LC}} {{TM|1RB1RA_1RC0LC_0LD1LG_1LF0LE_1RZ1LF_0LA1LD_1RA1LC}} is a halting tetrational BB(7) TM that runs for over 10↑↑35 steps found by Shawn Ligocki on 8 May 2025 based on @mxdys's enumeration system https://github.com/ccz181078/TM Analysis by Shawn Ligocki: <pre> 1RB1RA_1RC0LC_0LD1LG_1LF0LE_1RZ1LF_0LA1LD_1RA1LC B(a,b,c,d) = 0^inf 1^a B> 1^b 01^c 011^d 0^inf D(a) = B(a,0,0,0) = 0^inf 1^a B> 0^inf D(3k) -..."