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).
- 17:49, 11 December 2025 RobinCodes talk contribs uploaded File:BMO1-Bard.pdf (A reformulation of BMO 1 and an alternative way to solve it using a homogeneous function. Written by Bard.)
- 17:21, 11 December 2025 RobinCodes talk contribs created page BMO 1 (Added BMO 1 redirect page) Tag: New redirect
- 17:03, 11 December 2025 RobinCodes talk contribs created page User:RobinCodes/Machines at the Edge (Started page)
- 20:29, 9 December 2025 Sligocki talk contribs created page General Recursive Function (Start page) Tag: Visual edit: Switched
- 18:52, 8 December 2025 RobinCodes talk contribs created page Space Needle (Added "Space Needle" redirect page to the TM) Tag: New redirect
- 16:20, 8 December 2025 Azerty talk contribs created page Register machine (Created page with "Register machines, also known as Minsky machines, are a Turing-complete model of computation. Register machines contain a set of instructions and at least 2 registers. Each instruction in a program has a number, starting with 1. There are 2 types of instructions: * inc(c, n) add 1 to the register c then jumps to instruction n. * dec(c, n, m) jumps to instruction m if register c equal 0 else subtract 1 to the register c then jump to instruction n. The program halt if...") Tag: Visual edit
- 12:07, 7 December 2025 Polygon talk contribs created page 0RB2LA1RA 1LA2RB1RC 1RZ1LB1LC (Redirected page to 0RB2LA1RA 1LA2RB1RC ---1LB1LC) Tag: New redirect
- 21:32, 6 December 2025 Azerty talk contribs created page 1RB2LA1RA1RA 1LB1LA3RB1RZ (Created page with "{{TM|1RB2LA1RA1RA_1LB1LA3RB---|halt}} is the BB(2,4) champion. It was found in 2005 by Terry and Shawn Ligocki. It runs for 3,932,964 steps and leaves 2,050 ones. == Analysis == To do") Tag: Visual edit
- 21:10, 6 December 2025 Azerty talk contribs created page 0RB2LA1RA 1LA2RB1RC ---1LB1LC (Created the page) Tag: Visual edit
- 21:03, 6 December 2025 Azerty talk contribs created page 1RB3LB---2RA 2LC3RB1LC2RA 3RB1LB3LC2RC (Redirected page to 1RB3LB1RZ2RA 2LC3RB1LC2RA 3RB1LB3LC2RC) Tag: New redirect
- 21:02, 6 December 2025 Azerty talk contribs created page 1RB0RA 1LC1LF 1RD0LB 1RA1LE ---0LC 1RG1LD 0RG0RF (Redirected page to 1RB0RA 1LC1LF 1RD0LB 1RA1LE 1RZ0LC 1RG1LD 0RG0RF) Tag: New redirect
- 21:01, 6 December 2025 Azerty talk contribs created page 1RB1RD1LC 2LB1RB1LC ---1LA1LD 0RB2RA2RD (Redirected page to 1RB1RD1LC 2LB1RB1LC 1RZ1LA1LD 0RB2RA2RD) Tags: New redirect Visual edit
- 20:59, 6 December 2025 Azerty talk contribs created page 1RB3RB5RA1LB5LA2LB 2LA2RA4RB---3LB2LA (Redirected page to 1RB3RB5RA1LB5LA2LB 2LA2RA4RB1RZ3LB2LA) Tag: New redirect
- 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)
- 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
