User contributions for Sligocki

25 March 2025

• 21:3821:38, 25 March 2025 diff hist +472 N 1RB3LA1LA1RA1RA 2LB2RA---4RB1LB Created page with "{{machine|1RB3LA1LA1RA1RA_2LB2RA---4RB1LB}} {{TM|1RB3LA1LA1RA1RA_2LB2RA---4RB1LB}} is a BB(2,5) TM that appears to be a Cryptid Analysis by mxdys and Racheline: <pre> 1RB3LA1LA1RA1RA_2LB2RA---4RB1LB start: A(4,4) A(a,3+a+b) --> A(4+2a,b) A(a,2+a) --> B(2a+2,3) A(a,1+a) --> halt A(b+a,b) --> B(a,2b) B(3a+1,b) --> A(4,2+5a+b) B(3a+2,b) --> B(5+5a+b,2) B(3a+0,b) --> B(3+5a+b,0) A(a,b) := 0^inf 1 4^a 1^4 A> 1^b 2 0^inf B(a,b) := 0^inf 1 4^a 1^3+b A> 11 0^inf </pre>"

22 March 2025

• 20:1320:13, 22 March 2025 diff hist +260 Skelet 1 Add link to repo Tag: Visual edit

13 March 2025

• 16:2716:27, 13 March 2025 diff hist +11 Bigfoot Add savask as co-discoverer Tag: Visual edit

12 March 2025

• 21:0321:03, 12 March 2025 diff hist 0 m Turing machine →Example: A shift champion: Fix TM table Tag: Visual edit

10 March 2025

• 20:5320:53, 10 March 2025 diff hist −9 m Antihydra No edit summary

8 March 2025

• 00:4200:42, 8 March 2025 diff hist +13 Probvious Cleanup some confusing sentences Tag: Visual edit

7 March 2025

• 06:2306:23, 7 March 2025 diff hist +2 BB(2,5) Fix link Tag: Visual edit
• 05:2305:23, 7 March 2025 diff hist −46 m 1RB--- 0LC1RE 0LD1LC 1RA1LB 0RB0RA No edit summary current

6 March 2025

• 17:1017:10, 6 March 2025 diff hist +104 Lucy's Moonlight Mention 5% chance Tag: Visual edit
• 17:0817:08, 6 March 2025 diff hist +4,649 Lucy's Moonlight Add my analysis Tag: Visual edit

5 March 2025

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

3 March 2025

• 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

2 March 2025

• 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

28 February 2025

• 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

27 February 2025

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

17 February 2025

• 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

16 February 2025

• 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..."

13 February 2025

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

11 February 2025

• 20:3620:36, 11 February 2025 diff hist +155 Bonus Cryptid Cleanup text Tag: Visual edit

9 February 2025

• 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