User contributions for Sligocki
Jump to navigation
Jump to search
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 current Tag: Visual edit
- 21:2421:24, 18 August 2025 diff hist +129 TMBR: August 2025 Collatz reset current Tag: Visual edit
- 15:5215:52, 18 August 2025 diff hist +105 1RB1RA 1RC1RZ 1LD0RF 1RA0LE 0LD1RC 1RA0RE Add Discord link current Tag: Visual edit
- 15:5015:50, 18 August 2025 diff hist +105 m 1RB1LC 1LA1RE 0RD0LA 1RZ1LB 1LD0RF 0RD1RB Add discord link to discovery current 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 current 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 current 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. current 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) current Tags: New redirect Visual edit
- 03:2403:24, 9 August 2025 diff hist +40 N CTL Redirected page to Closed Tape Language (CTL) current Tags: New redirect Visual edit
- 03:2403:24, 9 August 2025 diff hist +39 N CPS Redirected page to Closed Position Set (CPS) current 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. current 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
30 July 2025
- 23:1923:19, 30 July 2025 diff hist 0 TMBR: July 2025 →BB Adjacent: Remove TODO and write a full sentence.
- 23:1623:16, 30 July 2025 diff hist +1 Reversible Turing Machine →Busy Beaver Champions: New BB_rev(6) champion. Tag: Visual edit
- 22:5722:57, 30 July 2025 diff hist +81 BB(6) →Holdouts: Number of BB(6) holdouts over time. Tag: Visual edit
- 22:5622:56, 30 July 2025 diff hist +85 TMBR: July 2025 →Holdout: Add plot Tag: Visual edit
- 22:5422:54, 30 July 2025 diff hist +53 N File:BB6 num holdouts over time.png Number of BB(6) holdouts over time. current
- 15:5915:59, 30 July 2025 diff hist +52 BB(6) →Cryptids: Add new Cryptid
- 15:5915:59, 30 July 2025 diff hist +655 N 1RB0LD 1RC1RA 1LD0RB 1LE1LA 1RF0RC ---1RE Created page with "{{machine|1RB0LD_1RC1RA_1LD0RB_1LE1LA_1RF0RC_---1RE}} {{TM|1RB0LD_1RC1RA_1LD0RB_1LE1LA_1RF0RC_---1RE}} is a probviously halting BB(6) Cryptid analzyed by mxdys on 30 July 2025. == Analysis by mxdys == [https://discord.com/channels/960643023006490684/1239205785913790465/1400141896944320602] <pre> 1RB0LD_1RC1RA_1LD0RB_1LE1LA_1RF0RC_---1RE (a,b,c) := 0^inf 1^a 0 01^b 0 11^c+1 B> 0^inf (a,2+b,c) --> (a,b,3+c) (a+1,0,c) --> (a,c,2) (a+1,1,c) --> (a,c,6) (0,0,c..."
- 01:3901:39, 30 July 2025 diff hist +102 Non-halting Turing machine →Records: Name BBS function current
- 01:3701:37, 30 July 2025 diff hist +68 N BBS Redirected page to Non-halting Turing machine#Translated cycler preperiod current Tags: New redirect Visual edit
- 01:3601:36, 30 July 2025 diff hist +16 Busy Beaver Functions →Other Busy Beaver functions: link BBP,BBS Tag: Visual edit
