User contributions for Sligocki

17:0817:08, 6 March 2025 diff hist +4,649‎ Lucy's Moonlight ‎ Add my analysis Tag: Visual edit

21:1021:10, 5 March 2025 diff hist −31‎ m Cryptids ‎ Use wikilink Tag: Visual edit: Switched

23:4523:45, 3 March 2025 diff hist −29‎ m Antihydra ‎ →‎Analysis Tag: Visual edit
23:4123:41, 3 March 2025 diff hist +798‎ Antihydra ‎ →‎Analysis: Add connection to hydra function. Tag: Visual edit: Switched
18:1218:12, 3 March 2025 diff hist +14‎ BB(4,3) ‎ Switch from BB to S & Sigma Tag: Visual edit
15:5915:59, 3 March 2025 diff hist +392‎ BB(4,3) ‎No edit summary Tag: Visual edit: Switched
15:5515:55, 3 March 2025 diff hist +27‎ Main Page ‎ List new known lower bound for BB(4,3) Tag: Visual edit

18:2118:21, 2 March 2025 diff hist −668‎ Lucy's Moonlight ‎ Add detail clarification from racheline Tag: Visual edit
18:1418:14, 2 March 2025 diff hist +117‎ 1RB0RC 0LC0LB 0LD1LC 0LE1LA 0LF--- 1RF1RA ‎ Oops, looks like it was actually proven halting! Tag: Visual edit
18:0618:06, 2 March 2025 diff hist +765‎ N 1RB0LE 1LC1RA ---1LD 0RB1LF 1RD1LA 0LA0RD ‎ Created page with "{{machine|1RB0LE_1LC1RA_---1LD_0RB1LF_1RD1LA_0LA0RD}} {{TM|1RB0LE_1LC1RA_---1LD_0RB1LF_1RD1LA_0LA0RD}} is an non-halting BB(6) Turing machine. Analysis by @racheline on 29 July 2024 ([https://discord.com/channels/960643023006490684/1239205785913790465/1267551868997992652 Discord link]): <pre> 1RB0LE_1LC1RA_---1LD_0RB1LF_1RD1LA_0LA0RD A(n) = 0^inf <A 0 1^n rules: A(6n) -> A(12n+3) A(6n+1) -> A(12n+6) A(6n+2) -> halt A(6n+3) -> A(9n+9) A(6n+4) -> halt A(6n+5) -> A(9..."
17:4317:43, 2 March 2025 diff hist +947‎ N 1RB0RC 0LC0LB 0LD1LC 0LE1LA 0LF--- 1RF1RA ‎ Created page with "{{machine|1RB0RC_0LC0LB_0LD1LC_0LE1LA_0LF---_1RF1RA}} {{TM|1RB0RC_0LC0LB_0LD1LC_0LE1LA_0LF---_1RF1RA}} is a tetrational BB(6) Cryptid found by Racheline on 30 July 2024 ([https://discord.com/channels/960643023006490684/1239205785913790465/1267805112651350107 Discord link]). It is neither probviously halting or probviously non-halting. Racheline estimates that it has a 2/3 chance of become a Translated Cycler and 1/3 chance of halting eventually. <pre> 1R..." Tag: Visual edit: Switched
17:3417:34, 2 March 2025 diff hist 0‎ m BB(6) ‎ →‎Cryptids Tag: Visual edit
16:5416:54, 2 March 2025 diff hist +436‎ BB(6) ‎ →‎Cryptids: Add list of tetrational TMs Tag: Visual edit: Switched
16:5116:51, 2 March 2025 diff hist +1,936‎ N Lucy's Moonlight ‎ Created page with "{{machine|1RB0RD_0RC1RE_1RD0LA_1LE1LC_1RF0LD_---0RA}} {{TM|1RB0RD_0RC1RE_1RD0LA_1LE1LC_1RF0LD_---0RA}} is a probviously halting tetrational BB(6) Cryptid found by Racheline on 1 Mar 2025 ([https://discord.com/channels/960643023006490684/1239205785913790465/1345551751016878272 Discord link]). <pre> f(3n) = 8n+3 f(3n+1) = 8n+11 f(3n+2) = 8n+12 a_0 = 4 a_(n+1) = f(a_n) b_0 = 0 b_(n+1) = b_n+(1 if 3|a_n else 2) c_0 = 14(?) c_(n+1) is somewhere around the smalles..."
16:4716:47, 2 March 2025 diff hist +740‎ N 1RB0LC 1LC0RD 1LF1LA 1LB1RE 1RB1LE ---0LE ‎ Created page with "{{machine|1RB0LC_1LC0RD_1LF1LA_1LB1RE_1RB1LE_---0LE}} {{TM|1RB0LC_1LC0RD_1LF1LA_1LB1RE_1RB1LE_---0LE}} is a probviously halting tetrational BB(6) Cryptid found by Racheline on 23 Nov 2024 ([https://discord.com/channels/960643023006490684/1239205785913790465/1310044618632593409 Discord link]). <blockquote> 1RB0LC_1LC0RD_1LF1LA_1LB1RE_1RB1LE_---0LE is a tetrational probviously halting cryptid. the lower bound for when it halts is around 10^10^120395, and with..."
16:4316:43, 2 March 2025 diff hist 0‎ m 1RB1LE 0LC0LB 1RD1LC 1RD1RA 1RF0LA ---1RE ‎No edit summary Tag: Visual edit: Switched
16:4316:43, 2 March 2025 diff hist +2,547‎ N 1RB1LE 0LC0LB 1RD1LC 1RD1RA 1RF0LA ---1RE ‎ Created page with "{{machine|1RB1LE_0LC0LB_1RD1LC_1RD1RA_1RF0LA_---1RE}} {{TM|1RB0LC_0LC0RF_1RD1LC_0RA1LE_---0LD_1LF1LA}} is a tetrational BB(6) Cryptid found by Racheline on 30 July 2024 ([https://discord.com/channels/960643023006490684/1239205785913790465/1267788732300398647 Discord link]). It is the first discovered Cryptid which is neither probviously halting or probviously non-halting. Racheline estimates that it has a 3/5 chance of become a Translated Cycler and 2/5 c..."
16:3816:38, 2 March 2025 diff hist +1,451‎ N 1RB0LC 0LC0RF 1RD1LC 0RA1LE ---0LD 1LF1LA ‎ Created page with "{{machine|1RB0LC_0LC0RF_1RD1LC_0RA1LE_---0LD_1LF1LA}} {{TM|1RB0LC_0LC0RF_1RD1LC_0RA1LE_---0LD_1LF1LA}} is a probviously halting tetrational BB(6) Cryptid found by Racheline on 30 July 2024 ([https://discord.com/channels/960643023006490684/1239205785913790465/1267778444280725514 Discord link]). <pre> 1RB0LC_0LC0RF_1RD1LC_0RA1LE_---0LD_1LF1LA A(n,m) = 0^inf 1^n 0 F> (01)^m 0^inf A(2n,m) -> A(3n+6,m-3) A(2n+1,m) -> A(3n+4,m-1) A(2n,2) -> A(3n+5,0) A(2n+1,0) ->..."
16:3716:37, 2 March 2025 diff hist +191‎ m 1RB1RA 0RC1RC 1LD0LF 0LE1LE 1RA0LB ---0LC ‎ Add Discord links
16:3116:31, 2 March 2025 diff hist +921‎ N 1RB0RE 1LC1LD 0RA0LD 1LB0LA 1RF1RA ---1LB ‎ Created page with "{{machine|1RB0RE_1LC1LD_0RA0LD_1LB0LA_1RF1RA_---1LB}} {{TM|1RB0RE_1LC1LD_0RA0LD_1LB0LA_1RF1RA_---1LB}} is a probviously halting tetrational BB(6) Cryptid found by Racheline on 30 July 2024 ([https://discord.com/channels/960643023006490684/1239205785913790465/1267752546546487357 Discord link]). <pre> 1RB0RE_1LC1LD_0RA0LD_1LB0LA_1RF1RA_---1LB A(n,m) = 0^inf (01)^(3n-4) A> (01)^m 0^inf A(2n,m) -> A(3n,m-2) A(2n+1,m) -> A(3n+1,m-1) A(n,0) -> A(2,3n-4) A(n,-1) -..."
16:3016:30, 2 March 2025 diff hist +25‎ m 1RB1RE 1LC1LD ---1LA 1LB1LE 0RF0RA 1LD1RF ‎No edit summary Tag: Visual edit: Switched
16:2816:28, 2 March 2025 diff hist −1‎ m 1RB1RE 1LC1LD ---1LA 1LB1LE 0RF0RA 1LD1RF ‎No edit summary
16:2316:23, 2 March 2025 diff hist +1,107‎ N 1RB1RE 1LC1LD ---1LA 1LB1LE 0RF0RA 1LD1RF ‎ Created page with "{{machine|1RB1RE_1LC1LD_---1LA_1LB1LE_0RF0RA_1LD1RF}} {{TM|1RB1RE_1LC1LD_---1LA_1LB1LE_0RF0RA_1LD1RF}} is a probviously halting tetrational BB(6) Cryptid. found by Racheline on 29 July 2024 [https://discord.com/channels/960643023006490684/1239205785913790465/1267538388530233404 Discord link]. <pre> 1RB1RE_1LC1LD_---1LA_1LB1LE_0RF0RA_1LD1RF A(m, n+9) = 0^inf 1^m (01)^n 0 A> 0^inf rules: A(m+4, 2n) -> A(m, 3n) A(m+4, 2n+1) -> A(m, 3n+1) A(0, 2n) -> halt A(0,..."
16:1516:15, 2 March 2025 diff hist +752‎ BB(6) ‎ →‎Cryptids: Split out probviously halting cryptids and add some description. Tag: Visual edit

17:2817:28, 28 February 2025 diff hist −206‎ Holdouts lists ‎ →‎Downloadable Holdout Lists: Move Skelet to bottom (oldest) and remove redundant mention. Tag: Visual edit

15:2415:24, 27 February 2025 diff hist +43‎ N 1RB2LA1LA 2LA0RA2RC ---1RB2RA ‎ Redirected page to 1RB2LA1LA 2LA0RA2RC ---0LC2RA current Tag: New redirect
15:2315:23, 27 February 2025 diff hist −2‎ m BB(3,3) ‎ →‎Certified Progress Tag: Visual edit

21:4421:44, 17 February 2025 diff hist +46‎ Antihydra ‎ →‎Simulation: Fix simulation random walk bound Tag: Visual edit
21:4221:42, 17 February 2025 diff hist +2‎ m Hydra function ‎No edit summary Tag: Visual edit
21:3921:39, 17 February 2025 diff hist +2,155‎ User talk:MrSolis ‎ →‎Explaining Myself
20:2120:21, 17 February 2025 diff hist +3‎ Antihydra ‎ →‎Biased Random Walk: Fix random walk probability. Tag: Visual edit
03:3503:35, 17 February 2025 diff hist +333‎ N User talk:MrSolis ‎ Created page with "== Antihydra == Hi, I rolled back your recent change to Antihydra because it seems like you removed a ton of content there. Feel free to add your proofs if you'd like, but no need to remove the transition table and so much of the description. ~~~~"
03:3203:32, 17 February 2025 diff hist −2,918‎ m Antihydra ‎ Reverted edits by MrSolis (talk) to last revision by Sligocki Tag: Rollback

21:2921:29, 16 February 2025 diff hist +6‎ m Least Busy Beaver ‎ →‎Known Results Tag: Visual edit: Switched
21:2021:20, 16 February 2025 diff hist +1,367‎ Least Busy Beaver ‎ Add known results and "certificates" Tag: Visual edit
18:1918:19, 16 February 2025 diff hist +40‎ m Least Busy Beaver ‎No edit summary Tag: Visual edit
18:0418:04, 16 February 2025 diff hist +1,005‎ N Least Busy Beaver ‎ Created page with "The '''least busy beaver''' <math>BB^-(n, m)</math> problem is a variation of the busy beaver problem which considers TM behavior across all starting tapes (not just blank tapes like the traditional BB problem) invented by racheline on 15 Feb 2025. == Definition == Let <math>BB_{init}(n, m, T)</math> be the longest runtime for all n-state m-symbol TMs which halt when started on tape configuration T (where T is allowed to be any infinite tape configuration, including one..."

18:4618:46, 13 February 2025 diff hist +24‎ m Tree Normal Form ‎ →‎Number of TNF TMs: link Tag: Visual edit

20:3620:36, 11 February 2025 diff hist +155‎ 1RB3RB---3LA1RA 2LA3RA4LB0LB1LB ‎ Cleanup text Tag: Visual edit

00:2800:28, 9 February 2025 diff hist +32‎ 0RB1LD 1LC1RB 1LD1RE 1LA1LE 1LZ0RC ‎No edit summary Tag: Visual edit: Switched
00:2800:28, 9 February 2025 diff hist +206‎ 0RB1LD 1LC1RB 1LD1RE 1LA1LE 1LZ0RC ‎ link to announcement
00:2600:26, 9 February 2025 diff hist +48‎ N 1RB1LA 1RC1LE 1RD1RE 0LA1RC ---0LB ‎ Redirected page to 0RB1LD 1LC1RB 1LD1RE 1LA1LE 1LZ0RC current Tag: New redirect
00:2500:25, 9 February 2025 diff hist +48‎ N 1RB1LA 1RC1LE 1RD1RE 0LA1RC 1RZ0LB ‎ Redirected page to 0RB1LD 1LC1RB 1LD1RE 1LA1LE 1LZ0RC current Tag: New redirect
00:2500:25, 9 February 2025 diff hist +48‎ N 0RB1LD 1LC1RB 1LD1RE 1LA1LE 1RZ0RC ‎ Redirected page to 0RB1LD 1LC1RB 1LD1RE 1LA1LE 1LZ0RC current Tag: New redirect
00:2500:25, 9 February 2025 diff hist +48‎ N 0RB1LD 1LC1RB 1LD1RE 1LA1LE ---0RC ‎ Redirected page to 0RB1LD 1LC1RB 1LD1RE 1LA1LE 1LZ0RC current Tags: New redirect Visual edit: Switched
00:2400:24, 9 February 2025 diff hist +189‎ 0RB1LD 1LC1RB 1LD1RE 1LA1LE 1LZ0RC ‎ Add permutation TM as well Tag: Visual edit
00:2100:21, 9 February 2025 diff hist +22‎ 0RB1LD 1LC1RB 1LD1RE 1LA1LE 1LZ0RC ‎ Fix halting tape Tag: Visual edit
00:2000:20, 9 February 2025 diff hist +672‎ N 0RB1LD 1LC1RB 1LD1RE 1LA1LE 1LZ0RC ‎ Created page with "{{machine|0RB1LD_1LC1RB_1LD1RE_1LA1LE_1LZ0RC}} {{TM|0RB1LD_1LC1RB_1LD1RE_1LA1LE_1LZ0RC}} is the num(5) champion (the BB(5) TM which halts leaving the most consecutive ones on the tape) according to Andrés Sancho. It halts after 15590 steps with tape <math>0^\infty <Z 1^{165} 0^\infty</math> == Analysis by Shawn Ligocki == <pre> A(a, b) = $ 1^a <A 11^b $ A(a+3, b) -> A(a, b+2) A(0, b) -> A(2b, 1) A(1, b) -> A(0, b+1) A(2, b) -> $ <Z 1^{..."

19:5319:53, 7 February 2025 diff hist −201‎ BB(4,3) ‎ wikify Tag: Visual edit: Switched
19:4719:47, 7 February 2025 diff hist +3,454‎ N 0RB1RZ0RB 1RC1LB2LB 1LB2RD1LC 1RA2RC0LD ‎ Created page with "{{machine|0RB1RZ0RB_1RC1LB2LB_1LB2RD1LC_1RA2RC0LD}} {{TM|0RB1RZ0RB_1RC1LB2LB_1LB2RD1LC_1RA2RC0LD|halt}} is a halting BB(4,3) machine that appears to run for around <math display="block">2 \uparrow\uparrow\uparrow (2^{2^{32}+1}-1)</math> steps. The TM was discovered by Pavel Kropitz in May 2024 as a group of 6 long-running halting BB(4,3) TMs.<ref>https://discord.com/channels/960643023006490684/1026577255754903572/1243253180297646120</ref> Racheline analyzed the ma..." Tag: Visual edit

User contributions for Sligocki

6 March 2025

5 March 2025

3 March 2025

2 March 2025

28 February 2025

27 February 2025

17 February 2025

16 February 2025

13 February 2025

11 February 2025

9 February 2025

7 February 2025

Navigation menu