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).
- 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
- 14:05, 22 December 2024 Jacobzheng talk contribs created page User:Jacobzheng/BB(40) (Created page with "<pre> start state:6 0 _ _ r 1 0 1 1 r 0 1 _ 1 r 10 1 1 1 r 2 2 _ _ l 38 2 1 1 r 3 3 _ _ l 11 3 1 1 r 4 4 _ _ l 5 4 1 1 r 4 5 _ _ r 20 5 1 _ l 6 6 _ 1 l 22 6 1 _ l 7 7 _ 1 l 8 7 1 1 l 7 8 _ _ r 31 8 1 _ l 9 9 _ _ r 8 9 1 _ r 5 10 _ _ l 37 10 1 1 r halt 11 _ 1 r 12 11 1 1 l 11 12 _ _ r 13 12 1 1 r 12 13 _ _ l 22 13 1 1 r 14 14 _ _ l 15 14 1 1 r 12 15 _ 1 r 19 15 1 _ l 17 16 _ 1 l 15 16 1 1 l 17 17 _ _ l 16 17 1 _ l 18 18 _ 1 l 16 18 1 1 l 18 19 _ _ l 9 19 1 1 r 19 20 _ _ r...")
- 08:24, 22 December 2024 Jacobzheng talk contribs created page Talk:Holdouts lists (Created page with "Why 4x3 holdouts list is there, champion hasn't been updated yet.Jacobzheng (talk) 08:24, 22 December 2024 (UTC)")
- 17:29, 10 December 2024 Sligocki talk contribs created page Graham's number (Created page with "'''Graham's number''' (<math>g_{64}</math> or <math>G</math>) is a famously huge number which Martin Gardner claimed was the "largest number ever used in a serious mathematical proof" in 1977. Since it is one of the most famous large numbers, it has become a bit of a yardstick for measuring "hugeness". In the specific context of the Busy Beaver game, we can ask, what is the smallest <math>n</math> such that <math>BB(n) > g_{64}</math>. There is an active search for the s...")
- 16:39, 10 December 2024 User account Rutherford talk contribs was created
- 02:40, 7 December 2024 C7X talk contribs created page Talk:1RJ1RH 1RC1RB 1LI0RD 1RC1LE 0LE1LF 1LG1RH 1RB0LF 0RA1LE 1RF1LJ 0LK1RZ 1LL1LK 1LM1LM 0LI0LL (Created page with "==Search algorithm== Incredible result! Has Racheline made public what algorithm she used to find the Collatz-like component? ~~~~")
- 16:25, 6 December 2024 Sligocki talk contribs created page 1RB0RC 1RC0LC 0RD1LE 1LE1RF 0LB--- 0RA1LA (Created page with "{{machine|1RB0RC_1RC0LC_0RD1LE_1LE1RF_0LB---_0RA1LA}} {{TM|1RB0RC_1RC0LC_0RD1LE_1LE1RF_0LB---_0RA1LA}} is a holdout BB(6) TM proven infinite by hand by @mxdys on 6 Dec 2024 Analysis by @mxdys: <pre> f(n0, ()) := n0 f(n0, (n,ls)) := 2*(f(n0, ls) - n) start: (2, (), 1) (k, ls, n) --> (k+1, (n,ls), 2*(f(2^k, ls)-(n+2))), f(2^k, ls)-(n+2) >= 0 </pre> Follow up by User:sligocki: <pre> Let (k, ls, n) --> (k+1, [n, ls], n') Then: n'+2 = 2 (f(2^k, ls) - n) - 2...")
