All public logs
Jump to navigation
Jump to search
Combined display of all available logs of BusyBeaverWiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
- 18:04, 16 February 2025 Sligocki talk contribs created page 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...")
- 16:10, 14 February 2025 MrSolis talk contribs created page File:Hydra 0-572.gif (Animation of the first 572 steps taken by Hydra (1RB3LA2RB0LA4LA_2LA---4LB3RA0RA).)
- 16:10, 14 February 2025 MrSolis talk contribs uploaded File:Hydra 0-572.gif (Animation of the first 572 steps taken by Hydra (1RB3LA2RB0LA4LA_2LA---4LB3RA0RA).)
- 08:19, 10 February 2025 Jacobzheng talk contribs moved page User:Jacobzheng/text to User:Jacobzheng/value order
- 08:14, 10 February 2025 Jacobzheng talk contribs created page User:Jacobzheng/text (Created page with "== I guess the order of busy beaver function value size == BB(2)<BB(3)<BB(2,3)<BB(4)<BB(2,4)<BB(5)<BB(3,3)<BB(2,5)<BB(6)<BB(2,6)<BB(7)<BB(4,3)<BB(3,4)<BB(2,7)<BB(8)<BB(2,8)<BB(9)<BB(5,3)<BB(3,5)<BB(2,9)<BB(10)<BB(4,4)<BB(2,10)<BB(11)<BB(6,3)<BB(3,6)<BB(2,11)<BB(12)<BB(2,12)<BB(13)<BB(7,3)<BB(5,4)<BB(4,5)<BB(3,7)<BB(2,13)<BB(14)<BB(2,14)<BB(15)<BB(8,3)<BB(3,8)<BB(2,15)<BB(16)<BB(6,4)<BB(4,6)<BB(2,16)<BB(17)<BB(9,3)<BB(5,5)<BB(3,9)<BB(2,17)<BB(18)<BB(2,18)<BB(19)<BB(10,3)...")
- 00:26, 9 February 2025 Sligocki talk contribs created page 1RB1LA 1RC1LE 1RD1RE 0LA1RC ---0LB (Redirected page to 0RB1LD 1LC1RB 1LD1RE 1LA1LE 1LZ0RC) Tag: New redirect
- 00:25, 9 February 2025 Sligocki talk contribs created page 1RB1LA 1RC1LE 1RD1RE 0LA1RC 1RZ0LB (Redirected page to 0RB1LD 1LC1RB 1LD1RE 1LA1LE 1LZ0RC) Tag: New redirect
- 00:25, 9 February 2025 Sligocki talk contribs created page 0RB1LD 1LC1RB 1LD1RE 1LA1LE 1RZ0RC (Redirected page to 0RB1LD 1LC1RB 1LD1RE 1LA1LE 1LZ0RC) Tag: New redirect
- 00:25, 9 February 2025 Sligocki talk contribs created page 0RB1LD 1LC1RB 1LD1RE 1LA1LE ---0RC (Redirected page to 0RB1LD 1LC1RB 1LD1RE 1LA1LE 1LZ0RC) Tags: New redirect Visual edit: Switched
- 00:20, 9 February 2025 Sligocki talk contribs created page 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^{...")
- 23:18, 8 February 2025 MrSolis talk contribs moved page User:MrSolis/BB5ChampRM to User:MrSolis/Playground
- 22:20, 8 February 2025 MrSolis talk contribs created page File:BB5Champ 0-365.gif
- 22:20, 8 February 2025 MrSolis talk contribs uploaded File:BB5Champ 0-365.gif
- 14:32, 8 February 2025 Racheline talk contribs created page 1RB1LA2LA 1LA2RC1LB 1RD2RB0LC 0RA1RZ1RB (Redirected page to 0RB1RZ0RB 1RC1LB2LB 1LB2RD1LC 1RA2RC0LD) Tag: New redirect
- 14:31, 8 February 2025 Racheline talk contribs created page 1RB1LA2LA 1LA2RC1LB 1RD2RB0LC 0RA1RZ0RA (Redirected page to 0RB1RZ0RB 1RC1LB2LB 1LB2RD1LC 1RA2RC0LD) Tag: New redirect
- 14:30, 8 February 2025 Racheline talk contribs created page 0RB1RZ1RC 1RC1LB2LB 1LB2RD1LC 1RA2RC0LD (Redirected page to 0RB1RZ0RB 1RC1LB2LB 1LB2RD1LC 1RA2RC0LD) Tag: New redirect
- 19:47, 7 February 2025 Sligocki talk contribs created page 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
- 18:41, 7 February 2025 ADucharme talk contribs uploaded File:2x5 holdouts 217.txt
- 18:40, 7 February 2025 ADucharme talk contribs created page File:2x5 holdouts 217.txt (Created page with "1RB2LA4LA1RA1LA_2LB3RB4RB---2RA 1RB1LA1RB2RB2LA_2LB3RB4RB---0LA 1RB4LA1LB2LA0RB_2LB3RB4LA---1RA 1RB3RB1LA3LA2RA_2LB2RB0LA4RB--- 1RB3LB---0LA2LA_2LB3LA4RA0RB3RA 1RB---3LB4RB0LA_2LB3LA3RB4RA0RA 1RB0RA0RB3RB---_2LB3LA1LB4RA3LB 1RB0RA3LA4LA2RA_2LB3LA---4RA3RB 1RB---3RA2LA2RB_2LB3LA4LB4RA0RA 1RB4LA1RA1RB1LA_2LB3LA---4RA2RB 1RB4RB1LA2RB2LA_2LB3LA3RA2RA--- 1RB2RB1LA4RB3LB_2LB3LA1RA2RA--- 1RB4LA1LA---2RB_2LB3LA1LB2RA0RB 1RB4RA1LA4RB2LA_2LB3LA1RB2RA--- 1RB3LA1RB0RB---_2LB3LA4LB1R...")
- 19:24, 6 February 2025 Sligocki talk contribs created page Skelet (Create page for Skelet) Tag: Visual edit
- 19:04, 6 February 2025 Sligocki talk contribs created page 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:26, 6 February 2025 Sligocki talk contribs created page Category:BB Domain (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:23, 6 February 2025 Sligocki talk contribs created page 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
- 03:34, 6 February 2025 Sligocki talk contribs created page 1RB3LA4RB0RB2LA 1LB2LA3LA1RA--- (Redirected page to 1RB3LA4RB0RB2LA 1LB2LA3LA1RA1RZ) Tag: New redirect
- 03:34, 6 February 2025 Sligocki talk contribs created page 1RB1RA 1LC1RF 1RE1LD 0RD1LB ---0RA ---0LE (Redirected page to 1RB1RA 1LC1RF 1RE1LD 0RD1LB ---0RA 1RZ0LE) Tag: New redirect
- 03:33, 6 February 2025 Sligocki talk contribs created page 1RB0RC 1LC1LF 1RD0LB ---0LE ---1RA 1LB0RE (Redirected page to 1RB0RC 1LC1LF 1RD0LB 1RZ0LE ---1RA 1LB0RE) Tag: New redirect
- 03:32, 6 February 2025 Sligocki talk contribs created page 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:28, 6 February 2025 Sligocki talk contribs created page 1RB0RF 1LC1RB 0RD0LB ---0LE 1RE0RA 1RD1RE (Redirected page to 1RB0RF 1LC1RB 0RD0LB 1RZ0LE 1RE0RA 1RD1RE) Tag: New redirect
- 22:07, 5 February 2025 Sligocki talk contribs created page 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:19, 5 February 2025 Sligocki talk contribs created page 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...")
- 07:57, 2 February 2025 DF476 talk contribs created page User:DF476/BB2Zoology (Created page with "I'm working on creating this page for the wiki. This is a complete Zoology for all 2×2 TMs, considering halting and non-halting (including free-halting TMs, that is, machines that don't have any undefined or halting transition) machines. All TNF machines are included so that <code>0RA---_------</code> and <code>0RB---_1LA1LA</code> are both valid options that are actually considered in this zoology. == Non-halting machines == In general, there are 130 machines, 106...") Tag: Visual edit
- 19:29, 1 February 2025 LegionMammal978 talk contribs created page 1RB0LB0RC 2LC2LA1RA 1RA1LC--- (Redirected page to 1RB2LC1RC 2LC---2RB 2LA0LB0RA) Tag: New redirect
- 18:55, 1 February 2025 MrSolis talk contribs created page User:MrSolis/BB5ChampRM (Created page with "The 5-state busy beaver") Tag: Visual edit: Switched
- 02:56, 30 January 2025 User account Randombeaver talk contribs was created
- 09:34, 27 January 2025 Tjligocki talk contribs created page File:3x3.unk.sort.txt (Initial verified 3x3 holdouts)
- 09:34, 27 January 2025 Tjligocki talk contribs uploaded File:3x3.unk.sort.txt (Initial verified 3x3 holdouts)
- 09:31, 27 January 2025 Tjligocki talk contribs created page File:2025 01 05.3x3.holdouts annot 367.csv (Annotated list of holdouts generated by @tjligocki)
- 09:31, 27 January 2025 Tjligocki talk contribs uploaded File:2025 01 05.3x3.holdouts annot 367.csv (Annotated list of holdouts generated by @tjligocki)
- 15:47, 20 January 2025 Peacemaker II talk contribs created page BB(2,5) (Created page with "The 2-state, 5-symbol Busy Beaver problem '''BB(2,5)''' is unsolved. With the discovery of Hydra in May 2024, we now know that we must solve a Collatz-like problem in order to solve BB(2,5) and thus [https://www.sligocki.com/2024/05/10/bb-2-5-is-hard.html BB(2,5) is Hard].")
- 03:59, 18 January 2025 User account Majing talk contribs was created
- 02:03, 17 January 2025 Tjligocki talk contribs created page File:2023 06 08.3x3.holdouts iijil 2380.txt (Iijil's 2023 BB 3x3 holdout list.)
- 02:03, 17 January 2025 Tjligocki talk contribs uploaded File:2023 06 08.3x3.holdouts iijil 2380.txt (Iijil's 2023 BB 3x3 holdout list.)
- 02:02, 17 January 2025 Tjligocki talk contribs created page File:2023 06 08.3x3.holdouts intersect sligocki iijil 925.txt (BB 3x3 holdout list from 2023 that is the intersection of two other holdout lists.)
- 02:02, 17 January 2025 Tjligocki talk contribs uploaded File:2023 06 08.3x3.holdouts intersect sligocki iijil 925.txt (BB 3x3 holdout list from 2023 that is the intersection of two other holdout lists.)
- 01:55, 17 January 2025 Tjligocki talk contribs created page File:2023 06 07.3x3.holdouts 2417.txt (Early holdout list for BB 3x3)
- 01:55, 17 January 2025 Tjligocki talk contribs uploaded File:2023 06 07.3x3.holdouts 2417.txt (Early holdout list for BB 3x3)
- 17:48, 16 January 2025 Sligocki talk contribs created page 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...")
- 06:02, 10 January 2025 ADucharme talk contribs created page 1RB2LA1LA 2LA0RA2RC ---0LC2RA (Created page with "{{TM|1RB2LA1LA_2LA0RA2RC_---0LC2RA}} This is BB(3,3) holdout #531. It is equivalent to BB(3,3) holdout #532 {{TM|1RB2LA1LA_2LA0RA2RC_---1RB2RA}}, as found by [https://discord.com/channels/960643023006490684/1084047886494470185/1211902511829749810 @dyuan01]. @Legion wrote a simulator in Rust for this TM that can be found [https://discord.com/channels/960643023006490684/1026577255754903572/1244841134761578630 here.] They described the behavior of this machine as <blockq...") Tag: Visual edit
- 16:19, 9 January 2025 Sligocki talk contribs created page 1RB1LA 1LC0RE 1LF1LD 0RB0LA 1RC1RE ---0LD (Created page with "{{machine|1RB1LA_1LC0RE_1LF1LD_0RB0LA_1RC1RE_---0LD}} {{TM|1RB1LA_1LC0RE_1LF1LD_0RB0LA_1RC1RE_---0LD}} Analysis by @mxdys [https://discord.com/channels/960643023006490684/1239205785913790465/1326911501357023296 9 Jan 2025]: <pre> 1RB1LA_1LC0RE_1LF1LD_0RB0LA_1RC1RE_---0LD start: (3,1) (0,2+c) --> (4+c,1) (1,c) --> halt (2+2b,c) --> (7+5b+c,1) (3+2b,c) --> (b,4+b+c) (b,c) := 0^inf <A 1^b 00 1^c 0^inf </pre>")
- 12:21, 24 December 2024 User account MrSolis talk contribs was created
