User contributions for Sligocki

24 August 2025

• 18:0918:09, 24 August 2025 diff hist +317 N Surprise in a Box Created page with "{{machine|1RB2LB1LC_1LA2RB1RB_1RZ2LA0LC}} {{TM|1RB2LB1LC_1LA2RB1RB_1RZ2LA0LC}}, named '''Surprise in a Box''' by Allen Brady, is a halting BB(3,3) TM which runs surprisingly long on a surprisingly small segment of the tape. It halts after 2,315,619 steps, but only touches 51 cells on the tape. Category:Stub" Tag: Visual edit: Switched

21 August 2025

• 19:0619:06, 21 August 2025 diff hist +258 TMBR: August 2025 →Holdouts: Added xnoob bb6 discovery Tag: Visual edit
• 17:5917:59, 21 August 2025 diff hist +300 TMBR: August 2025 Add some holdouts news Tag: Visual edit
• 17:0917:09, 21 August 2025 diff hist −3 m TMBR: August 2025 →Cryptids Tag: Visual edit
• 17:0917:09, 21 August 2025 diff hist +645 TMBR: August 2025 Add Iijil's converter and describe a bit more about the constant collatz divide-and-conquer alg Tag: Visual edit
• 17:0217:02, 21 August 2025 diff hist +400 1RB1RA 0RC1RC 1LD0LF 0LE1LE 1RA0LB ---0LC →Analysis by @mxdys: Add some precision to new reset value, describe how hard it will be to simulate further and add sigma score bound. Tag: Visual edit
• 02:5002:50, 21 August 2025 diff hist +247 Antihydra →Trajectory: Update simulation bound and add graph. Tag: Visual edit
• 02:3902:39, 21 August 2025 diff hist +185 N File:Antihydra Walk.png The parity sequence of iterated Hydra function for Antihydra by apgoucher. https://discord.com/channels/960643023006490684/1026577255754903572/1271528180246773883 current
• 02:3202:32, 21 August 2025 diff hist −1 Cryptids →Cryptids at the Edge: Add dates and discoverers. Remove Announcement column, probably easier to view individual wiki pages. Tag: Visual edit

19 August 2025

• 20:3520:35, 19 August 2025 diff hist +1,684 N Universal Turing Machine Created page with "A '''Universal Turing Machine''' (UTM) is a Turing Machine which can simulate any other TM (encoded onto input tape). The precise definition requires defining the encoding function to map simulated TMs and TM inputs into UTM initial tapes. Since a UTM can simulate any TM, the halting problem for any UTM is not computable. There is a common misconception that the Busy Beaver Functions will become uncomputable once we reach a domain with a UTM (since the general h..." current Tag: Visual edit

18 August 2025

• 21:2821:28, 18 August 2025 diff hist +288 1RB1RA 0RC1RC 1LD0LF 0LE1LE 1RA0LB ---0LC →Analysis by @mxdys: Note simulation results Tag: Visual edit
• 21:2421:24, 18 August 2025 diff hist +129 TMBR: August 2025 Collatz reset Tag: Visual edit
• 15:5215:52, 18 August 2025 diff hist +105 1RB1RA 1RC1RZ 1LD0RF 1RA0LE 0LD1RC 1RA0RE Add Discord link Tag: Visual edit
• 15:5015:50, 18 August 2025 diff hist +105 m 1RB1LC 1LA1RE 0RD0LA 1RZ1LB 1LD0RF 0RD1RB Add discord link to discovery Tag: Visual edit

14 August 2025

• 19:1219:12, 14 August 2025 diff hist +27 m Lazy Beaver Right align table. current Tag: Visual edit: Switched
• 19:0219:02, 14 August 2025 diff hist +13 Beeping Busy Beaver →Significance: Spell out in more detail how BBB dominates any combinations of BBs. Tag: Visual edit
• 18:0718:07, 14 August 2025 diff hist +2 m Busy Beaver for lambda calculus →Oracle Busy Beaver: Consistent text format Tag: Visual edit
• 18:0618:06, 14 August 2025 diff hist +2 m Busy Beaver for lambda calculus →Oracle Busy Beaver: fix tex format Tag: Visual edit
• 15:3815:38, 14 August 2025 diff hist +26 m TMBR: August 2025 Link to new section in wiki. Tag: Visual edit
• 15:3715:37, 14 August 2025 diff hist +295 m Busy Beaver for lambda calculus →Oracle Busy Beaver: Format Tag: Visual edit

13 August 2025

• 16:5816:58, 13 August 2025 diff hist +130 Beeping Busy Beaver →Beeping booping busy beavers: Link to source blog post and update format of a few other links. Tag: Visual edit

12 August 2025

• 18:1618:16, 12 August 2025 diff hist −8 m Template:Stub Fix link to stubs category current
• 18:1418:14, 12 August 2025 diff hist +144 TMBR: August 2025 Add Tromp's BBl_1. Remove BBi TNF function for now, I think that is relatively unnotable at the moment. Tag: Visual edit

11 August 2025

• 06:0006:00, 11 August 2025 diff hist +436 N User talk:Xl643 Created page with "== Naming TMs == Hi Xl643, please stop adding your own personal names for TMs to their pages. The person who discovers a TM has the right to name it. Or alternatively it might be named if there is a common name used in the community. If you'd like to suggest a name in the talk page or on the Discord you are welcome but don't just add it to the page. ~~~~"
• 05:5805:58, 11 August 2025 diff hist −74 m 1RB1LD 1RC1RE 0LA1LB 0LD1LC 1RF0RA ---0RC Reverted edits by Xl643 (talk) to last revision by Polygon Tag: Rollback
• 05:5805:58, 11 August 2025 diff hist −39 m 1RB1RC 1LC1LE 1RA1RD 0RF0RE 1LA0LB ---1RA Reverted edits by Xl643 (talk) to last revision by Polygon Tag: Rollback
• 05:5805:58, 11 August 2025 diff hist −204 1RB2LC1RC 2LC---2RB 2LA0LB0RA Revert arbitrary name. Please stop naming other people's machines. Tag: Manual revert

10 August 2025

• 21:2521:25, 10 August 2025 diff hist −14 1RB2LC1RC 2LC---2RB 2LA0LB0RA Revert smallfoot comment, I don't think that is a common name for this TM.
• 21:1621:16, 10 August 2025 diff hist −7 m TMBR: July 2025 →Interesting TMs Tag: Visual edit
• 21:0821:08, 10 August 2025 diff hist +46 m BB(7) →Cryptids: Clarify that this is the compiled version of Bigfoot Tag: Visual edit

9 August 2025

• 23:4323:43, 9 August 2025 diff hist +106 TMBR: July 2025 Aaronson blog post Tag: Visual edit
• 23:4023:40, 9 August 2025 diff hist +291 TMBR: July 2025 Add blog posts. Tag: Visual edit
• 20:0520:05, 9 August 2025 diff hist +1,097 TMBR: July 2025 Add introduction Tag: Visual edit
• 19:2819:28, 9 August 2025 diff hist +5 BB(7) →Exploration after Phase 1: Output TMs -> Output Holdouts (it is a count of unknowns). Tag: Visual edit
• 19:0619:06, 9 August 2025 diff hist +1,593 1RB3LA4RB0RB2LA 1LB2LA3LA1RA1RZ Add mxdys Coq verification Tag: Visual edit
• 19:0119:01, 9 August 2025 diff hist +412 Champions Add Discovery credit and verification details to many champions (mostly taken from Pascal's website). Tag: Visual edit
• 18:0618:06, 9 August 2025 diff hist −34 m Champions →4-Symbol TMs: Clarify discovery and analysis Tag: Visual edit
• 06:3806:38, 9 August 2025 diff hist −1 m Holdouts lists →Downloadable Holdout Lists: Fix typo in link Tag: Visual edit
• 06:0906:09, 9 August 2025 diff hist +43 BB(7) →Exploration after Phase 1: Add runtime columns Tag: Visual edit
• 03:2403:24, 9 August 2025 diff hist +45 N FAR Redirected page to Finite Automata Reduction (FAR) Tags: New redirect Visual edit
• 03:2403:24, 9 August 2025 diff hist +40 N CTL Redirected page to Closed Tape Language (CTL) Tags: New redirect Visual edit
• 03:2403:24, 9 August 2025 diff hist +39 N CPS Redirected page to Closed Position Set (CPS) Tags: New redirect Visual edit
• 03:2303:23, 9 August 2025 diff hist +243 BB(7) →Exploration after Phase 1: Add my experiment Tag: Visual edit

8 August 2025

• 20:5820:58, 8 August 2025 diff hist −6 m 1RB0RD 0LC1RA 0RA1LB 1RE1LB 1LF1LB ---1LE remove "stable" the cycle is not stable in the sense that small perturbations leave the cycle. Tag: Visual edit
• 18:0818:08, 8 August 2025 diff hist +1,348 N 1RB0RD 0LC1RA 0RA1LB 1RE1LB 1LF1LB ---1LE Created page with "{{machine|1RB0RD_0LC1RA_0RA1LB_1RE1LB_1LF1LB_---1LE}} {{TM|1RB0RD_0LC1RA_0RA1LB_1RE1LB_1LF1LB_---1LE}} is a non-halting BB(6) TM discovered by mxdys on 14 Sep 2024 ([https://discord.com/channels/960643023006490684/1239205785913790465/1284419946759323700 Discord]) and proven non-halting the next day ([https://discord.com/channels/960643023006490684/1239205785913790465/1284838151348551795 Discord]). It follows rules similar to {{TM|1RB1RE_1LC0RA_0RD1LB_---1RC_1LF1RE_0..."
• 17:3017:30, 8 August 2025 diff hist −19 m Instruction-Limited Busy Beaver Merge champions sections (especially since notes apply to both. Tag: Visual edit: Switched
• 17:2617:26, 8 August 2025 diff hist −1,137 Instruction-Limited Busy Beaver Clean up and update a few things. Notably, focus on the "instruction-limited busy beaver "function" rather than the bb itself (a TM) or the bb contest (which is never mentioned again in the article). Also remove redundant TNF counts. Tag: Visual edit

3 August 2025

• 23:1723:17, 3 August 2025 diff hist +39 m BB(6) →Techniques: Formatting Tag: Visual edit

31 July 2025

• 03:0803:08, 31 July 2025 diff hist −8 m Reversible Turing Machine →Busy Beaver Champions

30 July 2025

• 23:1923:19, 30 July 2025 diff hist 0 TMBR: July 2025 →BB Adjacent: Remove TODO and write a full sentence.