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).
- 11:31, 25 April 2025 User account Windowsanddoorsrus1159 talk contribs was created
- 11:51, 18 April 2025 Jacobzheng talk contribs created page User:Jacobzheng/14a (Created page with "A 14x2 halt TM: <pre> 0 _ 1 r 1 0 1 1 r 13 1 _ 1 r 2 1 1 _ l 6 2 _ 1 l 3 2 1 1 r 1 3 _ 1 l 5 3 1 1 l 4 4 _ 1 l 7 4 1 1 l 5 5 _ 1 r 6 5 1 _ l 3 6 _ 1 l 1 6 1 _ r 5 7 _ 1 r 8 7 1 1 r 7 8 _ 1 r halt 8 1 _ r 9 9 _ 1 r 8 9 1 1 l 10 10 _ _ l 10 10 1 1 l 11 11 _ 1 l 12 11 1 1 r 13 12 _ 1 r 7 12 1 _ l 11 13 _ _ r 0 13 1 1 l 10 </pre> It halts at step <math> > Ack(10 \uparrow\uparrow 5) </math>")
- 22:09, 14 April 2025 MrSolis talk contribs created page File:HydraFunction-StartingValue11.png (The first 1000 iterates of the Hydra function, with starting value 11.)
- 22:09, 14 April 2025 MrSolis talk contribs uploaded File:HydraFunction-StartingValue11.png (The first 1000 iterates of the Hydra function, with starting value 11.)
- 22:08, 14 April 2025 MrSolis talk contribs created page File:HydraFunction-StartingValue5.png (The first 1000 iterates of the Hydra function, with starting value 5.)
- 22:08, 14 April 2025 MrSolis talk contribs uploaded File:HydraFunction-StartingValue5.png (The first 1000 iterates of the Hydra function, with starting value 5.)
- 22:08, 14 April 2025 MrSolis talk contribs created page File:HydraFunction-StartingValue2.png (The first 1000 iterates of the Hydra function, with starting value 2.)
- 22:08, 14 April 2025 MrSolis talk contribs uploaded File:HydraFunction-StartingValue2.png (The first 1000 iterates of the Hydra function, with starting value 2.)
- 10:05, 12 April 2025 C7X talk contribs created page Talk:Shift rule (Created page with "==Bouncer example== In the example here, it looks like the machine given has the roles of <math>A</math> and <math>B</math> switched from how they are in the shift rules in the article. Should the rules be for the machine <code>1LB1RA_1RA1LB</code> instead? I could be wrong if I'm misunderstanding something ~~~~")
- 17:54, 3 April 2025 Coda talk contribs created page File:Antihydra award.jpg
- 17:54, 3 April 2025 Coda talk contribs uploaded File:Antihydra award.jpg
- 17:48, 29 March 2025 DF476 talk contribs created page File:BB2x5 Coq holdouts 83.txt
- 17:48, 29 March 2025 DF476 talk contribs uploaded File:BB2x5 Coq holdouts 83.txt
- 20:36, 28 March 2025 User account Tromp talk contribs was created
- 15:41, 28 March 2025 Sligocki talk contribs created page Busy Beaver (Redirected page to Busy Beaver Functions) Tag: New redirect
- 15:40, 28 March 2025 Sligocki talk contribs created page Busy Beaver for lambda calculus (Created page with "'''Busy Beaver for lambda calculus''' ('''BBλ''') is a variation of the Busy Beaver problem for [https://en.wikipedia.org/wiki/Lambda_calculus lambda calculus] invented by John Tromp. BBλ(n) = the maximum normal form size of any closed lambda term of size n. If you are not familiar with lambda calculus and beta-reduction, I recommend starting with that article. Size is measured in bits using [https://tromp.github.io/cl/Binary_lambda_calculus.html Binary Lambda Cal...")
- 13:29, 28 March 2025 Sligocki talk contribs created page BBλ (Redirected page to Busy Beaver for lambda calculus) Tag: New redirect
- 06:25, 26 March 2025 UncombedCoconut talk contribs unblocked IsiahHutchings talk contribs (wrong target)
- 21:41, 25 March 2025 Sligocki talk contribs created page 1RB3LA1LA1RA3RA 2LB2RA---4RB1LB (Created page with "{{machine|1RB3LA1LA1RA3RA_2LB2RA---4RB1LB}} {{TM|1RB3LA1LA1RA3RA_2LB2RA---4RB1LB}} is a BB(2,5) TM analyzed by Racheline [https://discord.com/channels/960643023006490684/1349040227548663858/1349448649817456670 on 12 Mar 2025] that appears to be a Cryptid Analysis by Racheline: <pre> 1RB3LA1LA1RA3RA_2LB2RA---4RB1LB A(a,b) := 0^inf 1 4^a 1^3 A> 1^b 2 0^inf B(a,b) := 0^inf 1 4^a 1^b A> 1 0^inf A(a,2a+b+3) -> A(3a+4,b) A(a,2a+2) -> B(3a+4,2) A(a,2a+1) -> halt A(a,2...")
- 21:38, 25 March 2025 Sligocki talk contribs created page 1RB3LA1LA1RA1RA 2LB2RA---4RB1LB (Created page with "{{machine|1RB3LA1LA1RA1RA_2LB2RA---4RB1LB}} {{TM|1RB3LA1LA1RA1RA_2LB2RA---4RB1LB}} is a BB(2,5) TM that appears to be a Cryptid Analysis by mxdys and Racheline: <pre> 1RB3LA1LA1RA1RA_2LB2RA---4RB1LB start: A(4,4) A(a,3+a+b) --> A(4+2a,b) A(a,2+a) --> B(2a+2,3) A(a,1+a) --> halt A(b+a,b) --> B(a,2b) B(3a+1,b) --> A(4,2+5a+b) B(3a+2,b) --> B(5+5a+b,2) B(3a+0,b) --> B(3+5a+b,0) A(a,b) := 0^inf 1 4^a 1^4 A> 1^b 2 0^inf B(a,b) := 0^inf 1 4^a 1^3+b A> 11 0^inf </pre>")
- 07:37, 25 March 2025 Axolotldailyweek talk contribs created page Category:Axolotls (Created page with "Turing machines shown to be Axolotls.")
- 07:22, 25 March 2025 Axolotldailyweek talk contribs created page 1RB1LC 1LB1RA 0LD0RA 0RA0LE ---0LF 0RA0LC (Redirected page to Axolotl 1) Tag: New redirect
- 07:22, 25 March 2025 Axolotldailyweek talk contribs created page Axolotl 1 (Created page with "{{machine|1RB1LC_1LB1RA_0LD0RA_0RA0LE_---0LF_0RA0LC}}")
- 03:37, 24 March 2025 User account Axolotldailyweek talk contribs was created
- 17:56, 11 March 2025 UncombedCoconut talk contribs unblocked Colleen8430 talk contribs (it seems the block hit a legit user)
- 17:38, 11 March 2025 LegionMammal978 talk contribs blocked Colleen8430 talk contribs with an expiration time of indefinite (account creation disabled, cannot edit own talk page) (Spamming links to external sites)
- 12:13, 11 March 2025 UncombedCoconut talk contribs deleted page The 9 Best Link Building Software You Need In 2025 (Spam: content was: "<br> The content is geared around serving to consumers make knowledgeable shopping for decisions and there's an editorial and publishing workflow to make sure human editors have oversight. All it is advisable to do is place your specific key phrase into the keywords explorer of this tool and take a look at the widget for the "SERP overview." Here, you'll be able to...", and the only contributor was "Colleen8430" ([[User talk:Colleen843...)
- 05:54, 11 March 2025 Colleen8430 talk contribs created page The 9 Best Link Building Software You Need In 2025 (Created page with "<br> The content is geared around serving to consumers make knowledgeable shopping for decisions and there's an editorial and publishing workflow to make sure human editors have oversight. All it is advisable to do is place your specific key phrase into the keywords explorer of this tool and take a look at the widget for the "SERP overview." Here, you'll be able to examine the highest-rating pages for the key phrase and see the number of backlinks they have. Moz’s Open...")
- 05:54, 11 March 2025 User account Colleen8430 talk contribs was created
- 22:43, 7 March 2025 MrSolis talk contribs created page File:ProbviousExcerpt.png (Image containing an excerpt of the article where "probvious" was first introduced.)
- 22:43, 7 March 2025 MrSolis talk contribs uploaded File:ProbviousExcerpt.png (Image containing an excerpt of the article where "probvious" was first introduced.)
- 11:49, 7 March 2025 MrSolis talk contribs created page File:Hydra Spiral.png (A spiral-like figure displaying the first few terms of Hydra sequences under different initial values.)
- 11:49, 7 March 2025 MrSolis talk contribs uploaded File:Hydra Spiral.png (A spiral-like figure displaying the first few terms of Hydra sequences under different initial values.)
- 09:04, 6 March 2025 Racheline talk contribs moved page 1RB0RD 0RC1RE 1RD0LA 1LE1LC 1RF0LD ---0RA to Lucy's Moonlight (it got named)
- 22:48, 3 March 2025 MrSolis talk contribs created page File:Antihydra TransitionTable.png (The transition table of Antihydra (1RB1RA_0LC1LE_1LD1LC_1LA0LB_1LF1RE_---0RA).)
- 22:48, 3 March 2025 MrSolis talk contribs uploaded File:Antihydra TransitionTable.png (The transition table of Antihydra (1RB1RA_0LC1LE_1LD1LC_1LA0LB_1LF1RE_---0RA).)
- 21:36, 3 March 2025 Coda talk contribs created page File:Antihydra increasing value.png
- 21:36, 3 March 2025 Coda talk contribs uploaded File:Antihydra increasing value.png
- 18:06, 2 March 2025 Sligocki talk contribs created page 1RB0LE 1LC1RA ---1LD 0RB1LF 1RD1LA 0LA0RD (Created page with "{{machine|1RB0LE_1LC1RA_---1LD_0RB1LF_1RD1LA_0LA0RD}} {{TM|1RB0LE_1LC1RA_---1LD_0RB1LF_1RD1LA_0LA0RD}} is an non-halting BB(6) Turing machine. Analysis by @racheline on 29 July 2024 ([https://discord.com/channels/960643023006490684/1239205785913790465/1267551868997992652 Discord link]): <pre> 1RB0LE_1LC1RA_---1LD_0RB1LF_1RD1LA_0LA0RD A(n) = 0^inf <A 0 1^n rules: A(6n) -> A(12n+3) A(6n+1) -> A(12n+6) A(6n+2) -> halt A(6n+3) -> A(9n+9) A(6n+4) -> halt A(6n+5) -> A(9...")
- 17:43, 2 March 2025 Sligocki talk contribs created page 1RB0RC 0LC0LB 0LD1LC 0LE1LA 0LF--- 1RF1RA (Created page with "{{machine|1RB0RC_0LC0LB_0LD1LC_0LE1LA_0LF---_1RF1RA}} {{TM|1RB0RC_0LC0LB_0LD1LC_0LE1LA_0LF---_1RF1RA}} is a tetrational BB(6) Cryptid found by Racheline on 30 July 2024 ([https://discord.com/channels/960643023006490684/1239205785913790465/1267805112651350107 Discord link]). It is neither probviously halting or probviously non-halting. Racheline estimates that it has a 2/3 chance of become a Translated Cycler and 1/3 chance of halting eventually. <pre> 1R...") Tag: Visual edit: Switched
- 16:51, 2 March 2025 Sligocki talk contribs created page 1RB0RD 0RC1RE 1RD0LA 1LE1LC 1RF0LD ---0RA (Created page with "{{machine|1RB0RD_0RC1RE_1RD0LA_1LE1LC_1RF0LD_---0RA}} {{TM|1RB0RD_0RC1RE_1RD0LA_1LE1LC_1RF0LD_---0RA}} is a probviously halting tetrational BB(6) Cryptid found by Racheline on 1 Mar 2025 ([https://discord.com/channels/960643023006490684/1239205785913790465/1345551751016878272 Discord link]). <pre> f(3n) = 8n+3 f(3n+1) = 8n+11 f(3n+2) = 8n+12 a_0 = 4 a_(n+1) = f(a_n) b_0 = 0 b_(n+1) = b_n+(1 if 3|a_n else 2) c_0 = 14(?) c_(n+1) is somewhere around the smalles...")
- 16:47, 2 March 2025 Sligocki talk contribs created page 1RB0LC 1LC0RD 1LF1LA 1LB1RE 1RB1LE ---0LE (Created page with "{{machine|1RB0LC_1LC0RD_1LF1LA_1LB1RE_1RB1LE_---0LE}} {{TM|1RB0LC_1LC0RD_1LF1LA_1LB1RE_1RB1LE_---0LE}} is a probviously halting tetrational BB(6) Cryptid found by Racheline on 23 Nov 2024 ([https://discord.com/channels/960643023006490684/1239205785913790465/1310044618632593409 Discord link]). <blockquote> 1RB0LC_1LC0RD_1LF1LA_1LB1RE_1RB1LE_---0LE is a tetrational probviously halting cryptid. the lower bound for when it halts is around 10^10^120395, and with...")
- 16:43, 2 March 2025 Sligocki talk contribs created page 1RB1LE 0LC0LB 1RD1LC 1RD1RA 1RF0LA ---1RE (Created page with "{{machine|1RB1LE_0LC0LB_1RD1LC_1RD1RA_1RF0LA_---1RE}} {{TM|1RB0LC_0LC0RF_1RD1LC_0RA1LE_---0LD_1LF1LA}} is a tetrational BB(6) Cryptid found by Racheline on 30 July 2024 ([https://discord.com/channels/960643023006490684/1239205785913790465/1267788732300398647 Discord link]). It is the first discovered Cryptid which is neither probviously halting or probviously non-halting. Racheline estimates that it has a 3/5 chance of become a Translated Cycler and 2/5 c...")
- 16:38, 2 March 2025 Sligocki talk contribs created page 1RB0LC 0LC0RF 1RD1LC 0RA1LE ---0LD 1LF1LA (Created page with "{{machine|1RB0LC_0LC0RF_1RD1LC_0RA1LE_---0LD_1LF1LA}} {{TM|1RB0LC_0LC0RF_1RD1LC_0RA1LE_---0LD_1LF1LA}} is a probviously halting tetrational BB(6) Cryptid found by Racheline on 30 July 2024 ([https://discord.com/channels/960643023006490684/1239205785913790465/1267778444280725514 Discord link]). <pre> 1RB0LC_0LC0RF_1RD1LC_0RA1LE_---0LD_1LF1LA A(n,m) = 0^inf 1^n 0 F> (01)^m 0^inf A(2n,m) -> A(3n+6,m-3) A(2n+1,m) -> A(3n+4,m-1) A(2n,2) -> A(3n+5,0) A(2n+1,0) ->...")
- 16:31, 2 March 2025 Sligocki talk contribs created page 1RB0RE 1LC1LD 0RA0LD 1LB0LA 1RF1RA ---1LB (Created page with "{{machine|1RB0RE_1LC1LD_0RA0LD_1LB0LA_1RF1RA_---1LB}} {{TM|1RB0RE_1LC1LD_0RA0LD_1LB0LA_1RF1RA_---1LB}} is a probviously halting tetrational BB(6) Cryptid found by Racheline on 30 July 2024 ([https://discord.com/channels/960643023006490684/1239205785913790465/1267752546546487357 Discord link]). <pre> 1RB0RE_1LC1LD_0RA0LD_1LB0LA_1RF1RA_---1LB A(n,m) = 0^inf (01)^(3n-4) A> (01)^m 0^inf A(2n,m) -> A(3n,m-2) A(2n+1,m) -> A(3n+1,m-1) A(n,0) -> A(2,3n-4) A(n,-1) -...")
- 16:23, 2 March 2025 Sligocki talk contribs created page 1RB1RE 1LC1LD ---1LA 1LB1LE 0RF0RA 1LD1RF (Created page with "{{machine|1RB1RE_1LC1LD_---1LA_1LB1LE_0RF0RA_1LD1RF}} {{TM|1RB1RE_1LC1LD_---1LA_1LB1LE_0RF0RA_1LD1RF}} is a probviously halting tetrational BB(6) Cryptid. found by Racheline on 29 July 2024 [https://discord.com/channels/960643023006490684/1239205785913790465/1267538388530233404 Discord link]. <pre> 1RB1RE_1LC1LD_---1LA_1LB1LE_0RF0RA_1LD1RF A(m, n+9) = 0^inf 1^m (01)^n 0 A> 0^inf rules: A(m+4, 2n) -> A(m, 3n) A(m+4, 2n+1) -> A(m, 3n+1) A(0, 2n) -> halt A(0,...")
- 17:40, 1 March 2025 MrSolis talk contribs created page File:Hydra TransitionTable.png (The transition table of Hydra (1RB3RB---3LA1RA_2LA3RA4LB0LB0LA).)
- 17:40, 1 March 2025 MrSolis talk contribs uploaded File:Hydra TransitionTable.png (The transition table of Hydra (1RB3RB---3LA1RA_2LA3RA4LB0LB0LA).)
- 15:24, 27 February 2025 Sligocki talk contribs created page 1RB2LA1LA 2LA0RA2RC ---1RB2RA (Redirected page to 1RB2LA1LA 2LA0RA2RC ---0LC2RA) Tag: New redirect
- 23:36, 26 February 2025 Peacemaker II talk contribs created page 1RB3RB---1LB0LA 2LA4RA3LA4RB1LB (Redirected page to Beaver Math Olympiad#Solved problems) Tag: New redirect
