Search results
Jump to navigation
Jump to search
- ..._---0RC}} is a [[probviously]] non-halting [[BB(6)]] [[Cryptid]] found by @mxdys and shared on Discord on 20 Aug 2024. == Analysis by @mxdys == ...952 bytes (179 words) - 05:58, 11 August 2025
- ..._1LC1LE_1RA1RD_0RF0RE_1LA0LB_---1RA}} is a [[BB(6)]] [[Cryptid]] found by @mxdys and shared on Discord on 27 Jul 2024. It's closely related to [[Hydra]] and == Analysis by @mxdys == ...1,019 bytes (184 words) - 05:58, 11 August 2025
- ...RC_---1RE}} is a [[probviously]] halting [[BB(6)]] [[Cryptid]] analyzed by mxdys on 30 July 2025. This TM is probviously halting because it decrements a 3-t == Analysis by mxdys == ...2 KB (292 words) - 07:21, 9 August 2025
- ..._0LB---_0RA1LA}} is a [[holdout]] [[BB(6)]] TM proven infinite by hand by @mxdys on 6 Dec 2024. Analysis by @mxdys: ...749 bytes (143 words) - 11:36, 5 August 2025
- {{TM|1RB3LA1LA1RA1RA_2LB2RA---4RB1LB}} is a [[BB(2,5)]] TM analzyed by mxdys [https://discord.com/channels/960643023006490684/1349040227548663858/134932 Analysis by mxdys and Racheline: ...600 bytes (121 words) - 11:01, 6 August 2025
- ..._0RA1LB_1RE1LB_1LF1LB_---1LE}} is a non-halting [[BB(6)]] TM discovered by mxdys on 14 Sep 2024 ([https://discord.com/channels/960643023006490684/1239205785 mxdys discovered that if the TM ever enters a config <code>(n,2n)</code> it would ...1 KB (204 words) - 20:58, 8 August 2025
- ..._1RA0RE|halt}} is the current [[BB(6)]] [[champion]]. It was discovered by mxdys on 25 June 2025 ([https://discord.com/channels/960643023006490684/138742638 == Analysis by mxdys == ...2 KB (441 words) - 15:52, 18 August 2025
- ...A1LB_1LA1LE_1RF0LC_---0RE}} is a potential [[BB(6)]] [[Cryptid]] found by @mxdys and shared on Discord on 7 Aug 2024. Andrew Ducharme forward simulated its == Analysis by @mxdys == ...2 KB (440 words) - 20:19, 10 August 2025
- |@mxdys |@mxdys ...6 KB (680 words) - 14:55, 18 August 2025
- ...//discord.com/channels/960643023006490684/1375584513777995957 Analysis by @mxdys] ...again to 217 using [[Closed Tape Language (CTL)|CTL]]. In February 2025, @mxdys ran a decider pipeline in Coq that resulted in only 173 holdouts. Since the ...11 KB (1,556 words) - 10:36, 18 August 2025
- ...nity developed and described over the years 2022-2024. It is maintained by mxdys and includes a snapshot of [[BusyCoq]] maintained by meithecatte. ...408 bytes (61 words) - 22:31, 10 August 2025
- |@mxdys |@mxdys ...5 KB (669 words) - 18:37, 22 July 2025
- ...of 16 [[probviously]] halting tetrational [[BB(6)]] [[Cryptid]]s found by @mxdys and shared on Discord on 26 Jul 2024. They all have (almost) identical tape == Analysis by @mxdys == ...5 KB (877 words) - 21:28, 18 August 2025
- |mxdys in 2025 |See mxdys's analysis on the TM page ...6 KB (886 words) - 20:31, 14 August 2025
- * (Late June) mxdys found a pair of new [[BB(6)]] champions pushing it into the pentational val * mxdys confirms dyuan's [[BB(2,5)]] champion {{TM|1RB3LA4RB0RB2LA_1LB2LA3LA1RA1RZ| ...5 KB (712 words) - 18:42, 16 August 2025
- mxdys — 11 Jul 2024 at 7:10 AM ET ...843 bytes (135 words) - 18:22, 16 August 2025
- ...z46K6I/m/af5sjd6MBAAJ the next day]. It was verified to halt in [[Coq]] by mxdys on 4 Jun 2025 ([https://discord.com/channels/960643023006490684/12597704210 === mxdys === ...11 KB (1,378 words) - 18:35, 16 August 2025
- ...ls/960643023006490684/1239205785913790465/1326911501357023296 9 Jan 2025]. Mxdys derived the lower level rules, and Racheline and Katelyn Doucette independe The original reported low level rules derived by @mxdys: ...3 KB (564 words) - 04:39, 11 August 2025
- ...runs for over 10↑↑35 steps found by Shawn Ligocki on 8 May 2025 based on @mxdys's enumeration system https://github.com/ccz181078/TM. ...2 KB (383 words) - 18:30, 16 August 2025
- ...blob/main/CoqBB5/Deciders/Decider_NGramCPS.v Decider_NGramCPS.v] in Coq by mxdys ...2 KB (227 words) - 22:30, 10 August 2025