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).
- 03:24, 9 August 2025 Sligocki talk contribs created page FAR (Redirected page to Finite Automata Reduction (FAR)) Tags: New redirect Visual edit
- 03:24, 9 August 2025 Sligocki talk contribs created page CTL (Redirected page to Closed Tape Language (CTL)) Tags: New redirect Visual edit
- 03:24, 9 August 2025 Sligocki talk contribs created page CPS (Redirected page to Closed Position Set (CPS)) Tags: New redirect Visual edit
- 18:08, 8 August 2025 Sligocki talk contribs created page 1RB0RD 0LC1RA 0RA1LB 1RE1LB 1LF1LB ---1LE (Created page with "{{machine|1RB0RD_0LC1RA_0RA1LB_1RE1LB_1LF1LB_---1LE}} {{TM|1RB0RD_0LC1RA_0RA1LB_1RE1LB_1LF1LB_---1LE}} is a non-halting BB(6) TM discovered by mxdys on 14 Sep 2024 ([https://discord.com/channels/960643023006490684/1239205785913790465/1284419946759323700 Discord]) and proven non-halting the next day ([https://discord.com/channels/960643023006490684/1239205785913790465/1284838151348551795 Discord]). It follows rules similar to {{TM|1RB1RE_1LC0RA_0RD1LB_---1RC_1LF1RE_0...")
- 11:45, 7 August 2025 User account Yurich talk contribs was created
- 11:37, 7 August 2025 Polygon talk contribs created page Talk:1RB1RZ 0RC0RE 1LD1LA 1LC0LG 0RF1LF 0RD1LF 1LB0LE (Potentially found a typo in the trajectory section)
- 01:51, 7 August 2025 Qwerpiw talk contribs created page Talk:1RB1LE 1LC0RA 0RF0LD 1LE1LA 1RC0LB ---1RC (Created page with "Turing machine for what function? ~~~~")
- 19:04, 6 August 2025 Qwerpiw talk contribs moved page T M function to Tₘ function
- 18:43, 6 August 2025 Qwerpiw talk contribs created page T M function (Created page with "Let M be a non-deterministic Turing machine which recognizes a language L, that is, for every input word u there is an accepting computation with input u if and only if u ∈ L. Let us assume that M terminates on every input. The simplest thing to assume is that if u ∈ L, the TM eventually gives "yes" and if u ∉ L, it gives "no". The smallest time (number of steps) of such a computation is denoted by T<sub>M</sub>(u) . For every n >= 1 we define T<sub>M</sub>(...") Tag: Visual edit: Switched
- 12:09, 6 August 2025 Polygon talk contribs created page Category:Functions (Created Category:Functions)
- 14:33, 5 August 2025 N1vi talk contribs created page 1RB--- 0RC1RD 1LA0LA 1LE0RB 1LF1LE 1LC0LD (Created page with "{{machine|1RB---_0RC1RD_1LA0LA_1LE0RB_1LF1LE_1LC0LD}} 1D — CA, rule 30 or rule 110")
- 14:06, 5 August 2025 N1vi talk contribs created page 1RB1LE 1LC0RA 0RF0LD 1LE1LA 1RC0LB ---1RC (Created page with "thumb It is really interesting. I high likely doubt it halts, but it creates pseudo random spaces at the right. I ran it for ~860 million steps and the result is shown at the image. Though it might be a fractal.") Tag: Visual edit
- 14:06, 5 August 2025 N1vi talk contribs created page File:860image.png
- 14:06, 5 August 2025 N1vi talk contribs uploaded File:860image.png
- 14:00, 5 August 2025 User account N1vi talk contribs was created
- 10:27, 5 August 2025 User account Polygon talk contribs was created
- 12:54, 3 August 2025 User account Nieqingshuai talk contribs was created
- 16:01, 2 August 2025 Qwerpiw talk contribs created page TMBR: August 2025 (Created page with "{{Stub}} this month in busy beaver for 2025 August") Tag: Visual edit
- 10:23, 2 August 2025 Int-y1 talk contribs created page TT (Redirected page to Terminating Turmite) Tag: New redirect
- 21:43, 31 July 2025 Qwerpiw talk contribs created page Doodle function (Created page with "The '''doodle function''' is a function made by Lawrence Hollom. It is a two-argument function.<ref>https://web.archive.org/web/20230901195926/https://sites.google.com/a/hollom.com/extremely-big-numbers/home/doodle-function</ref> == Definition == The function revolves around a specific type of one-dimensional cellular automaton, in which state of a cell is determined by its own state and state of the cell to its right at previous generation (Hollom's original explanatio...") Tag: Visual edit: Switched
- 22:54, 30 July 2025 Sligocki talk contribs created page File:BB6 num holdouts over time.png (Number of BB(6) holdouts over time.)
- 22:54, 30 July 2025 Sligocki talk contribs uploaded File:BB6 num holdouts over time.png (Number of BB(6) holdouts over time.)
- 15:59, 30 July 2025 Sligocki talk contribs created page 1RB0LD 1RC1RA 1LD0RB 1LE1LA 1RF0RC ---1RE (Created page with "{{machine|1RB0LD_1RC1RA_1LD0RB_1LE1LA_1RF0RC_---1RE}} {{TM|1RB0LD_1RC1RA_1LD0RB_1LE1LA_1RF0RC_---1RE}} is a probviously halting BB(6) Cryptid analzyed by mxdys on 30 July 2025. == Analysis by mxdys == [https://discord.com/channels/960643023006490684/1239205785913790465/1400141896944320602] <pre> 1RB0LD_1RC1RA_1LD0RB_1LE1LA_1RF0RC_---1RE (a,b,c) := 0^inf 1^a 0 01^b 0 11^c+1 B> 0^inf (a,2+b,c) --> (a,b,3+c) (a+1,0,c) --> (a,c,2) (a+1,1,c) --> (a,c,6) (0,0,c...")
- 01:37, 30 July 2025 Sligocki talk contribs created page BBS (Redirected page to Non-halting Turing machine#Translated cycler preperiod) Tags: New redirect Visual edit
- 01:34, 30 July 2025 Sligocki talk contribs created page BBP (Redirected page to Non-halting Turing machine#Translated cycler period) Tags: New redirect Visual edit
- 15:16, 29 July 2025 Jacobzheng talk contribs created page Talk:1RB0RA 1LC1LF 1RD0LB 1RA1LE 1RZ0LC 1RG1LD 0RG0RF (Created page with "This page may have analysis errors, I think this machine's halting time <math> > 2 \uparrow^12 4 </math> and its sigma score is <math> 3 \times 2 \uparrow^12 4 + 22 </math>. Jacobzheng (talk) 15:16, 29 July 2025 (UTC)")
- 05:37, 29 July 2025 LegionMammal978 talk contribs deleted page User:Bbchallenge's unverified formula (content was: "#REDIRECT Bbchallenge's unverified formula", and the only contributor was "Jacobzheng" (talk))
- 05:36, 29 July 2025 LegionMammal978 talk contribs deleted page Bbchallenge's unverified formula (content was: "#REDIRECT Bbchallenge wiki's unverified formula", and the only contributor was "Jacobzheng" (talk))
- 05:35, 29 July 2025 LegionMammal978 talk contribs moved page Bbchallenge wiki's unverified formula to User:Jacobzheng/Bbchallenge wiki's unverified formula without leaving a redirect (inappropriate for article namespace)
- 03:03, 29 July 2025 Jacobzheng talk contribs moved page Bbchallenge's unverified formula to Bbchallenge wiki's unverified formula
- 03:02, 29 July 2025 Jacobzheng talk contribs moved page User:Bbchallenge's unverified formula to Bbchallenge's unverified formula
- 03:01, 29 July 2025 Jacobzheng talk contribs moved page User:Jacobzheng/An unverified formula to User:Bbchallenge's unverified formula
- 11:48, 28 July 2025 Jacobzheng talk contribs created page User:Jacobzheng/An unverified formula (Created page with "<math> n=1.01^ab^{2^{1-b}-1}c </math>")
- 02:05, 28 July 2025 Int-y1 talk contribs created page BBB (Redirected page to Beeping Busy Beaver) Tag: New redirect
- 15:26, 27 July 2025 Sligocki talk contribs moved page TMiBB: July 2025 to TMBR: July 2025 (Acronym rename)
- 15:25, 27 July 2025 Sligocki talk contribs moved page Category:This Month in Busy Beaver to Category:This Month in Beaver Research (Rename to support the TMBR (Timber) acronym)
- 15:08, 27 July 2025 Sligocki talk contribs created page File:Lovecraft beaver.png (Created by Discord user Fern's friend Lauren in 2025. https://discord.com/channels/960643023006490684/992572017683472514/1398470914990936135)
- 15:08, 27 July 2025 Sligocki talk contribs uploaded File:Lovecraft beaver.png (Created by Discord user Fern's friend Lauren in 2025. https://discord.com/channels/960643023006490684/992572017683472514/1398470914990936135)
- 03:27, 27 July 2025 Sligocki talk contribs created page 1RB2LA1RA1RA 1LB1LA3RB--- (Redirected page to 1RB2LA1RA1RA 1LB1LA3RB1RZ) Tags: New redirect Visual edit
- 03:17, 27 July 2025 Sligocki talk contribs created page 1RB1LA------ 1RC3LB1RB--- 2LA2LC---0LC (Created page with "{{machine|1RB1LA------_1RC3LB1RB---_2LA2LC---0LC}} {{TM|1RB1LA------_1RC3LB1RB---_2LA2LC---0LC}} is the current BBi(8) champion. It runs for over <math>10^{1565}</math> steps and has a sigma score of exactly <math>\frac{3^{1642} - 11}{2}</math>. It was discovered by Nick Drozd on 26 July 2025 ([https://discord.com/channels/960643023006490684/1084047886494470185/1398753236835635252 Discord link]). == Analysis by Shawn Ligocki == <pre> A(a, b, c) = <A 2^a 0 3^b 1^...")
- 19:31, 26 July 2025 Qwerpiw talk contribs created page Initial Busy Beaver (Referring to <math>BB_{init}(n, m, T)</math>) Tag: New redirect
- 19:20, 26 July 2025 Qwerpiw talk contribs created page Σi (Redirected page to Instruction-limited busy beaver) Tag: New redirect
- 10:17, 25 July 2025 Int-y1 talk contribs created page BBi (Redirected page to Instruction-Limited Busy Beaver) Tag: New redirect
- 15:52, 24 July 2025 Sligocki talk contribs moved page Limited Instruction Busy Beaver to Instruction-Limited Busy Beaver (MrBrain suggested this preference since it puts the key word "Instruction" first)
- 18:36, 22 July 2025 Sligocki talk contribs created page Bouncers (Redirected page to Bouncer) Tags: New redirect Visual edit
- 18:34, 22 July 2025 Sligocki talk contribs created page MITMWFAR (Redirected page to Meet-in-the-Middle Weighted Finite Automata Reduction (MITMWFAR)) Tags: New redirect Visual edit: Switched
- 18:34, 22 July 2025 Sligocki talk contribs created page Meet-in-the-Middle Weighted Finite Automata Reduction (MITMWFAR) (Created page with "'''Meet-in-the-Middle Weighted Finite Automata Reduction''' ('''MITMWFAR''') is a Turing machine decider. It is a variation of Finite Automata Reduction (FAR) based upon Weighted Finite Automata. This allows it to decide irregular TMs which cannot be decided by FAR or any other regular decider. See: https://github.com/Iijil1/MITMWFAR/tree/main Category:Deciders Category:Stub") Tag: Visual edit
- 15:17, 20 July 2025 Jacobzheng talk contribs created page Talk:BB(7) (Created page with "Why does subtasks 48xxxx still display TBD. Jacobzheng (talk) 15:16, 20 July 2025 (UTC)")
- 01:16, 19 July 2025 Qwerpiw talk contribs created page User:Qwerpiw/List of BB functions (Created page with "* Maximum space: Ben-Amram call this <math>space(n)</math><ref name=":0" />, bbchallenge calls it <code>BB_SPACE(n)</code> or <math>BB_{space}(n)</math>. This is the total number of tape cells read before halting. According to Ben-Amram, it includes the starting cell, but not necessarily the cell the halting transition moves to.<ref name=":0" /> * Maximum consecutive ones: Ben-Amram calls this <math>num(n)</math>.<ref name=":0" /> A...") Tag: Visual edit
- 22:05, 16 July 2025 User account MrBrain talk contribs was created