User contributions for Sligocki

2 March 2025

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

7 February 2025

• 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
• 19:3419:34, 7 February 2025 diff hist −30 BB(2,5) wikify TMs, add some links and mention the champ is a shift-overflow counter. Tag: Visual edit: Switched

6 February 2025

• 19:5519:55, 6 February 2025 diff hist −180 Cryptids →Cryptids at the Edge: Remove "Bonus Cryptid" now that it is less clear that it is actually a Cryptid. Tag: Visual edit
• 19:3719:37, 6 February 2025 diff hist +520 Skelet Include details from "Skelet's 43 holdouts" page (now redirected here).
• 19:3619:36, 6 February 2025 diff hist −957 Skelet's 43 holdouts Redirect to main Skelet page current Tag: New redirect
• 19:3119:31, 6 February 2025 diff hist −26 Code repositories Link to Skelet Tag: Visual edit: Switched
• 19:3019:30, 6 February 2025 diff hist −35 Bbfind redirect to Skelet section current Tags: New redirect Visual edit: Switched
• 19:2919:29, 6 February 2025 diff hist +4 m Skelet 17 No edit summary Tag: Visual edit
• 19:2819:28, 6 February 2025 diff hist +198 Skelet 1 Link to Skelet stuff and not who proved it. Tag: Visual edit
• 19:2419:24, 6 February 2025 diff hist +1,002 N Skelet Create page for Skelet Tag: Visual edit
• 19:0419:04, 6 February 2025 diff hist +350 N Coq-BB5 Created page with "Coq-BB5 is a Coq proof that BB(5) = 47,176,870. It combines many deciders and individual TM proofs that the bbchallenge.org community developed and described over the years 2022-2024. It is maintained by mxdys and includes a snapshot of BusyCoq maintained by meithecatte. See: https://github.com/ccz181078/Coq-BB5/tree/main Category:Stub" Tag: Visual edit
• 18:5618:56, 6 February 2025 diff hist +1,542 Closed Position Set Add some basic content and links Tag: Visual edit
• 18:3218:32, 6 February 2025 diff hist +23 BB(2,5) Add domain category Tag: Visual edit
• 18:3218:32, 6 February 2025 diff hist +23 BB(2,4) Add domain category Tag: Visual edit
• 18:3218:32, 6 February 2025 diff hist +23 BB(3,3) Add domain category Tag: Visual edit
• 18:3218:32, 6 February 2025 diff hist +23 BB(2,3) Add domain category Tag: Visual edit
• 18:3118:31, 6 February 2025 diff hist +23 BB(6) Add domain category Tag: Visual edit
• 18:3118:31, 6 February 2025 diff hist +38 BB(5) Add domain category Tag: Visual edit
• 18:3118:31, 6 February 2025 diff hist +38 BB(4) Add domain category Tag: Visual edit
• 18:2718:27, 6 February 2025 diff hist +23 BB(3) Add domain category Tag: Visual edit
• 18:2718:27, 6 February 2025 diff hist +23 BB(2) Add domain category Tag: Visual edit
• 18:2618:26, 6 February 2025 diff hist +170 N Category:BB Domains Created page with "A Busy Beaver "Domain" is "BB(n, k)" for a specific choice of n and k. In other words, it's the Busy Beaver problem restricted to a specific number of states and symbols." Tag: Visual edit
• 18:2518:25, 6 February 2025 diff hist +41 BB(4,3) Add categories Tag: Visual edit