Recent changes

Jump to navigation Jump to search

Track the most recent changes to the wiki on this page.

Recent changes options Show last 50 | 100 | 250 | 500 changes in last 1 | 3 | 7 | 14 | 30 days
Hide registered users | Hide anonymous users | Hide my edits | Show bots | Hide minor edits
Show new changes starting from 17:02, 15 July 2024
   
 
List of abbreviations:
N
This edit created a new page (also see list of new pages)
m
This is a minor edit
b
This edit was performed by a bot
(±123)
The page size changed by this number of bytes

15 July 2024

     12:00 User creation log User account Alois talk contribs was created ‎
 m   06:02  Shift rule diffhist 0 Mxdys talk contribs (fix typo) Tag: Visual edit
     03:54  Main Page diffhist −11 Sligocki talk contribs (I don't think we need to talk about BB(5, 3) yet. BB(4, 3) is hard enough!) Tags: Manual revert Visual edit
N    03:49  Holdouts list diffhist +28 Sligocki talk contribs (Redirected page to Holdouts lists) Tags: New redirect Visual edit
N    03:49  BB(3,3) diffhist +3,736 Sligocki talk contribs (Created page with "The 3-state, 3-symbol Busy Beaver problem '''BB(3,3)''' is unsolved. With the discovery of Bigfoot in 2023, we now know that we must solve a Collatz-like problem in order to solve BB(3,3) and thus [https://www.sligocki.com/2023/10/16/bb-3-3-is-hard.html BB(3,3) is Hard]. The current BB(3,3) champion {{TM|0RB2LA1RA_1LA2RB1RC_1RZ1LB1LC}} was discovered by Terry and Shawn Ligocki in 2007, proving the lower bounds: <math display="block">\begin{arr...")
N    03:05  1RB2LA0LA 2LC---2RA 0RA2RC1LC diffhist +247 Sligocki talk contribs (Created page with "{{machine|1RB2LA0LA_2LC---2RA_0RA2RC1LC}} {{TM|1RB2LA0LA_2LC---2RA_0RA2RC1LC}} <code>@-d</code> — 13 Jun 2024 at 1:28 AM ET Proved this TM infinite in Coq: https://discord.com/channels/960643023006490684/1259770474897080380/1261554831055786045")

13 July 2024

     18:24  Sequences diffhist +793 Coda talk contribs (→‎Noncomputable Sequences: Add BB_clean, BB_ones and "Size of the Runtime Spectrum") Tag: Visual edit
     16:56  Main Page‎‎ 2 changes history +45 [Sligocki‎; DF476‎]
 m   
16:56 (cur | prev) +11 DF476 talk contribs (Since BB(5) has been proven, now BB(5,3) forms part of the new Busy Beaver frontier.) Tags: Reverted Visual edit
     
02:00 (cur | prev) +34 Sligocki talk contribs (searching for champion) Tag: Visual edit
     16:37 User creation log User account DF476 talk contribs was created ‎
     15:42  Tree Normal Form‎‎ 2 changes history +295 [Mei‎ (2×)]
     
15:42 (cur | prev) +244 Mei talk contribs (→‎TNF-1RB: Expand on the equivalence between 1RB and 0RB machines)
     
15:36 (cur | prev) +51 Mei talk contribs (→‎TNF Enumeration: Clarify what is meant by "first direction".)
     03:51  Antihydra diffhist −85 Sligocki talk contribs (Add TM Template) Tag: Visual edit: Switched
     03:22  Template:TM diffhist +1 LegionMammal978 talk contribs (change acronym)
N    03:06  Champions‎‎ 3 changes history +3,060 [Sligocki‎ (3×)]
     
03:06 (cur | prev) −4 Sligocki talk contribs (Put BB(2) on one line) Tag: Visual edit
 m   
02:59 (cur | prev) −15 Sligocki talk contribs Tag: Visual edit
N    
02:58 (cur | prev) +3,079 Sligocki talk contribs (Created page with "Busy Beaver '''Champions''' are the current record holding Turing machines who maximize a Busy Beaver function. In this article we focus specifically on the longest running TMs. Some have been proven to be the longest running of all (and so are the ultimate champion) while others are only current champions and may be usurped in the future. For smaller domains, Pascal Michel's website is the canonical source for [https://bbchallenge.org/~pascal.mich...") Tag: Visual edit

12 July 2024

     19:17  Holdouts lists diffhist +167 Sligocki talk contribs (Newest BB6 Holdouts.) Tag: Visual edit
     19:16 Upload log Sligocki talk contribs uploaded File:BB6 holdouts 7296.txt
N    19:14  BB(6)‎‎ 2 changes history +2,765 [Sligocki‎ (2×)]
     
19:14 (cur | prev) +233 Sligocki talk contribs (Cryptids and Holdouts) Tag: Visual edit
N    
18:59 (cur | prev) +2,532 Sligocki talk contribs (Created page with "The 6-state, 2-symbol Busy Beaver problem '''BB(6)''' is unsolved. With the discovery of Antihydra in 2024, we now know that we must solve a Collatz-like problem in order to solve BB(6). The current BB(6) champion {{TM|1RB0LD_1RC0RF_1LC1LA_0LE1RZ_1LF0RB_0RC0RE}} was discovered by Pavel Kropitz in 2022 proving the lower bound:<ref>Shawn Ligocki. 2022. "BB(6, 2) > 10↑↑15". https://www.sligocki.com/2022/06/21/bb-6-2-t15.html</ref> <math display="block">S(6) >...") Tag: Visual edit
     19:09  1RB1RE 1LC0RA 0RD1LB ---1RC 1LF1RE 0LB0LE diffhist −18 Sligocki talk contribs (Add TM Template)
     19:00  1RB0LD 1RC0RF 1LC1LA 0LE1RZ 1LF0RB 0RC0RE diffhist −18 Sligocki talk contribs (Add TM Template) Tag: Visual edit: Switched
     04:21  BB(5)‎‎ 2 changes history +1,653 [Sligocki‎ (2×)]
     
04:21 (cur | prev) +75 Sligocki talk contribs (→‎Champions) Tag: Visual edit
     
04:09 (cur | prev) +1,578 Sligocki talk contribs (Add Champions and Top halters.) Tag: Visual edit: Switched
     04:20  BB(4)‎‎ 4 changes history +1,339 [Sligocki‎ (4×)]
     
04:20 (cur | prev) +83 Sligocki talk contribs (→‎Champions) Tag: Visual edit
     
03:54 (cur | prev) −2 Sligocki talk contribs (→‎Enumeration) Tag: Visual edit
 m   
03:54 (cur | prev) −17 Sligocki talk contribs (→‎Enumeration) Tag: Visual edit
     
03:53 (cur | prev) +1,275 Sligocki talk contribs (Add champions and enumeration info) Tag: Visual edit
     04:19  BB(2)‎‎ 2 changes history +152 [Sligocki‎ (2×)]
     
04:19 (cur | prev) +126 Sligocki talk contribs (→‎Champions: Note ones/steps) Tag: Visual edit
 m   
04:13 (cur | prev) +26 Sligocki talk contribs (Add TM Template) Tag: Visual edit: Switched
N    04:17  BB(3)‎‎ 4 changes history +2,610 [Sligocki‎ (4×)]
     
04:17 (cur | prev) +210 Sligocki talk contribs (→‎Champions: Note no shared champions) Tag: Visual edit
     
03:43 (cur | prev) +1,021 Sligocki talk contribs (Add some longest running halters) Tag: Visual edit
     
03:34 (cur | prev) +39 Sligocki talk contribs (partial recurrence) Tag: Visual edit
N    
03:27 (cur | prev) +1,340 Sligocki talk contribs (Created page with "The 3-state 2-symbol Busy Beaver problem '''BB(3)''' was proven by Shen Lin in his 1963 doctoral dissertation<ref>Shen Lin. 1963. Computer studies of Turing machine problems. PhD dissertation. Ohio State University. https://etd.ohiolink.edu/acprod/odb_etd/etd/r/1501/10?clear=10&p10_accession_num=osu1486554418657614</ref> and republished in 1965.<ref>Lin, Shen; Radó, Tibor (April 1965). "Computer Studies of Turing Machine Problems". ''Journal of the ACM''. '''12''' (2):...") Tag: Visual edit: Switched
     03:58  Module:Documentation/config‎‎ 2 changes history +21 [LegionMammal978‎ (2×)]
     
03:58 (cur | prev) +16 LegionMammal978 talk contribs
     
03:13 (cur | prev) +5 LegionMammal978 talk contribs
     03:57  Module:Documentation‎‎ 2 changes history 0 [LegionMammal978‎ (2×)]
     
03:57 (cur | prev) +1,068 LegionMammal978 talk contribs (Undo revision 437 by LegionMammal978 (talk)) Tag: Undo
     
03:56 (cur | prev) −1,068 LegionMammal978 talk contribs Tag: Reverted
 m   03:57  1RB0RE 0RC--- 1LD1LE 1LE1LD 1RF0LC 1RA1RF diffhist −18 Sligocki talk contribs (Add TM Template)
N    03:55  Data:I18n/Documentation.tab‎‎ 4 changes history +33,445 [LegionMammal978‎ (4×)]
     
03:55 (cur | prev) −38 LegionMammal978 talk contribs Tag: Manual revert
     
03:54 (cur | prev) +4 LegionMammal978 talk contribs Tag: Reverted
     
03:53 (cur | prev) +34 LegionMammal978 talk contribs Tag: Reverted
N    
03:50 (cur | prev) +33,445 LegionMammal978 talk contribs (Created page with "{ "license": "CC0-1.0", "description": { "en": "Translation table for the shared Module:Documentation", "hu": "Fordítási táblázat a megosztott Documentation modulhoz", "nb": "Oversettelsestabell for den delte modulen Documentation", "nn": "Omsetjingstabell for den delte modulen Documentation", "sl": "Prevodna tabela za skupni Module:Documentation", "tr": "Paylaşılan Module:Documentation için çeviri tablosu",...")
N    03:50  Data:I18n/Module:TNT.tab diffhist +10,326 LegionMammal978 talk contribs (Created page with "{ "license": "CC0-1.0", "description": { "ast": "Tabla de traducciones pal Módulu:TNT", "be": "Табліца перакладаў для модуля Module:TNT", "bg": "Таблица с преводи за Модул:TNT", "ca": "Taula de traduccions per al Mòdul:TNT", "cs": "Tabulka překladů pro Modul:TNT", "de": "Übersetzungstabelle für das Modul:TNT", "el": "Πίνακας μετάφρασης...")
     03:43  (Deletion log) [LegionMammal978‎ (2×)]
     
03:43 LegionMammal978 talk contribs deleted page Data:I18n/Documentation.tab(wrong namespace)
     
03:43 LegionMammal978 talk contribs deleted page Data:I18n/Module:TNT.tab(wrong namespace)
 m   03:31  Template:TM diffhist 0 Sligocki talk contribs
N    03:16  Module:TNT diffhist +6,656 LegionMammal978 talk contribs (Created page with "-- Copied from https://www.mediawiki.org/w/index.php?title=Module:TNT&oldid=5750914 -- -- INTRO: (!!! DO NOT RENAME THIS PAGE !!!) -- This module allows any template or module to be copy/pasted between -- wikis without any translation changes. All translation text is stored -- in the global Data:*.tab pages on Commons, and used everywhere. -- -- SEE: https://www.mediawiki.org/wiki/Multilingual_Templates_and_Modules -- -- ATTENTION: -- Please do NOT ren...")
N    03:15  Module:Documentation/i18n diffhist +1,791 LegionMammal978 talk contribs (Created page with "-- Copied from https://www.mediawiki.org/w/index.php?title=Module:Documentation/i18n&oldid=3580736 local format = require('Module:TNT').format local i18n = {} i18n['cfg-error-msg-type'] = format('I18n/Documentation', 'cfg-error-msg-type') i18n['cfg-error-msg-empty'] = format('I18n/Documentation', 'cfg-error-msg-empty') -- cfg['template-namespace-heading'] -- The heading shown in the template namespace. i18n['template-namespace-heading'] = format('I18n/Documentation',...")