User contributions for Sligocki

17 February 2025

• 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
• 18:2318:23, 6 February 2025 diff hist +3,016‎ N BB(4,3) ‎ Created page with "TODO == Potential Champions == In May 2024, Pavel Kropitz found 7 halting TMs that run for a large number of steps, but have not been analyzed in detail:<pre> Halt(SuperPowers(2)),2,0RB1RZ0RB_1RC1LB2LB_1LB2RD1LC_1RA2RC0LD,4,6,0,0,36,11,0,20175,2303,1 2^((80*2^((<(8*2^((8*2^(29) - 2)) - 5); (<(80*2^((b - 10)/5) - 17)/9; (40*2^((8*2^((a - 11)/5) - 2)) - 4); (40*2^(2) - 4)> + 4); (<(80*2^((<(80*2^((8*2^((8*2^(29) - 2)) - 3)) - 13)/9; (40*2^((8*2^((a - 11)/5) - 2)) - 4); (4..." Tag: Visual edit
• 16:1116:11, 6 February 2025 diff hist +1,488‎ Bonus Cryptid ‎ Add Andrew's work Tag: Visual edit
• 03:3403:34, 6 February 2025 diff hist +45‎ N 1RB3LA4RB0RB2LA 1LB2LA3LA1RA--- ‎ Redirected page to 1RB3LA4RB0RB2LA 1LB2LA3LA1RA1RZ current Tag: New redirect
• 03:3403:34, 6 February 2025 diff hist +55‎ N 1RB1RA 1LC1RF 1RE1LD 0RD1LB ---0RA ---0LE ‎ Redirected page to 1RB1RA 1LC1RF 1RE1LD 0RD1LB ---0RA 1RZ0LE current Tag: New redirect
• 03:3303:33, 6 February 2025 diff hist +55‎ N 1RB0RC 1LC1LF 1RD0LB ---0LE ---1RA 1LB0RE ‎ Redirected page to 1RB0RC 1LC1LF 1RD0LB 1RZ0LE ---1RA 1LB0RE current Tag: New redirect
• 03:3203:32, 6 February 2025 diff hist +1,617‎ N 1RB0RF 1LC1RB 0RD0LB 1RZ0LE 1RE0RA 1RD1RE ‎ Created page with "{{machine|1RB0RF_1LC1RB_0RD0LB_1RZ0LE_1RE0RA_1RD1RE}} {{TM|1RB0RF_1LC1RB_0RD0LB_1RZ0LE_1RE0RA_1RD1RE}} halts with roughly <math>2^{2^{97/3}}</math> steps. == Analysis by racheline == https://discord.com/channels/960643023006490684/1239205785913790465/1336829029948588113 It halts with roughly 2^(2^96/3)/3 1s on the tape and after roughly 2^(2^97/3) steps. it follows these rules: <pre> A(n,m) := 111 E> 1^(3n) 0 1^m A(n,6m+1) -> A(n+2m+1,2^(n+2m)+2^((2^(2m)-1)/3)+1) A(n,..."
• 03:2803:28, 6 February 2025 diff hist +55‎ N 1RB0RF 1LC1RB 0RD0LB ---0LE 1RE0RA 1RD1RE ‎ Redirected page to 1RB0RF 1LC1RB 0RD0LB 1RZ0LE 1RE0RA 1RD1RE current Tag: New redirect

5 February 2025

• 22:0722:07, 5 February 2025 diff hist +1,523‎ N 1RB0LD 1RC0RC 1LA0RD 1RC1LE 0LF--- 1LA0RC ‎ Created page with "{{machine|1RB0LD_1RC0RC_1LA0RD_1RC1LE_0LF---_1LA0RC}} {{TM|1RB0LD_1RC0RC_1LA0RD_1RC1LE_0LF---_1LA0RC}} is non halting. It is equivalent to {{TM|1RB0RC_1RC1LE_1LD0RB_1RA0LB_0LF---_1LD0RF}} == Analysis by @nerdyjoe == These two machines are non-halting. After a brief stabilization period, it works as a ternary counter with some fun behavior. The head sweeps left and right. Each bounce off the left side extends the meta-tape by one, each pass to the right "adds one" and e..."