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

• 14:06, 4 May 2026 User account DinaBrier356 talk contribs was created
• 11:19, 4 May 2026 Abuse filter talk contribs blocked NicholLohman6 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)
• 11:19, 4 May 2026 User account NicholLohman6 talk contribs was created
• 22:09, 3 May 2026 Abuse filter talk contribs blocked RebekahGerald01 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)
• 22:09, 3 May 2026 User account RebekahGerald01 talk contribs was created
• 15:53, 3 May 2026 Sligocki talk contribs created page Lambda Calculus (Redirected page to Busy Beaver for lambda calculus) Tags: New redirect Visual edit
• 15:53, 3 May 2026 Sligocki talk contribs created page BBµ (Redirected page to General Recursive Function) Tag: New redirect
• 15:52, 3 May 2026 Sligocki talk contribs created page GRF (Redirected page to General Recursive Function) Tag: New redirect
• 13:45, 3 May 2026 RobinCodes talk contribs created page File:BB6 progress Q1 2026.png
• 13:45, 3 May 2026 RobinCodes talk contribs uploaded File:BB6 progress Q1 2026.png
• 04:07, 3 May 2026 Jacobzheng talk contribs created page User talk:Calculus09 (Created page with "Calculus09，你什么时候能和我见面，如果你有空的话，请把时间和地址发到我的讨论页面上。 Jacobzheng (talk) 4:07, 3 May 2024 (UTC)")
• 12:26, 2 May 2026 Calculus09 talk contribs created page User:Calculus09 (Created page with "一名正在搞信息学竞赛的初中生。")
• 10:41, 2 May 2026 User account Calculus09 talk contribs was created
• 10:18, 2 May 2026 Polygon talk contribs created page TMBR: May 2026 (Created page with "{{TMBRnav|April 2026|June 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).'' == Holdouts == *BB(2,7) ** Terry Ligocki enumerated 20K more subtasks, increasing the number of holdouts to '''749,156,843'''. A total of 24K subtasks out of the 1 million subtasks (or '''24%''') have been enumerated.<sup>[https://d...")
• 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.)
• 09:01, 29 April 2026 Abuse filter talk contribs blocked ArcherPerreault 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)
• 09:01, 29 April 2026 User account ArcherPerreault talk contribs was created
• 06:19, 29 April 2026 Abuse filter talk contribs blocked GabrielleThow 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)
• 06:19, 29 April 2026 User account GabrielleThow talk contribs was created
• 05:35, 29 April 2026 Abuse filter talk contribs blocked JaymeJ4478 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)
• 05:35, 29 April 2026 User account JaymeJ4478 talk contribs was created
• 03:01, 29 April 2026 Abuse filter talk contribs blocked EstellaClarke 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)
• 03:01, 29 April 2026 User account EstellaClarke talk contribs was created
• 01:47, 29 April 2026 Abuse filter talk contribs blocked FreemanGardiner 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)
• 01:47, 29 April 2026 User account FreemanGardiner talk contribs was created
• 00:35, 29 April 2026 Abuse filter talk contribs blocked MatthewMoen99 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)
• 00:35, 29 April 2026 User account MatthewMoen99 talk contribs was created
• 23:59, 28 April 2026 Abuse filter talk contribs blocked TresaHandy84 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)
• 23:59, 28 April 2026 User account TresaHandy84 talk contribs was created
• 22:15, 28 April 2026 Abuse filter talk contribs blocked Earlene18B 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)
• 22:15, 28 April 2026 User account Earlene18B talk contribs was created
• 21:32, 28 April 2026 Abuse filter talk contribs blocked Junior40K702 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)
• 21:32, 28 April 2026 User account Junior40K702 talk contribs was created
• 16:55, 28 April 2026 Sligocki talk contribs created page 1RB0LD 0RC0RF 0RD0RA 1LE0RD 1LF--- 0LA1LA (Redirect)
• 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.)
• 16:08, 24 April 2026 Sligocki talk contribs created page File:Skewed tent map.png
• 16:08, 24 April 2026 Sligocki talk contribs uploaded File:Skewed tent map.png
• 15:18, 24 April 2026 Sligocki talk contribs created page File:Tent Distr 5B.png
• 15:18, 24 April 2026 Sligocki talk contribs uploaded File:Tent Distr 5B.png
• 22:41, 23 April 2026 Sligocki talk contribs created page 1RB--- 0RC0RD 1LD1RB 0LE0LC 1RA0LF 1LD1LE (Created page with "{{machine|1RB---_0RC0RD_1LD1RB_0LE0LC_1RA0LF_1LD1LE}} == Analysis by Shawn Ligocki == https://discord.com/channels/960643023006490684/1239205785913790465/1497001816741646407 <pre> 1RB---_0RC0RD_1LD1RB_0LE0LC_1RA0LF_1LD1LE Let A(a,b,c) = 0^inf 1^a 10^b C> 1^c 0^inf A(a+1,b,c+3) --> A(a,b+2,c) A(a,b,0) --> A(2b+1,1,a+1) A(a,b,1) --> A(2b+3,1,a+1) A(a,b,2) --> A(2b+5,1,a+1) A(0,b,c+5) --> A(2b+4,2,c) A(0,b,4) --> Halt A(0,b,3) --> Halt Start: A(0,1,0) </pre> Simulate...")
• 08:58, 19 April 2026 DrDisentangle talk contribs created page User:DrDisentangle/BB6 formal proofs (Created page with "This page is a draft of something to be added to BB(6). The goal is to keep track of which BB(6) cryptids (or candidates) have Rocq/Lean proofs of specific stages up to halting/nonhalting proofs. {| class="wikitable" |- ! Machine !! Rules Proved !! Math Derived !! H/NH Proof attempt !! Final Proof |- | 1RB1LD_1RC0LE_1LA1RE_0LF1LA_1RB0RB_---0LB || || || || |- | 1RB0RB_1LC1RE_1LF0LD_1RA1LD_1RC1RB_---1LC || || || || |- | 1RB1LA_0LC0RC_1LE1RD_1RE1RC_1LF0LA_---...")
• 11:24, 17 April 2026 DrDisentangle talk contribs created page 1RB---0RB0LA2RA 2LB2LA3RA4LB0LB (init)
• 15:30, 13 April 2026 User account Crimsonneuron talk contribs was created
• 18:26, 12 April 2026 User account Cppdsucker talk contribs was created
• 16:32, 11 April 2026 Azerty talk contribs created page CounterScript (Created page) Tag: Visual edit
• 09:32, 10 April 2026 RobinCodes talk contribs created page 1RB0LD 0RC1RB 0RD0RA 1LE0RD 1LF--- 0LA1LA (Added page for BMO 8) Tag: Visual edit
• 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)
• 14:37, 8 April 2026 DrDisentangle talk contribs created page File:1RB0RB 1LC1RE 1LF0LD 1RA1LD 1RC1RB ---1LC.pdf