Search results
Jump to navigation
Jump to search
- == 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
- ...6490684/1239205785913790465/1275164722286690334</ref> It was discovered by mxdys in August 2024.<ref>https://discord.com/channels/960643023006490684/1239205 == Analysis by @mxdys == ...791 bytes (126 words) - 17:55, 7 March 2026
- ..._---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) - 19:56, 31 March 2026
- == 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 (286 words) - 11:13, 30 October 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
- == Analysis by mxdys == ...2 KB (293 words) - 16:54, 28 April 2026
- {{TM|1RB3LA1LA1RA1RA_2LB2RA---4RB1LB}} is a [[BB(2,5)]] TM analyzed by mxdys [https://discord.com/channels/960643023006490684/1349040227548663858/134932 == Analysis by mxdys and Racheline == ...2 KB (329 words) - 11:03, 30 March 2026
- == 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 (402 words) - 19:15, 9 October 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
- ..._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 (484 words) - 17:34, 16 November 2025
- Rules were given by mxdys, see https://discord.com/channels/960643023006490684/1354037062830919690/13 ...498 bytes (77 words) - 18:02, 24 April 2026
- ...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 (537 words) - 19:45, 9 April 2026
- |@mxdys |@mxdys ...5 KB (677 words) - 07:40, 14 February 2026
- * @mxdys [https://discord.com/channels/960643023006490684/1226543091264126976/146993 ...944510 11 Feb] via the mxdys C++ FAR decider. This was verified in Rocq by mxdys [https://discord.com/channels/960643023006490684/1259770421046411285/147122 ...10 KB (1,061 words) - 01:56, 17 April 2026
- ...started in November 2025 using [https://github.com/ccz181078/TM C++ code] mxdys shared. This work is ongoing and further described below. After this is com The code provided by mxdys breaks up the BB(2,7) enumeration into 1 million subtasks which each run fo ...2 KB (372 words) - 17:26, 27 April 2026
- ...//discord.com/channels/960643023006490684/1375584513777995957 Analysis by @mxdys] |mxdys ...23 KB (2,843 words) - 17:44, 24 April 2026