Main 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).
- 15:54, 22 October 2026 Sligocki talk contribs created page 1LM0RB 1LC1RB 0LM0LD 1RE1LD 0RF0RB 0LN0LG 1LH1LG 0RK0RI 1RJ1RI 0LN1RF 0RL1RK 0RZ1LC 0RA1LM 1LM1LN (Created page with "{{machine|1LM0RB_1LC1RB_0LM0LD_1RE1LD_0RF0RB_0LN0LG_1LH1LG_0RK0RI_1RJ1RI_0LN1RF_0RL1RK_0RZ1LC_0RA1LM_1LM1LN}} {{TM|1LM0RB_1LC1RB_0LM0LD_1RE1LD_0RF0RB_0LN0LG_1LH1LG_0RK0RI_1RJ1RI_0LN1RF_0RL1RK_0RZ1LC_0RA1LM_1LM1LN}} is a 14-state, 2-symbol TM that halts iff the weak Collatz conjecture is false. It was found by @charlie with the help of @.mira.mira. using AI tools (see https://github.com/calr3/tinycryptids/blob/weakcollatz-14/weakcollatz/README.md). == Weak Collatz ==...")
- 17:22, 21 October 2026 Sligocki talk contribs created page 1RB1LA 1LC0RE 1LF1LD 1RE0LC 1LB1RA ---0LA (Created page with "{{machine|1RB1LA_1LC0RE_1LF1LD_1RE0LC_1LB1RA_---0LA}} {{TM|1RB1LA_1LC0RE_1LF1LD_1RE0LC_1LB1RA_---0LA}} is a BB(6) potential Cryptid found by Marco Dos Santos using Gemini and reported in his paper [https://arxiv.org/abs/2610.22603 At the Limits of Computability: Steps Towards Autonomous AI Discovery on the Busy Beaver Frontier]. The probvious behavior of these TMs has not yet been analyzed. == Analysis by Marco Dos Santos == <pre> Consider: C(a,b,c,d) = 0^in...")
- 17:21, 21 October 2026 Sligocki talk contribs created page 1RB1LE 1RC1RA 0LD1RB 1LE1LD 1RF0LA ---0RE (Created page with "{{machine|1RB1LE_1RC1RA_0LD1RB_1LE1LD_1RF0LA_---0RE}} {{TM|1RB1LE_1RC1RA_0LD1RB_1LE1LD_1RF0LA_---0RE}} is a BB(6) potential Cryptid found by Marco Dos Santos using Gemini and reported in his paper [https://arxiv.org/abs/2610.22603 At the Limits of Computability: Steps Towards Autonomous AI Discovery on the Busy Beaver Frontier]. The probvious behavior of these TMs has not yet been analyzed. == Analysis by Marco Dos Santos == <pre> Consider: E(a, b, c) = 0^in...")
- 17:21, 21 October 2026 Sligocki talk contribs created page 1RB1RC 1LC1LC 1RE0LD 1LB1RF ---1RA 0RD1RD (Created page with "{{machine|1RB1RC_1LC1LC_1RE0LD_1LB1RF_---1RA_0RD1RD}} {{TM|1RB1RC_1LC1LC_1RE0LD_1LB1RF_---1RA_0RD1RD}} is a BB(6) potential Cryptid found by Marco Dos Santos using Gemini and reported in his paper [https://arxiv.org/abs/2610.22603 At the Limits of Computability: Steps Towards Autonomous AI Discovery on the Busy Beaver Frontier]. The probvious behavior of these TMs has not yet been analyzed. == Analysis by Marco Dos Santos == <pre> Consider: C(a, b, c) = 0^in...")
- 17:19, 21 October 2026 Sligocki talk contribs created page 1RB1LF 0RC1RD 1LA1LD 1LE0RA ---1LC 0LA1LA (Created page with "{{machine|1RB1LF_0RC1RD_1LA1LD_1LE0RA_---1LC_0LA1LA}} {{TM|1RB1LF_0RC1RD_1LA1LD_1LE0RA_---1LC_0LA1LA}} is a BB(6) potential Cryptid found by Marco Dos Santos using Gemini and reported in his paper [https://arxiv.org/abs/2610.22603 At the Limits of Computability: Steps Towards Autonomous AI Discovery on the Busy Beaver Frontier]. The probvious behavior of these TMs has not yet been analyzed. == Analysis by Marco Dos Santos == <pre> Consider: C(a, b) = 0^inf 1...")
- 17:18, 21 October 2026 Sligocki talk contribs created page 1RB0LC 0LC1RF 1LE1RD 0RC1RC 0LA1LA ---1RA (Created page with "{{machine|1RB0LC_0LC1RF_1LE1RD_0RC1RC_0LA1LA_---1RA}} {{TM|1RB0LC_0LC1RF_1LE1RD_0RC1RC_0LA1LA_---1RA}} is a BB(6) potential Cryptid found by Marco Dos Santos using Gemini and reported in his paper [https://arxiv.org/abs/2610.22603 At the Limits of Computability: Steps Towards Autonomous AI Discovery on the Busy Beaver Frontier]. The probvious behavior of these TMs has not yet been analyzed. == Analysis by Marco Dos Santos == <pre> Consider: E(a, k, c) = 0^in...")
- 17:17, 21 October 2026 Sligocki talk contribs created page 1RB0LF 1RC1RA 0RD0RB 1LE--- 0LA1LE 1RD1LA (Created page with "{{machine|1RB0LF_1RC1RA_0RD0RB_1LE---_0LA1LE_1RD1LA}} {{TM|1RB0LF_1RC1RA_0RD0RB_1LE---_0LA1LE_1RD1LA}} is a BB(6) potential Cryptid found by Marco Dos Santos using Gemini and reported in his paper [https://arxiv.org/abs/2610.22603 At the Limits of Computability: Steps Towards Autonomous AI Discovery on the Busy Beaver Frontier]. The probvious behavior of these TMs has not yet been analyzed. == Analysis by Marco Dos Santos == <pre> Consider: J(u, v, w) = 0^in...")
- 17:15, 21 October 2026 Sligocki talk contribs created page 1RB1RD 0LC1RA 1RA1LC 0RB1LE 1RF0LD ---0RE (Created page with "{{machine|1RB1RD_0LC1RA_1RA1LC_0RB1LE_1RF0LD_---0RE}} {{TM|1RB1RD_0LC1RA_1RA1LC_0RB1LE_1RF0LD_---0RE}} is a BB(6) potential Cryptid found by Marco Dos Santos using Gemini and reported in his paper [https://arxiv.org/abs/2610.22603 At the Limits of Computability: Steps Towards Autonomous AI Discovery on the Busy Beaver Frontier]. The probvious behavior of these TMs has not yet been analyzed. == Analysis by Marco Dos Santos == <pre> Consider: P_1(c) = 0^inf C>...")
- 17:13, 21 October 2026 Sligocki talk contribs created page 1RB0LF 1LC1RA 0RE0RD ---1LE 1LF1RC 1LC1LA (Created page with "{{machine|1RB0LF_1LC1RA_0RE0RD_---1LE_1LF1RC_1LC1LA}} {{TM|1RB0LF_1LC1RA_0RE0RD_---1LE_1LF1RC_1LC1LA}} is a BB(6) potential Cryptid found by Marco Dos Santos using Gemini and reported in his paper [https://arxiv.org/abs/2610.22603 At the Limits of Computability: Steps Towards Autonomous AI Discovery on the Busy Beaver Frontier]. The probvious behavior of these TMs has not yet been analyzed. == Analysis by Marco Dos Santos == <pre> Consider: C(a, b) = 0^inf E...")
- 17:12, 21 October 2026 Sligocki talk contribs created page 1RB1RB 1LC0RE ---1LD 0RA1LB 1RA1LF 0LE1LE (Created page with "{{machine|1RB1RB_1LC0RE_---1LD_0RA1LB_1RA1LF_0LE1LE}} {{TM|1RB1RB_1LC0RE_---1LD_0RA1LB_1RA1LF_0LE1LE}} is a BB(6) potential Cryptid found by Marco Dos Santos using Gemini and reported in his paper [https://arxiv.org/abs/2610.22603 At the Limits of Computability: Steps Towards Autonomous AI Discovery on the Busy Beaver Frontier]. The probvious behavior of these TMs has not yet been analyzed. == Analysis by Marco Dos Santos == <pre> Consider: C(a, c, f) = 0^in...")
- 17:10, 21 October 2026 Sligocki talk contribs created page 1RB1RD 0LC1RA 0RA1LC 1RA1LE 1RF0LD ---0RE (Created page with "{{machine|1RB1RD_0LC1RA_0RA1LC_1RA1LE_1RF0LD_---0RE}} {{TM|1RB1RD_0LC1RA_0RA1LC_1RA1LE_1RF0LD_---0RE}} is a BB(6) potential Cryptid found by Marco Dos Santos using Gemini and reported in his paper [https://arxiv.org/abs/2610.22603 At the Limits of Computability: Steps Towards Autonomous AI Discovery on the Busy Beaver Frontier]. The probvious behavior of these TMs has not yet been analyzed. == Analysis by Marco Dos Santos == <pre> Consider: P_1(c) = 0^inf C>...")
- 17:09, 21 October 2026 Sligocki talk contribs created page 1RB1LD 1RC0RA 1LA1RE 0LA0LB 0RB1RF ---1RD (Created page with "{{machine|1RB1LD_1RC0RA_1LA1RE_0LA0LB_0RB1RF_---1RD}} {{TM|1RB1LD_1RC0RA_1LA1RE_0LA0LB_0RB1RF_---1RD}} is a BB(6) potential Cryptid found by Marco Dos Santos using Gemini and reported in his paper [https://arxiv.org/abs/2610.22603 At the Limits of Computability: Steps Towards Autonomous AI Discovery on the Busy Beaver Frontier]. The probvious behavior of these TMs has not yet been analyzed. == Analysis by Marco Dos Santos == <pre> Consider: A(a, b, c, d) = 0...")
- 18:52, 1 October 2026 Sligocki talk contribs created page Sporadic TM (Redirected page to BB(5)#Deciders) Tags: New redirect Visual edit
- 18:52, 1 October 2026 Sligocki talk contribs created page Sporadic (Redirected page to BB(5)#Deciders) Tags: New redirect Visual edit
- 18:52, 1 October 2026 Sligocki talk contribs created page Sporadic TMs (Redirected page to BB(5)#Deciders) Tags: New redirect Visual edit
- 14:21, 16 September 2026 Sligocki talk contribs blocked Tianxinhuinb666 talk contribs with an expiration time of indefinite (account creation disabled) (Inserting nonsense/gibberish into pages)
- 05:48, 14 September 2026 Sligocki talk contribs blocked Prylicrter talk contribs with an expiration time of indefinite (account creation disabled) (Removing content from pages)
- 23:52, 5 September 2026 Sligocki talk contribs deleted page (Article title) (content was: "{{delete|Looks like things covered elsewhere on this wiki}} La funzione bb(n) e incalcolabile, anche se, gli stati fanno crescere velocemente, ma i simboli con gli stati ancora di piu!, quindi dobbiamo fare computer con piu potenza di calcolo e altre cose!")
- 16:05, 14 August 2026 Sligocki talk contribs created page BBdio (Redirected page to Diophantine Equation) Tags: New redirect Visual edit
- 15:43, 12 August 2026 Sligocki talk contribs deleted page User:BeatriceJaramill (Spam: content was: "I am part of the community. My name is from Megasto.com.ua. <br>Nothing to tell about me at all. <br>I’m pleased to join here and read. <br>Cheers.<br>Promo: 3PhdaMIuyGTCpRm2<br><br>Here is my web site - [https://megasto.com.ua/catalog/strichka_konve_rna_/ лєнта транспортерна]", and the only contributor was "BeatriceJaramill" (talk))
- 05:06, 21 June 2026 Sligocki talk contribs created page Number of Halting TMs (Created page with "The '''Number of Halting TMs''' for a given domain (<math>N_e(n,m)</math>) is an uncomputable Busy Beaver Function first defined by Tibor Radó in his 1962 paper.<ref>Tibor Radó (May 1962). "[https://computation4cognitivescientists.weebly.com/uploads/6/2/8/3/6283774/rado-on_non-computable_functions.pdf On non-computable functions]" (PDF). ''Bell System Technical Journal''. '''41''' (3): 877–884. https://doi.org/10.1002%2Fj.1538-7305.1962.tb00480.x</ref> It counts...") Tag: Visual edit
- 22:41, 14 June 2026 Sligocki talk contribs created page BrB (Redirected page to Branching Beaver) Tag: New redirect
- 06:24, 14 June 2026 Sligocki talk contribs created page Standard Text Format (Redirected page to Turing machine#Standard text format) Tag: New redirect
- 06:24, 14 June 2026 Sligocki talk contribs created page Busy Beaver Function (Redirected page to Busy Beaver Functions) Tag: New redirect
- 06:23, 14 June 2026 Sligocki talk contribs created page Branching Beaver (Created page with "The '''Branching Beaver''' ('''BrB'''(n,m)) is a Busy Beaver Function for '''Trivalent Turing Machines''' ('''TTM'''). A Trivalent Turing Machine is a Turing machine with the tape replaced by a 3-regular wikipedia:Bethe lattice. This is a graph where every node has exactly 3 neighbors. Like with traditional TM tapes, this branching tape is infinite and has no cycles. It can be thought of as an infinite binary tree with no root node (every node has 2 childre...")
- 15:53, 3 May 2026 Sligocki talk contribs created page Lambda Calculus (Redirected page to Busy Beaver for lambda calculus) Tags: New redirect Visual edit
- 15:53, 3 May 2026 Sligocki talk contribs created page BBµ (Redirected page to General Recursive Function) Tag: New redirect
- 15:52, 3 May 2026 Sligocki talk contribs created page GRF (Redirected page to General Recursive Function) Tag: New redirect
- 16:55, 28 April 2026 Sligocki talk contribs created page 1RB0LD 0RC0RF 0RD0RA 1LE0RD 1LF--- 0LA1LA (Redirect)
- 16:08, 24 April 2026 Sligocki talk contribs created page File:Skewed tent map.png
- 16:08, 24 April 2026 Sligocki talk contribs uploaded File:Skewed tent map.png
- 15:18, 24 April 2026 Sligocki talk contribs created page File:Tent Distr 5B.png
- 15:18, 24 April 2026 Sligocki talk contribs uploaded File:Tent Distr 5B.png
- 22:41, 23 April 2026 Sligocki talk contribs created page 1RB--- 0RC0RD 1LD1RB 0LE0LC 1RA0LF 1LD1LE (Created page with "{{machine|1RB---_0RC0RD_1LD1RB_0LE0LC_1RA0LF_1LD1LE}} == Analysis by Shawn Ligocki == https://discord.com/channels/960643023006490684/1239205785913790465/1497001816741646407 <pre> 1RB---_0RC0RD_1LD1RB_0LE0LC_1RA0LF_1LD1LE Let A(a,b,c) = 0^inf 1^a 10^b C> 1^c 0^inf A(a+1,b,c+3) --> A(a,b+2,c) A(a,b,0) --> A(2b+1,1,a+1) A(a,b,1) --> A(2b+3,1,a+1) A(a,b,2) --> A(2b+5,1,a+1) A(0,b,c+5) --> A(2b+4,2,c) A(0,b,4) --> Halt A(0,b,3) --> Halt Start: A(0,1,0) </pre> Simulate...")
- 06:02, 27 February 2026 Sligocki talk contribs created page Template:Citation needed (Created page with "<sup>[citation needed]</sup>")
- 16:33, 8 February 2026 Sligocki talk contribs created page BBf (Redirected page to Fractran) Tag: New redirect
- 16:33, 8 February 2026 Sligocki talk contribs created page Frankenstein's Monster (Redirected page to Fractran#Frankenstein's Monster) Tag: New redirect
- 15:59, 8 February 2026 Sligocki talk contribs created page TYBR: 2025 (Move TYBR to it's own article) Tag: Visual edit
- 17:52, 9 January 2026 Sligocki talk contribs deleted page Io vorrei tanto conoscere bb(3,10), (10 simboli e 3 stati), ma non abbiamo computer per fare dei velocizzatori per determinare 1 secondo= piu secondi o giorni, spero che li avremo! (Spam: content was: "Vorrei questo, ma non lo possiamo fare (per ora!)", and the only contributor was "BB fan weird" (talk))
- 17:52, 9 January 2026 Sligocki talk contribs deleted page Io (o qualcos'altro) ha fatto approssimazioni per bb(n,k) che 4 mesi fa non esistevano, bb(6) e tipo un atomo in confronto a bb(3,5), bb(6) e pronto ad essere scoperto, computer potentissimi, arrivate per bbchallenge! (Spam: content was: "io (o qualcun'altro) ha fatto approssimazioni per bb(n,k) che 4 mesi fa non esistevano, bb(6) e tipo un atomo in confronto a bb(3,5), bb(6) e pronto ad essere scoperto, computer potentissimi, arrivate per bbchallenge!", and the only contributor was "BB fan weird" (talk))
- 16:26, 19 December 2025 Sligocki talk contribs deleted page Category:Axolotls (Spam: content before blanking was: ".")
- 17:00, 17 December 2025 Sligocki talk contribs created page Turing-complete (Redirected page to Turing completeness) Tags: New redirect Visual edit
- 16:58, 17 December 2025 Sligocki talk contribs created page Turing complete (Redirected page to Turing completeness) Tags: New redirect Visual edit
- 16:55, 17 December 2025 Sligocki talk contribs created page Minsky machine (Redirected page to Register machine) Tags: New redirect Visual edit
- 16:54, 17 December 2025 Sligocki talk contribs created page Lambda calculus (Redirected page to Register machine) Tags: New redirect Visual edit
- 20:29, 9 December 2025 Sligocki talk contribs created page General Recursive Function (Start page) Tag: Visual edit: Switched
- 16:04, 5 December 2025 Sligocki talk contribs created page TMBR: December 2025 (Created page with "{{TMBRnav|November 2025|January 2026}} ''This edition of TMBR is in progress and has not yet been released. Please add any notes you think may be relevant (including in the form a of a TODO with a link to any relevant Discord discussion).'' ==BB Adjacent== == Holdouts == 2025-12") Tag: Visual edit: Switched
- 21:32, 4 December 2025 Sligocki talk contribs created page File:Tibor Radó 1928.jpg
- 21:32, 4 December 2025 Sligocki talk contribs uploaded File:Tibor Radó 1928.jpg
- 21:30, 4 December 2025 Sligocki talk contribs created page Tibor Radó (Create stub)
