User contributions for Isokate

15:0715:07, 23 March 2026 diff hist −523 Antihydra Removed ending sentence and image for being misleading. Showing the antihydra walk is mathematically random would not imply that it is "probabilistically undecidable". Undecidable is a much stronger condition

18:5118:51, 3 October 2025 diff hist +80 Bug Game Added source for Bug(7,7) = 218. (Feel free to change the text of the citation)

01:1901:19, 28 August 2025 diff hist −22 Beaver Math Olympiad Minor wording changes, removed f^0(b) = b because it's redundant

04:3904:39, 11 August 2025 diff hist −347 1RB1LA 1LC0RE 1LF1LD 0RB0LA 1RC1RE ---0LD Replaced the rules with the shifted-up-by-3 version, and removed the heuristic argument section (because the argument was bad)

13:2513:25, 27 July 2025 diff hist 0 BB(7) Fixed holdouts number for 19XXXX (1,601,356 -> 1,099,752. Old number included decided TM's by Enumerate.py) Tag: Visual edit: Switched

01:5501:55, 11 June 2025 diff hist 0 BB(6) →Top Halters
01:5001:50, 11 June 2025 diff hist +4,125 N 1RB1RA 1LC1LE 1RE0LD 1LC0LF 1RZ0RA 0RA0LB Created page with "{{Machine|1RB1RA_1LC1LE_1RE0LD_1LC0LF_---0RA_0RA0LB}} {{TM|1RB1RA_1LC1LE_1RE0LD_1LC0LF_1RZ0RA_0RA0LB}} is a tetrational halting BB(6) TM first discovered and analyzed by @poppuncher. It was shared on Discord on 5 Jun 2025 ([https://discord.com/channels/960643023006490684/1380384286942822561 Discord Link]). It is a translated counter that halts with a final sigma score of roughly <math>10 \uparrow \uparrow 6.96745</math>. == Analysis by @poppuncher == Most of the ini..."
01:1701:17, 11 June 2025 diff hist 0 BB(6) →Top Halters Tag: Visual edit: Switched

21:1121:11, 2 June 2025 diff hist 0 BB(6) →Top Halters Tag: Visual edit: Switched
20:4820:48, 2 June 2025 diff hist +4,516 N 1RB0LF 1RC1RB 1LD0RA 1LB0LE 1RZ0LC 1LA1LF Created page with "{{TM|1RB0LF_1RC1RB_1LD0RA_1LB0LE_1RZ0LC_1LA1LF}} is a long running Halting BB(6) TM first analyzed by Katelyn Doucette on 1 Jun 2025 ([https://discord.com/channels/960643023006490684/1375512968569028648/1378916236104171562 Discord Link]). It is a shift overflow counter that halts with a final sigma score of roughly <math>10 \uparrow \uparrow 7.52390</math>. It is currently the second longest known running halting BB(6) TM. == Analysis by User:isokate|Katel..." Tag: Visual edit: Switched

Navigation menu