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).
- 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)
- 17:57, 4 December 2025 JackM4828 talk contribs created page Tiny Tag (created an article based off of tiny tag which was talked about in the discord forum for bb) Tag: Visual edit
- 17:50, 4 December 2025 Sligocki talk contribs created page Category:People (Created page with "People related to the Busy Beaver problem.") Tag: Visual edit
- 17:38, 4 December 2025 Sligocki talk contribs created page Shen Lin (Created page with "'''Shen Lin''' was an early Busy Beaver researcher. He was a graduate student of Tibor Radó at Ohio State University and solved BB(3) in his PhD dissertation there.<ref name="phd_thesis">Shen Lin. 1963. Computer studies of Turing machine problems. PhD dissertation. Ohio State University. [http://rave.ohiolink.edu/etdc/view?acc_num=osu1486554418657614]</ref> He was the first to describe Translated Cyclers (which he called "partial recurrence") and to publish...") Tag: Visual edit: Switched
- 15:36, 4 December 2025 MrSolis talk contribs created page Module:Infobox (Created page with "local p = {} local args = {} local origArgs = {} local root local empty_row_categories = {} local category_in_empty_row_pattern = '%[%[%s*[Cc][Aa][Tt][Ee][Gg][Oo][Rr][Yy]%s*:[^]]*]]' local has_rows = false local lists = { plainlist_t = { patterns = { '^plainlist$', '%splainlist$', '^plainlist%s', '%splainlist%s' }, found = false, styles = 'Plainlist/styles.css' }, hlist_t = { patterns = { '^hlist$', '%shlist$', '^hlist%s', '%shlist%s'...")
- 10:21, 4 December 2025 Azerty talk contribs created page User:Azerty/Busy Beaver Functions (Created page with "This is a list of Busy Beaver functions for Turing machines and other simple Turing-complete systems and their current lower bounds. All functions here grow uncomputably fast like the original Busy Beaver function. There is no function that grow much faster like the Beeping Busy Beaver function here. I will add more functions soon. == Turing Machines == {| class="wikitable" !Function !Value |- |BB(2) |6 |- |BB(3) |21 |- |BB(2,3) |38 |- |BB(4) |107 |- |...") Tag: Visual edit
- 21:17, 3 December 2025 Sligocki talk contribs created page Cyclic Tree Busy Beaver (Redirected page to Cyclic Tag) Tags: New redirect Visual edit
- 17:31, 3 December 2025 Sligocki talk contribs created page File:Vonhust bb6 benchmark.png
- 17:31, 3 December 2025 Sligocki talk contribs uploaded File:Vonhust bb6 benchmark.png
- 16:14, 2 December 2025 Sligocki talk contribs created page Template:Doi (Created page with "[https://doi.org/{{{1}}} doi:{{{1}}}]")
- 15:44, 2 December 2025 XnoobSpeakable talk contribs created page List of Busy Beaver Papers (Starting this page, will attempt to add as many papers as I can find) Tag: Visual edit
- 22:36, 29 November 2025 Autumn-Pan talk contribs created page File:1RB1LA 1RC1RE 1LD0RB 1LA0LC 0RF0RD 0RB---Pomme.pdf (Pomme's proof of the rule closure of 1RB1LA_1RC1RE_1LD0RB_1LA0LC_0RF0RD_0RB---)
- 22:36, 29 November 2025 Autumn-Pan talk contribs uploaded File:1RB1LA 1RC1RE 1LD0RB 1LA0LC 0RF0RD 0RB---Pomme.pdf (Pomme's proof of the rule closure of 1RB1LA_1RC1RE_1LD0RB_1LA0LC_0RF0RD_0RB---)
- 05:03, 29 November 2025 Autumn-Pan talk contribs created page 1RB1LA 1RC1RE 1LD0RB 1LA0LC 0RF0RD 0RB--- (Added brief summary of work done, will be updated as more work comes out in the near future)
- 21:47, 28 November 2025 RobinCodes talk contribs created page File:BB6 holdouts 1416.txt (Holdouts list shared by mxdys on 28 Nov 2025 consisting of 1416 machines.)
- 21:47, 28 November 2025 RobinCodes talk contribs uploaded File:BB6 holdouts 1416.txt (Holdouts list shared by mxdys on 28 Nov 2025 consisting of 1416 machines.)
- 12:45, 28 November 2025 Azerty talk contribs created page Busy Beaver for SKI calculus (Created page with "Busy Beaver for SKI calculus (we will call it BBSKI for now) is a variation of the Busy Beaver problem for lambda calculus. == Champions == {| class="wikitable" ! n !! Value !! Champion !! Discoverered by |- | 1 || = 1 || S || ? |- | 2 || = 2 || SS || ? |- | 3 || = 3 || SSS || ? |- | 4 || = 4 || SSSS || ? |- | 5 || = 6 || SSS(SS) || ? |- | 6 || >= 8 || SSS(SSS) || ? |} == See Also == [https://komiamiko.me/math/ordinals/2020/06/21/ski-numerals.html Lower bounds of this...")
- 04:21, 26 November 2025 RobinCodes talk contribs created page File:Fractran deciders.png (A diagram & list of Fractran deciders and their relations, shared by Daniel Yuan on 14 Nov 2025)
- 04:21, 26 November 2025 RobinCodes talk contribs uploaded File:Fractran deciders.png (A diagram & list of Fractran deciders and their relations, shared by Daniel Yuan on 14 Nov 2025)
- 22:06, 23 November 2025 JackM4828 talk contribs created page Tree Rewriting System (Created a page that deals with a tree rewriting system) Tag: Visual edit
- 22:03, 23 November 2025 JackM4828 talk contribs created page File:Examples of Graphs .jpg
- 22:03, 23 November 2025 JackM4828 talk contribs uploaded File:Examples of Graphs .jpg
- 21:09, 22 November 2025 RobinCodes talk contribs created page 1RB0LD 0RC0RE 1LC0LA ---1LE 0LF0RE 0RA0LE (Now all Cryptids and probable cryptids should have a wiki page.)
- 21:03, 22 November 2025 RobinCodes talk contribs created page 1RB1LD 1RC0LE 1LA1RE 0LF1LA 1RB0RB ---0LB (Initial commit)
- 22:09, 21 November 2025 User account Alistaire talk contribs was created
- 13:44, 21 November 2025 User account Junkshipp talk contribs was created
- 13:40, 21 November 2025 User account NicolaeLupescu talk contribs was created
- 21:13, 20 November 2025 RobinCodes talk contribs created page User:RobinCodes/Testing page (Initial commit)
- 21:01, 20 November 2025 RobinCodes talk contribs moved page User:User:JackM4828/Unary Cyclic Tag to User:JackM4828/Unary Cyclic Tag
- 21:01, 20 November 2025 RobinCodes talk contribs moved page Unary Cyclic Tag to User:User:JackM4828/Unary Cyclic Tag (User requested page to be deleted. https://discord.com/channels/960643023006490684/960643023530762341/1440946698448011294)
- 20:30, 19 November 2025 JackM4828 talk contribs created page Unary Cyclic Tag (Created an article based off of a variant of cyclic tag.)
- 08:18, 19 November 2025 Abuse filter talk contribs blocked JacelynPardey35 talk contribs with an expiration time of indefinite (account creation disabled, autoblock disabled, cannot edit own talk page) (Automatically blocked by abuse filter. Description of matched rule: External link spam)
- 08:18, 19 November 2025 User account JacelynPardey35 talk contribs was created
- 04:30, 18 November 2025 User account Aparker314159 talk contribs was created
- 01:24, 17 November 2025 Tjligocki talk contribs created page BB(2,7) (Beginning an investigation of BB(2,7))
- 15:35, 16 November 2025 User account Vonhust talk contribs was created
- 13:20, 16 November 2025 Qwertyasdf talk contribs created page Holdout lists (Redirected page to Holdouts lists) Tag: New redirect
- 22:05, 15 November 2025 JackM4828 talk contribs created page Cyclic Tag (I have created a page dealing with Cyclic Tag. A very minimally Turing-complete system. Thanks.) Tag: Visual edit
- 21:13, 15 November 2025 User account JackM4828 talk contribs was created
- 11:17, 15 November 2025 RobinCodes talk contribs created page File:BB6 holdouts 1534.txt (BB(6) holdouts as of 14 November 2025. Shared by @mxdys on Discord.)
- 11:17, 15 November 2025 RobinCodes talk contribs uploaded File:BB6 holdouts 1534.txt (BB(6) holdouts as of 14 November 2025. Shared by @mxdys on Discord.)
- 19:53, 14 November 2025 Sligocki talk contribs created page Quick Sim (Redirected page to Accelerated simulator#Quick Sim) Tags: New redirect Visual edit
- 19:51, 14 November 2025 Sligocki talk contribs created page Hashlife (Redirected page to Accelerated Simulator#hashlife) Tags: New redirect Visual edit
- 23:50, 13 November 2025 User account Literally Legendary talk contribs was created
- 18:18, 12 November 2025 Abuse filter talk contribs blocked MayraHildebrant talk contribs with an expiration time of indefinite (account creation disabled, autoblock disabled, cannot edit own talk page) (Automatically blocked by abuse filter. Description of matched rule: External link spam)
- 18:18, 12 November 2025 User account MayraHildebrant talk contribs was created
- 16:31, 12 November 2025 User account Maksandchael talk contribs was created
- 20:25, 10 November 2025 Sligocki talk contribs created page Fractran (Created page with "'''Fractran''' (originally styled FRACTRAN) is an esoteric model of computation invented by John Conway in 1987.<ref>Conway, John H. (1987). "FRACTRAN: A Simple Universal Programming Language for Arithmetic". ''Open Problems in Communication and Computation''. Springer-Verlag New York, Inc. pp. 4–26. <nowiki>http://doi.org/10.1007/978-1-4612-4808-8_2</nowiki></ref> In this model a program is simply a finite list of fractions, the program state is an integer. For more d...") Tag: Visual edit: Switched
- 19:58, 10 November 2025 Sligocki talk contribs created page 1RB2RA3LB---2LB 2LA0LA4RB0RB1LA (Created page with "{{machine|1RB2RA3LB---2LB_2LA0LA4RB0RB1LA}} {{stub}} {{TM|1RB2RA3LB---2LB_2LA0LA4RB0RB1LA}} appears to be a tetrational BB(2,5) probviously halting Cryptid. Racheline estimates the probability that it surpasses the current champion ({{TM|1RB3LA4RB0RB2LA_1LB2LA3LA1RA1RZ}}) is 1/8. https://discord.com/channels/960643023006490684/1259770421046411285/1329809402378719273")
