Search results
Jump to navigation
Jump to search
- ...] TM which runs for about <math>10^{36}</math> steps. It was discovered by mxdys in 2024. ==Analysis by [[User:mxdys|mxdys]]== ...565 bytes (114 words) - 04:50, 27 September 2025
- == Analysis by mxdys == On Aug 27 2025, mxdys gave a Rocq proof that this TM does not halt: https://github.com/ccz181078/ ...622 bytes (113 words) - 04:52, 27 September 2025
- ..._---0RC}} is a [[probviously]] non-halting [[BB(6)]] [[Cryptid]] found by @mxdys and shared on Discord on 20 Aug 2024. == Analysis by @mxdys == ...971 bytes (181 words) - 04:50, 27 September 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 KB (186 words) - 04:56, 27 September 2025
- == Analysis by mxdys on Nov 2 2024 == mxdys gave a Rocq proof that this TM does not halt: https://github.com/ccz181078/ ...1 KB (224 words) - 04:44, 27 September 2025
- == Analysis by mxdys == ...rd.com/channels/960643023006490684/1239205785913790465/1260916010685300746 mxdys — 11 Jul 2024 at 7:10 AM ET] ...2 KB (287 words) - 08:52, 28 September 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 (294 words) - 04:43, 27 September 2025
- ...0a61549704e6305f752a4ad1f0faa5cf41dc0e61/verify/SBCv3.v#L8-L201 link]) by @mxdys on 6 Dec 2024. Analysis by @mxdys: ...896 bytes (170 words) - 04:47, 28 September 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: ...621 bytes (123 words) - 16:11, 27 September 2025
- == Analysis by mxdys == On Jun 16 2025, mxdys gave a Rocq proof that this TM does not halt: https://github.com/ccz181078/ ...2 KB (284 words) - 04:43, 27 September 2025
- == Analysis by mxdys == On Jul 29 2025, mxdys gave a Rocq proof that this TM is non-halting: https://github.com/ccz181078 ...2 KB (400 words) - 04:44, 27 September 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 == ...3 KB (443 words) - 04:55, 27 September 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 (206 words) - 04:46, 27 September 2025
- ...//discord.com/channels/960643023006490684/1375584513777995957 Analysis by @mxdys] ...s, and again to 217 using [[Closed Tape Language|CTL]]. In February 2025, @mxdys ran a decider pipeline in Rocq that resulted in only 173 holdouts. Since th ...11 KB (1,624 words) - 02:54, 28 September 2025
- |@mxdys |@mxdys ...7 KB (803 words) - 06:47, 5 October 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 == ...3 KB (522 words) - 05:59, 28 September 2025
- |@mxdys |@mxdys ...5 KB (658 words) - 09:04, 25 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. ...497 bytes (74 words) - 16:45, 27 September 2025
- |mxdys in 2025 |See mxdys's analysis on the TM page ...6 KB (905 words) - 09:15, 28 September 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 (941 words) - 04:52, 27 September 2025