All public logs

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).

• 06:33, 9 August 2025 Cosmo talk contribs created page File:BB6 holdouts 2728.txt
• 06:33, 9 August 2025 Cosmo talk contribs uploaded File:BB6 holdouts 2728.txt
• 21:01, 27 June 2025 Cosmo talk contribs changed block settings for Xl643 talk contribs with an expiration time of 20:14, 27 July 2025 (account creation disabled, autoblock disabled) (Inserting false information)
• 20:14, 27 June 2025 Cosmo talk contribs blocked Xl643 talk contribs with an expiration time of 1 month (account creation disabled) (Inserting false information)
• 14:13, 6 June 2025 Cosmo talk contribs blocked 3BedBunkBed2628 talk contribs with an expiration time of indefinite (account creation disabled) (Unacceptable username)
• 14:13, 6 June 2025 Cosmo talk contribs blocked Discount Couches8088 talk contribs with an expiration time of indefinite (account creation disabled) (Unacceptable username)
• 15:01, 5 June 2025 Cosmo talk contribs blocked Korkot-online0149 talk contribs with an expiration time of indefinite (account creation disabled)
• 15:01, 5 June 2025 Cosmo talk contribs blocked Carkeyinluton1114 talk contribs with an expiration time of indefinite (account creation disabled)
• 15:01, 5 June 2025 Cosmo talk contribs blocked Key-and-fob-replacement6564 talk contribs with an expiration time of indefinite (account creation disabled)
• 15:00, 5 June 2025 Cosmo talk contribs blocked Goethe-certifikat3984 talk contribs with an expiration time of indefinite (account creation disabled)
• 20:27, 11 November 2024 Cosmo talk contribs created page Halting Segment (Created page with "See [https://github.com/bbchallenge/bbchallenge-proofs/blob/build-latex-pdf/deciders/correctness-deciders.pdf Section 5] of bbchallenge deciders' write-up.") Tag: Visual edit
• 20:25, 11 November 2024 Cosmo talk contribs deleted page Backwards Reasoning (content was: "See [https://github.com/bbchallenge/bbchallenge-proofs/blob/build-latex-pdf/deciders/correctness-deciders.pdf Section 4] of bbchallenge's deciders write-up.", and the only contributor was "Cosmo" (talk))
• 20:25, 11 November 2024 Cosmo talk contribs created page Backward Reasoning (Created page with "See [https://github.com/bbchallenge/bbchallenge-proofs/blob/build-latex-pdf/deciders/correctness-deciders.pdf Section 4] of bbchallenge's deciders write-up.")
• 20:23, 11 November 2024 Cosmo talk contribs created page Backwards Reasoning (Created page with "See [https://github.com/bbchallenge/bbchallenge-proofs/blob/build-latex-pdf/deciders/correctness-deciders.pdf Section 4] of bbchallenge's deciders write-up.") Tag: Visual edit
• 09:46, 3 October 2024 Cosmo talk contribs created page File:Capture d’écran 2024-10-03 à 11.45.55.png
• 09:46, 3 October 2024 Cosmo talk contribs uploaded File:Capture d’écran 2024-10-03 à 11.45.55.png
• 21:26, 26 September 2024 Cosmo talk contribs created page File:BradyBB(5)isHopeless.png
• 21:26, 26 September 2024 Cosmo talk contribs uploaded File:BradyBB(5)isHopeless.png
• 21:17, 26 September 2024 Cosmo talk contribs created page Busy beaver lack of hope recurrence (Created page with "People working on BB(n-1) believed BB(n) was impossible: * BB(3) -> BB(4): "In any case, even though skilled mathematicians and experienced programmers attempted to evaluate 2(3) and 5(3), there is no evidence that any known approach will yield the answer, even if we avail ourselves of high-speed computers and elaborate programs. As regards \Sigma(4), S(4), the situation seems to be entirely hopeless at present."—Tibor Rado, 1963. Source: Brady, Allen H.. [https://do...") Tag: Visual edit
• 20:59, 25 September 2024 Cosmo talk contribs created page Papers & Talks (Created page with "Here are some busy beaver related papers and talks by bbchallenge community members: * Stérin, T., Woods, D. (2024). Hardness of Busy Beaver Value BB(15). In: Kovács, L., Sokolova, A. (eds) Reachability Problems. RP 2024. Lecture Notes in Computer Science, vol 15050. Springer, Cham. <nowiki>https://doi.org/10.1007/978-3-031-72621-7_9</nowiki> ** Paper: [https://arxiv.org/abs/2107.12475 arxiv version] (first released in 2021), [https://link.springer.com/chapter/10.100...") Tag: Visual edit
• 18:38, 17 August 2024 Cosmo talk contribs created page Bbfind (Created page with "TODO https://skelet.ludost.net/bb/index.html") Tag: Visual edit
• 09:50, 4 August 2024 Cosmo talk contribs created page Talk:Consistent Collatz (Created page with "Thank you very much for this interesting contribution ! - Is this wiki entry the first documentation of this work or are there any resources outhere about it (paper, blog, ...)? - Did you mint the term "consistent Collatz sequence" or was it introduced before in the litterature? - How do "consistent Collatz sequences" differ from Conway's "generalised Collatz maps"? Thank you!")
• 15:11, 11 July 2024 Cosmo talk contribs deleted page Test (content was: "this is a test", and the only contributor was "Cosmo" (talk))
• 15:10, 11 July 2024 Cosmo talk contribs created page Test (Created page with "this is a test")
• 15:09, 11 July 2024 Cosmo talk contribs created page MediaWiki:Custom-RcGcDw (Created page with "960643023006490684")
• 21:21, 30 June 2024 Cosmo talk contribs deleted page MinHydra (content was: "MinHydra is the 6-state 2-symbol machine [https://bbchallenge.org/1RB1RA_0LC1LE_1LD1LC_1LA0LB_1LF1RE_---0RA https://bbchallenge.org/1RB1RA_0LC1LE_1LD1LC_1LA0LB_1LF1RE_---0RA]. This machine was the first identified BB(6) Collatz-like Cryptid, and is closely related to Hydra. It simulates the Collatz-like iteration <math display="block">\begin{array}{l} A(2a, & b) &...", and the only contributor was "Cosmo" (talk))
• 21:20, 30 June 2024 Cosmo talk contribs created page Antihydra (Created page with "Antihydra is the 6-state 2-symbol machine [https://bbchallenge.org/1RB1RA_0LC1LE_1LD1LC_1LA0LB_1LF1RE_---0RA https://bbchallenge.org/1RB1RA_0LC1LE_1LD1LC_1LA0LB_1LF1RE_---0RA]. This machine was the first identified BB(6) Collatz-like Cryptid, and is closely related to Hydra. It simulates the Collatz-like iteration <math display="block">\begin{array}{l} A(2a, & b) & \to & A(3a, & b+2) \\ A(2a+1, & b) & \to & A(3a+1, & b-1) & \text{if} & b>0 \\ A(2...")
• 17:35, 30 June 2024 Cosmo talk contribs created page MinHydra (Created page with "MinHydra is the 6-state 2-symbol machine [https://bbchallenge.org/1RB1RA_0LC1LE_1LD1LC_1LA0LB_1LF1RE_---0RA https://bbchallenge.org/1RB1RA_0LC1LE_1LD1LC_1LA0LB_1LF1RE_---0RA]. This machine was the first identified BB(6) Collatz-like Cryptid, and is closely related to Hydra. It simulates the Collatz-like iteration <math display="block">\begin{array}{l} A(2a, & b) & \to & A(3a, & b+2) \\ A(2a+1, & b) & \to & A(3a+1, & b-1) & \text{if} & b>0 \\ A(2a...")
• 17:40, 28 June 2024 Cosmo talk contribs created page Hydra (Created page with "https://www.sligocki.com/2024/05/10/bb-2-5-is-hard.html") Tag: Visual edit
• 17:24, 28 June 2024 Cosmo talk contribs created page 1RB1RA 0LC1LE 1LD1LC 1LA0LB 1LF1RE ---0RA (Created page with "{{machine|1RB1RA_0LC1LE_1LD1LC_1LA0LB_1LF1RE_---0RA}}")
• 22:23, 26 June 2024 Cosmo talk contribs created page 1RB--- 0LC1RE 0LD1LC 1RA1LB 0RB0RA (Redirected page to Skelet 17) Tags: New redirect Visual edit
• 11:49, 18 June 2024 Cosmo talk contribs created page 1RB1RD 1LC0RC 1RA1LD 0RE0LB ---1RC (Redirected page to Skelet 1) Tags: New redirect Visual edit
• 17:31, 17 June 2024 Cosmo talk contribs created page 1LC1LE ---1LD 1RD0LD 1LA1RE 0LB0RC (Redirected page to Skelet 1) Tags: New redirect Visual edit
• 11:53, 16 June 2024 Cosmo talk contribs created page Skelet's 43 holdouts (Created page with "https://bbchallenge.org/skelet") Tag: Visual edit
• 11:39, 16 June 2024 Cosmo talk contribs created page Finite Automata Reduction (FAR) (Created page with "TODO")
• 11:33, 16 June 2024 Cosmo talk contribs created page File:2x5 holdouts 273.txt (BB(2,5) holdouts shared by Daniel Yuan on June 15th 2024 on Discord: https://discord.com/channels/960643023006490684/1084047886494470185/1251842199558160405 This list is Justin Blanchard's 499 holdouts minus machines solved by @mxdys)
• 11:33, 16 June 2024 Cosmo talk contribs uploaded File:2x5 holdouts 273.txt (BB(2,5) holdouts shared by Daniel Yuan on June 15th 2024 on Discord: https://discord.com/channels/960643023006490684/1084047886494470185/1251842199558160405 This list is Justin Blanchard's 499 holdouts minus machines solved by @mxdys)
• 11:26, 16 June 2024 Cosmo talk contribs created page File:Hydra 9 states.txt (Different 2-symbol 9-state compilations of the Hydra Turing machine, by @Iijil. Not verified at the date of upload.)
• 11:26, 16 June 2024 Cosmo talk contribs uploaded File:Hydra 9 states.txt (Different 2-symbol 9-state compilations of the Hydra Turing machine, by @Iijil. Not verified at the date of upload.)
• 10:51, 16 June 2024 Cosmo talk contribs created page Closed Tape Language (CTL) (Created page with "TODO") Tag: Visual edit
• 10:51, 16 June 2024 Cosmo talk contribs created page Closed Position Set (CPS) (Created page with "TODO")
• 16:18, 14 June 2024 Cosmo talk contribs created page Holdouts (Redirected page to Holdouts lists) Tags: New redirect Visual edit
• 15:38, 14 June 2024 Cosmo talk contribs created page 1RB1LC 1RC1RB 1RD0LE 1LA1LD 1RZ0LA (Redirected page to 5-state busy beaver winner) Tags: New redirect Visual edit
• 15:34, 14 June 2024 Cosmo talk contribs created page 5-state busy beaver winner (Created page with "The 5-state busy beaver champion (and winner!) is: [https://bbchallenge.org/1RB1LC_1RC1RB_1RD0LE_1LA1LD_1RZ0LA&status=halt https://bbchallenge.org/1RB1LC_1RC1RB_1RD0LE_1LA1LD_1RZ0LA]. The machine halts after 47,176,870 steps. It was found by Heiner Marxen and Jürgen Buntrock in 1989<ref>H. Marxen and J. Buntrock. Attacking the Busy Beaver 5. Bulletin of the EATCS, 40, pages 247-251, February 1990. <nowiki>https://turbotm.de/~heiner/BB/mabu90.html</nowiki></ref>.") Tag: Visual edit: Switched
• 15:33, 14 June 2024 Cosmo talk contribs created page 5-state busy beaver champion (Created page with "The 5-state busy beaver champion (and winner!) is: [https://bbchallenge.org/1RB1LC_1RC1RB_1RD0LE_1LA1LD_1RZ0LA&status=halt https://bbchallenge.org/1RB1LC_1RC1RB_1RD0LE_1LA1LD_1RZ0LA]. The machine halts after 47,176,870 steps. It was found by Heiner Marxen and Jürgen Buntrock in 1989<ref>H. Marxen and J. Buntrock. Attacking the Busy Beaver 5. Bulletin of the EATCS, 40, pages 247-251, February 1990. <nowiki>https://turbotm.de/~heiner/BB/mabu90.html</nowiki></ref>.") Tag: Visual edit
• 15:31, 14 June 2024 Cosmo talk contribs created page BB(5) (Created page with "BB(5) refers to the 5^th value of the Busy Beaver function. In 1989, the 5-state busy beaver champion was found: a 5-state Turing machine halting after 47,176,870 giving the lower bound BB(5) > 47,176,870. In 2024, BB(5) = 47,176,870 was proven by the bbchallenge.org massively collaborative research project.") Tag: Visual edit
• 14:15, 14 June 2024 Cosmo talk contribs created page Skelet 17 (Created page with "https://bbchallenge.org/1LB---_0RC1LE_0RD1RC_1LA1RB_0LB0LA Category:Individual Machines") Tag: Visual edit: Switched
• 14:05, 14 June 2024 Cosmo talk contribs created page Category:Individual Machines (Created blank page)
• 14:05, 14 June 2024 Cosmo talk contribs deleted page Individual Machines (content was: "Some Turing machines are studied individually rather than collectively (i.e. using Deciders). == BB(5) == * Skelet 1 * Skelet 10 * Skelet 17 == BB(6) == == BB(5,2) == * 1RB3RB1LB---2RB 2LA1RA4LB2LA2RA", and the only contributor was "Cosmo" (talk))
• 14:04, 14 June 2024 Cosmo talk contribs created page Skelet 1 (Created page with "https://bbchallenge.org/1LC1LE_---1LD_1RD0LD_1LA1RE_0LB0RC&status=undecided")