User contributions for Sligocki

7 February 2025

• 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 (CPS) ‎ 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‎ 1RB3RB---3LA1RA 2LA3RA4LB0LB1LB ‎ 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..."
• 20:3020:30, 5 February 2025 diff hist +444‎ Shift overflow counter ‎ Add notable halting examples.
• 20:2420:24, 5 February 2025 diff hist −1,182‎ 1RB1RC 1LC1RE 1LD0LB 1RE1LC 1LE0RF ---1RA ‎ Redirect to halting version. current Tags: New redirect Visual edit: Switched
• 20:2420:24, 5 February 2025 diff hist +103‎ 1RB1RC 1LC1RE 1LD0LB 1RE1LC 1LE0RF 1RZ1RA ‎No edit summary
• 20:2020:20, 5 February 2025 diff hist +44‎ 1RB1RC 1LC1RE 1LD0LB 1RE1LC 1LE0RF ---1RA ‎ note halting shift overflow counter. Tag: Visual edit: Switched
• 20:1920:19, 5 February 2025 diff hist +1,193‎ N 1RB1RC 1LC1RE 1LD0LB 1RE1LC 1LE0RF ---1RA ‎ Created page with "{{machine|1RB1RC_1LC1RE_1LD0LB_1RE1LC_1LE0RF_---1RA}} {{TM|1RB1RC_1LC1RE_1LD0LB_1RE1LC_1LE0RF_---1RA}} Current second longest running BB(6) TM discovered by @racheline on 25 Nov 2024 ([https://discord.com/channels/960643023006490684/1239205785913790465/1310651468881334394 Discord Link]). It runs for over <math>10 \uparrow\uparrow 7</math> steps. == Analysis by racheline == <pre> a_1 = (2^179+1)/3+179 a_2 = (2^a_1+1)/3+a_1 a_3 = (2^a_2+1)/3+a_2 a_4 = (2^a_3+1)/3+a_3..."

4 February 2025

• 22:1722:17, 4 February 2025 diff hist +40‎ Backward Reasoning ‎ categories Tag: Visual edit
• 22:1522:15, 4 February 2025 diff hist −1‎ m 1RB3LA4RB0RB2LA 1LB2LA3LA1RA1RZ ‎ →‎Pascal Michel Tag: Visual edit
• 22:1422:14, 4 February 2025 diff hist +133‎ BB(2,5) ‎ Add comment about lower bound Tag: Visual edit
• 22:1422:14, 4 February 2025 diff hist +32‎ m BB(2,4) ‎No edit summary Tag: Visual edit: Switched
• 22:0722:07, 4 February 2025 diff hist −47‎ Skelet 1 ‎ Remove lower bound comment. Tag: Visual edit
• 22:0622:06, 4 February 2025 diff hist +58‎ Skelet 1 ‎ →‎Preperiod: Note this is an upper bound. Tag: Visual edit

2 February 2025

• 02:5602:56, 2 February 2025 diff hist +378‎ Skelet 1 ‎ Add new preperiod computation Tag: Visual edit

30 January 2025

• 16:0916:09, 30 January 2025 diff hist +51‎ Closed Tape Language (CTL) ‎ Link to my article at least for now Tag: Visual edit

16 January 2025

• 18:0218:02, 16 January 2025 diff hist +1,390‎ 1RB3LA4RB0RB2LA 1LB2LA3LA1RA1RZ ‎ →‎Analyses Tag: Visual edit
• 18:0018:00, 16 January 2025 diff hist +7,085‎ 1RB3LA4RB0RB2LA 1LB2LA3LA1RA1RZ ‎ Add in analysis history Tag: Visual edit
• 17:4917:49, 16 January 2025 diff hist −2‎ m 1RB3LA4RB0RB2LA 1LB2LA3LA1RA1RZ ‎No edit summary Tag: Visual edit: Switched
• 17:4817:48, 16 January 2025 diff hist +515‎ N 1RB3LA4RB0RB2LA 1LB2LA3LA1RA1RZ ‎ Created page with "{{machine|1RB3LA4RB0RB2LA_1LB2LA3LA1RA1RZ}} {{TM|1RB3LA4RB0RB2LA_1LB2LA3LA1RA1RZ}} This is the current BB(2,5) champion. It halts with sigma score (and runtime) over <math>10^{10^{10^{3\,314\,360}}}</math>. It was discovered by Daniel Yuan and shared [on Discord](https://discord.com/channels/960643023006490684/1084047886494470185/1254826217375273112) on 24 Jun 2024 and shared on the busy-beaver-discuss email list [the next day](https://groups.google.com/g/busy-beave..."

14 January 2025

• 17:1217:12, 14 January 2025 diff hist +7‎ m 1RB2LA1LA 2LA0RA2RC ---0LC2RA ‎No edit summary Tag: Visual edit: Switched

9 January 2025

• 18:5518:55, 9 January 2025 diff hist +478‎ Busy beaver lack of hope recurrence ‎ →‎Brady on level of intelligence required Tag: Visual edit
• 18:3718:37, 9 January 2025 diff hist +789‎ Busy beaver lack of hope recurrence ‎ Minor quote corrections and actually transcribe Brady's quote, plus restructure to have original quote sources first with 2nd-hand sources afterwards. Tag: Visual edit