User contributions for Isokate
Jump to navigation
Jump to search
28 August 2025
- 01:1901:19, 28 August 2025 diff hist −22 Beaver Math Olympiad Minor wording changes, removed f^0(b) = b because it's redundant
26 August 2025
- 21:2121:21, 26 August 2025 diff hist +321 Beaver Math Olympiad Added BMO6
11 August 2025
- 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)
1 August 2025
- 04:5504:55, 1 August 2025 diff hist +10 BB(6) →Cryptids
- 04:5104:51, 1 August 2025 diff hist +3,379 1RB1LA 1LC0RE 1LF1LD 0RB0LA 1RC1RE ---0LD No edit summary
27 July 2025
- 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
16 July 2025
- 18:0418:04, 16 July 2025 diff hist +68 BB(7) →Current Progress
10 July 2025
- 23:0223:02, 10 July 2025 diff hist +119 BB(7) →Current Progress
11 June 2025
- 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
4 June 2025
- 20:4120:41, 4 June 2025 diff hist −1 Shift overflow counter →Examples Tag: Visual edit: Switched
- 15:4915:49, 4 June 2025 diff hist +76 1RB0LF 1RC1RB 1LD0RA 1LB0LE 1RZ0LC 1LA1LF →Related TMs Tag: Visual edit: Switched
2 June 2025
- 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