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:42, 29 April 2026 Polygon talk contribs created page File:BB6 holdouts 1104.txt (Holdouts list shared on April 29 2026 by mxdys over Discord.)
- 15:42, 29 April 2026 Polygon talk contribs uploaded File:BB6 holdouts 1104.txt (Holdouts list shared on April 29 2026 by mxdys over Discord.)
- 08:42, 26 April 2026 Polygon talk contribs created page File:BB6 holdouts 1119.txt (Holdouts list shared on April 26 2026 by mxdys over Discord.)
- 08:42, 26 April 2026 Polygon talk contribs uploaded File:BB6 holdouts 1119.txt (Holdouts list shared on April 26 2026 by mxdys over Discord.)
- 20:13, 9 April 2026 Polygon talk contribs moved page 1RB1RA 1LC0RC ---0LD 0LE0LF 1RE0RA 0LF1LB to 1RB1RA 1LC0RC ---0LD 0LE0RF 1RE0RA 0LF1LB (Moved to first TM in equivalence class)
- 09:50, 7 April 2026 Polygon talk contribs created page 1RB1LA 0LC0RC 1LE1RD 1RE1RC 1LF0LA ---1LE (Created page with "{{machine|1RB1LA_0LC0RC_1LE1RD_1RE1RC_1LF0LA_---1LE}} {{TM|1RB1LA_0LC0RC_1LE1RD_1RE1RC_1LF0LA_---1LE}} is a BB(6) Cryptid similar to Space Needle. It was discovered by Sheep on 7 April 2026.<ref>https://discord.com/channels/960643023006490684/1448375857046360094/1490772706269069313</ref> == Analysis by Daniel Yuan == <pre> So I would say either (0, 0) --> halt (1, n) --> halt (0, n) --> (2, n-1) for n >= 1 (2m, n) --> (3m+n-1, 2) for m >= 1 (2m+1, n) --> (m...")
- 13:06, 4 April 2026 Polygon talk contribs created page 1RB0RA 0LC1RA 1RE1LD 1LC0LD ---0RB (Redirected page to Skelet 10) Tag: New redirect
- 14:22, 2 April 2026 Polygon talk contribs created page NGramCPS (Redirected page to NGram CPS) Tag: New redirect
- 11:01, 1 April 2026 Polygon talk contribs created page Fenrir (Redirected page to Fractran#Fenrir) Tag: New redirect
- 10:46, 1 April 2026 Polygon talk contribs created page TMBR: April 2026 (Created page with "{{TMBRnav|March 2026|May 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).'' This Month in Beaver Research for April 2026. 2026-04")
- 10:40, 1 April 2026 Polygon talk contribs created page RepWL ES (Redirected page to Repeated Word List) Tag: New redirect
- 21:22, 31 March 2026 Polygon talk contribs created page RWLAcc (Redirected page to Repeated Word List#RWLAcc) Tag: New redirect
- 21:04, 31 March 2026 Polygon talk contribs created page N-Gram CPS (Redirected page to NGram CPS) Tag: New redirect
- 21:02, 31 March 2026 Polygon talk contribs created page NGram CPS (Created page with "'''NGram CPS''' is a decider and a subset of the general CTL method. It generates a set of local configurations in a fixed radius around the TM head, if the set of these local configurations is shown to be closed, the TM is proven non-halting. == Method == It only evaluates the tape in a fixed radius <math>n</math> around the central cell which the TM head is on, called the local configuration. Local configurations contain the state the TM is in, the symbol the...")
- 20:18, 31 March 2026 Polygon talk contribs created page RWL (Redirected page to Repeated Word List) Tag: New redirect
- 10:26, 31 March 2026 Polygon talk contribs created page 1RB1LC 1LC1RD 1LA0LB 0RB1RE 1RF0RA ---0RC (Created page with "{{machine|1RB1LC_1LC1RD_1LA0LB_0RB1RE_1RF0RA_---0RC}} {{TM|1RB1LC_1LC1RD_1LA0LB_0RB1RE_1RF0RA_---0RC}} is a potentially probviously halting BB(6) TM with exponential runtime which was analysed by Racheline on Oct 25, 2025.<ref>https://discord.com/channels/960643023006490684/1239205785913790465/1431570792402915408</ref> == Analysis by Racheline == https://discord.com/channels/960643023006490684/1239205785913790465/1431579799180148738 <pre> 0^inf 1^(2n) C> 1^(2n+5...")
- 20:27, 30 March 2026 Polygon talk contribs created page 1RB1LC--- 0LC2RB1LB 2LA0RC1RC (Redirected page to 1RB2LA0LA 2LC---2RA 0RA2RC1LC) Tag: New redirect
- 18:22, 30 March 2026 Polygon talk contribs created page 1RB1RA 1LC0RC ---0LD 0LE0LF 1RE0RA 0LF1LB (Created page with "{{machine|1RB1RA_1LC0RC_---0LD_0LE0LF_1RE0RA_0LF1LB}} {{TM|1RB1RA_1LC0RC_---0LD_0LE0LF_1RE0RA_0LF1LB}} is a BB(6) holdout TM. It was analysed by Racheline on June 29, 2024. == Analysis by Racheline == https://discord.com/channels/960643023006490684/1026577255754903572/1256377562582487140 <pre> encoding: 0^inf 1^a 0 1^b A> 0 1^c 0 1^d ... -> (a,b,c,d,...) rules: (a,4b,0,d,e,f,...) -> (3,a+4b+d,e,f,...) (a,4b+1,0,d,e,f,...) -> (3,a+3b-3,0,0,b+d+1,e,f,...) (a,4b+2,...")
- 11:00, 30 March 2026 Polygon talk contribs created page Category:Potential Cryptids (Created page with "Turing machines suspected but not known to be Cryptids. Category:Zoology Category:Cryptids")
- 17:13, 28 March 2026 Polygon talk contribs created page File:BBB4 holdouts 3713.txt (Holdouts list shared on June 26 2025 by mxdys over Discord.)
- 17:13, 28 March 2026 Polygon talk contribs uploaded File:BBB4 holdouts 3713.txt (Holdouts list shared on June 26 2025 by mxdys over Discord.)
- 11:11, 28 March 2026 Polygon talk contribs created page File:BBrev6 holdouts 388.txt (Holdouts list shared on July 31 2025 by Shawn Ligocki over Discord.)
- 11:11, 28 March 2026 Polygon talk contribs uploaded File:BBrev6 holdouts 388.txt (Holdouts list shared on July 31 2025 by Shawn Ligocki over Discord.)
- 16:12, 27 March 2026 Polygon talk contribs created page File:BB6 holdouts 1161.txt (Holdouts list shared on March 25 2026 by mxdys over Discord.)
- 16:12, 27 March 2026 Polygon talk contribs uploaded File:BB6 holdouts 1161.txt (Holdouts list shared on March 25 2026 by mxdys over Discord.)
- 10:13, 22 March 2026 Polygon talk contribs created page Category:BB(4,4) (Created page with "Pages related to the study of BB(4,4). Category:BB Domains")
- 19:04, 7 March 2026 Polygon talk contribs created page 1RB1LC 1RE0RB 1LD0LA 1LE--- 1LA1RE (Redirected page to Skelet 26) Tag: New redirect
- 18:57, 7 March 2026 Polygon talk contribs created page 1RB1LC 0RC0RB 1LD0LA 1LE--- 1LA1RE (Redirected page to Skelet 33) Tag: New redirect
- 18:10, 7 March 2026 Polygon talk contribs created page 1RB--- 1RC1LB 1LD1RE 1LB0LD 1RA0RC (Redirected page to Skelet 26#Skelet 15) Tag: New redirect
- 18:09, 7 March 2026 Polygon talk contribs created page Skelet 15 (Redirected page to Skelet 26#Skelet 15) Tag: New redirect
- 18:07, 7 March 2026 Polygon talk contribs created page 1RB1LD 1RC0RB 1LA1RC 1LE0LA 1LC--- (Redirected page to Skelet 26) Tag: New redirect
- 18:06, 7 March 2026 Polygon talk contribs created page Skelet 26 (Created page with "{{machine|1RB1LD_1RC0RB_1LA1RC_1LE0LA_1LC---}}{{Stub}} {{TM|1RB1LD_1RC0RB_1LA1RC_1LE0LA_1LC---}}, called '''Skelet #26''', was one of Skelet's 43 holdouts and one of the last holdouts in BB(5). It is a Shift overflow counter and has an individual proof of non-halting in Coq-BB5.<ref>https://github.com/ccz181078/Coq-BB5/blob/main/BusyCoq/Skelet26.v</ref> == References == Category:BB(5)")
- 18:44, 2 March 2026 Polygon talk contribs created page 1RB1LE 0LC0LB 0LD1LC 1RD1RA ---0LA (Redirected page to Mother of Giants) Tag: New redirect
- 16:51, 2 March 2026 Polygon talk contribs created page 1LC1RD 1RE--- 0LD0LC 1RB0RA 1RA1LE (Redirected page to Skelet 33) Tag: New redirect
- 16:50, 2 March 2026 Polygon talk contribs created page Skelet 33 (Created page with "{{machine|1LC1RD_1RE---_0LD0LC_1RB0RA_1RA1LE}}{{Stub}} {{TM|1LC1RD_1RE---_0LD0LC_1RB0RA_1RA1LE}}, called '''Skelet #33''', was one of Skelet's 43 holdouts and one of the last holdouts in BB(5). It is a Shift overflow counter. Category:BB(5)")
- 11:48, 28 February 2026 Polygon talk contribs created page Category:BB(4) (Created page with "Pages related to the study of BB(4). Category:BB Domains")
- 09:50, 28 February 2026 Polygon talk contribs created page File:BB6 holdouts 1214.txt (Holdouts list shared on February 28th 2026 by mxdys over Discord.)
- 09:50, 28 February 2026 Polygon talk contribs uploaded File:BB6 holdouts 1214.txt (Holdouts list shared on February 28th 2026 by mxdys over Discord.)
- 12:16, 21 February 2026 Polygon talk contribs created page 1LC0LA ---0LC 0RD1LA 1LB1RE 1RD0RE (Redirected page to Skelet 10) Tag: New redirect
- 12:16, 21 February 2026 Polygon talk contribs created page Skelet 10 (Created page with "{{machine|1LC0LA_---0LC_0RD1LA_1LB1RE_1RD0RE}}{{Stub}} {{TM|1LC0LA_---0LC_0RD1LA_1LB1RE_1RD0RE}}, called '''Skelet #10''', was one of Skelet's 43 holdouts and one of the last holdouts in BB(5). It is a double fibonacci counter. Category:BB(5)")
- 23:41, 20 February 2026 Polygon talk contribs created page File:RepWL 0RB0LC 1LA1RB 1RD0RE 1LC1LA ---0LD.png (Repeated Word List tree for TM 0RB0LC_1LA1RB_1RD0RE_1LC1LA_---0LD Source: https://discord.com/channels/960643023006490684/1295401870298320977/1348277260221677641)
- 23:41, 20 February 2026 Polygon talk contribs uploaded File:RepWL 0RB0LC 1LA1RB 1RD0RE 1LC1LA ---0LD.png (Repeated Word List tree for TM 0RB0LC_1LA1RB_1RD0RE_1LC1LA_---0LD Source: https://discord.com/channels/960643023006490684/1295401870298320977/1348277260221677641)
- 23:17, 20 February 2026 Polygon talk contribs created page Repeated Word List (RepWL) (Redirected page to Repeated Word List) Tag: New redirect
- 21:42, 20 February 2026 Polygon talk contribs created page RepWL (Redirected page to Repeated Word List) Tag: New redirect
- 21:22, 20 February 2026 Polygon talk contribs created page Repeated Word List (Created page with "'''Repeated Word List''' (short '''RepWL''') is a decider. Category:Deciders {{Stub}}")
- 16:35, 20 February 2026 Polygon talk contribs created page BB(4,4) (Created page with "The 4-state 4-symbol Busy Beaver problem, BB(4,4), is unsolved and unexplored. With Cryptids like Bigfoot in the preceding domain BB(3,3), we know that we must solve a Collatz-like problem in order to solve BB(4,4). The current BB(4,4) champion is simply inherited from BB(3,4) as BB(4,4) has not been explored yet. In September 2025, tjligocki ran a test enumeration on one of 1 billion subtasks. The subtask ran for 1.5 hours...")
- 14:31, 20 February 2026 Polygon talk contribs created page Talk:BB(3,5) (Created page with "Is there any available information on the champion TM {{TM|1RB3LB4LC2RA4LB_2LC3RB1LC2RA1RZ_3RB1LB3LC2RC4LC|halt}}? ~~~~")
- 13:44, 20 February 2026 Polygon talk contribs created page Category:This Year in Beaver Research (Created page with "'''This Year in Beaver Research''' ('''TYBR''') is an annual series of articles dedicated to covering Busy Beaver research progress, announcements and news from each year. Category:This Month in Beaver Research")
- 17:34, 19 February 2026 Polygon talk contribs created page File:BB6 holdouts 1226.txt (Holdouts list shared on February 19 2026 by mxdys over Discord.)
- 17:34, 19 February 2026 Polygon talk contribs uploaded File:BB6 holdouts 1226.txt (Holdouts list shared on February 19 2026 by mxdys over Discord.)
