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).
- 23:35, 26 February 2025 Peacemaker II talk contribs created page 1RB1RB3LA4LA2RA 2LB3RA---3RA4RB (Redirected page to Beaver Math Olympiad#Solved problems) Tag: New redirect
- 23:34, 26 February 2025 Peacemaker II talk contribs created page 1RB0RB3LA4LA2RA 2LB3RA---3RA4RB (Redirected page to Beaver Math Olympiad#Solved problems) Tag: New redirect
- 01:58, 26 February 2025 MrSolis talk contribs created page File:5-state Busy Beaver TransitionTable.png
- 01:58, 26 February 2025 MrSolis talk contribs uploaded File:5-state Busy Beaver TransitionTable.png
- 01:54, 26 February 2025 MrSolis talk contribs created page File:5-state Busy Beaver TransitionTable.svg (A transition table of the 5-state busy beaver winner (1RB1LC_1RC1RB_1RD0LE_1LA1LD_1RZ0LA).)
- 01:54, 26 February 2025 MrSolis talk contribs uploaded File:5-state Busy Beaver TransitionTable.svg (A transition table of the 5-state busy beaver winner (1RB1LC_1RC1RB_1RD0LE_1LA1LD_1RZ0LA).)
- 11:25, 23 February 2025 MrSolis talk contribs created page File:Hydra-function-bitmap-255iterations.svg (A bitmap displaying the number 3 in the first row and repeated Hydra function iterations up to the first 255 in subsequent rows; each number is given in binary.)
- 11:25, 23 February 2025 MrSolis talk contribs uploaded File:Hydra-function-bitmap-255iterations.svg (A bitmap displaying the number 3 in the first row and repeated Hydra function iterations up to the first 255 in subsequent rows; each number is given in binary.)
- 01:25, 18 February 2025 User account Hipparcos talk contribs was created
- 03:35, 17 February 2025 Sligocki talk contribs created page 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. ~~~~")
- 00:32, 17 February 2025 MrSolis talk contribs created page File:AHydra 0-419.gif (The first 419 steps of Antihydra (1RB1RA_0LC1LE_1LD1LC_1LA0LB_1LF1RE_---0RA) starting from the blank tape.)
- 00:32, 17 February 2025 MrSolis talk contribs uploaded File:AHydra 0-419.gif (The first 419 steps of Antihydra (1RB1RA_0LC1LE_1LD1LC_1LA0LB_1LF1RE_---0RA) starting from the blank tape.)
- 18:22, 16 February 2025 Racheline talk contribs moved page Least busy beaver to Least Busy Beaver (consistency)
- 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)
