User contributions for RobinCodes
Jump to navigation
Jump to search
29 October 2025
- 17:0917:09, 29 October 2025 diff hist −8 1RB3LB1RZ2RA 2LC3RB1LC2RA 3RB1LB3LC2RC I'm pretty convinced this page is not a stub, no more info can be displayed on this machine as all info necessary is referenced to. current
28 October 2025
- 20:5820:58, 28 October 2025 diff hist +23 TMBR: October 2025 Corrected 2x5 holdout count from 67 to 64 machines. Used appropriate source formatting in "Theory" section (for consistency and structure) Tag: Visual edit
- 15:5615:56, 28 October 2025 diff hist 0 m 1RB1RF 1RC0RA 1LD1RC 1LE0LE 0RA0LD 0RB--- Fixed redirect no2 current Tag: Redirect target changed
- 15:5615:56, 28 October 2025 diff hist +1 m 1RB1RF 1RC0RA 1LD1RC 1LE0LE 0RA0LD 0RB--- Fixed redirect Tag: Redirect target changed
- 15:5615:56, 28 October 2025 diff hist +49 N 1RB1RF 1RC0RA 1LD1RC 1LE0LE 0RA0LD 0RB--- Added redirect page for BMO7 Tag: New redirect
27 October 2025
- 19:1719:17, 27 October 2025 diff hist +136 TMBR: October 2025 →Holdouts: Added chart of BB6 holdouts decrease overtime. Tag: Visual edit
- 19:1619:16, 27 October 2025 diff hist +59 N File:BB(6) holdouts decrease over time.png No edit summary current
- 10:5110:51, 27 October 2025 diff hist +21 TMBR: October 2025 More todo. Tag: Visual edit
- 10:4910:49, 27 October 2025 diff hist +51 TMBR: October 2025 →Holdouts: Added BB7 progress Tag: Visual edit
- 10:4810:48, 27 October 2025 diff hist −1 User:RobinCodes/Work on BB Domains →,Progress by domain: Removed , from title Tag: Visual edit
- 10:4810:48, 27 October 2025 diff hist −8 User:RobinCodes/Work on BB Domains →Progress by domain: Added BB7 progress Tag: Visual edit
- 10:4210:42, 27 October 2025 diff hist +34 m User:RobinCodes/Next Steps Fixed formatting... for the fifth time
- 10:3910:39, 27 October 2025 diff hist +1 m User:RobinCodes/Next Steps →BB(2,5):: Finally fixed formatting. Tag: Visual edit
_holdouts_decrease_over_time.png&oldid=4839){kind=link}
_holdouts_decrease_over_time.png&action=history){kind=link}
_holdouts_decrease_over_time.png){kind=link}
26 October 2025
- 21:2721:27, 26 October 2025 diff hist −3 m User:RobinCodes/Next Steps →BB(2,5):: Formatting fix attempt #3? Tag: Visual edit: Switched
- 21:2421:24, 26 October 2025 diff hist +321 User:RobinCodes/Next Steps →BB(2,5):: Categorized unanalyzed holdouts into 2 categories: quasi-cascading and completely unknown Tag: Visual edit
- 21:1621:16, 26 October 2025 diff hist +103 User:RobinCodes/Next Steps →BB(3,3):: Added least analyzed (397) machine Tag: Visual edit
- 20:4420:44, 26 October 2025 diff hist −20 BB(4,3) →Top Halters: Removed {incomplete list} as list is not incomplete. Tag: Visual edit: Switched
- 20:3820:38, 26 October 2025 diff hist +16 User:RobinCodes/Work on BB Domains Added info about probable cryptids in BB6 Tag: Visual edit
- 20:3320:33, 26 October 2025 diff hist +19 BB(3,3) →Cryptids: Added "probable champion" to potential cryptid as a name Tag: Visual edit
- 20:1620:16, 26 October 2025 diff hist +1,033 BB(2,5) Added information about every TM from Peacemaker II's google sheet except for the 17 untouched machines. Reordered all TM lists by category (i.e. potential cryptid, or unkown, etc.). Added math formulas wherever possible. Tag: Visual edit
- 19:3519:35, 26 October 2025 diff hist +3 Bonus Cryptid →Analysis by Andrew Ducharme: Formatting change in the last section Tag: Visual edit
- 18:2918:29, 26 October 2025 diff hist +125 N Talk:1RB2LA0LA 2LC---2RA 0RA2RC1LC Noted that this page is redundant. current
- 18:2518:25, 26 October 2025 diff hist −15 m User:RobinCodes/Work on BB Domains →9 informal, 2 unverified (8 informal, 1 unverified by eqv. class): Removed Skelet-17 like Tag: Visual edit
- 14:0114:01, 26 October 2025 diff hist 0 User:RobinCodes/Work on BB Domains →Progress by domain: Updated BB(3x4) progress. Tag: Visual edit
- 14:0014:00, 26 October 2025 diff hist −4 TMBR: October 2025 Updated BB(3x4) progress with Stage 7 completed. Changed "Programming" section -> "Deciders" Tag: Visual edit
- 10:5410:54, 26 October 2025 diff hist +35 User:RobinCodes/Work on BB Domains Added Phase 2 Stage 7 of BB(3x4) Tag: Visual edit
- 10:4210:42, 26 October 2025 diff hist +1,707 N 1RB1LB2LC 1LA2RB1RB ---0LA2LA Created page for the last BB(3,3) holdout that does not have one yet Tag: Visual edit
25 October 2025
- 19:4019:40, 25 October 2025 diff hist +1 User:RobinCodes/Work on BB Domains →Progress by domain: Changed 2x5 count from eqv class to individual Tag: Visual edit
- 17:5317:53, 25 October 2025 diff hist +45 N 1RB3RA2LB1LB1RB 2LA2RA4LA1LA--- Redirect page. Equivalent. current Tag: New redirect
- 17:4717:47, 25 October 2025 diff hist +123 N Talk:1RB3RB1LB---2RB 2LA1RA4LB2LA2RA Noted that "stub" may be removed if people agree to do so. current
- 17:4617:46, 25 October 2025 diff hist +303 1RB3RB1LB---2RB 2LA1RA4LB2LA2RA Added proof by @dyuan01, improved structure, noted equivalence to 1RB3RA2LB1LB1RB_2LA2RA4LA1LA---. Tag: Visual edit: Switched
- 15:1715:17, 25 October 2025 diff hist +33 m User:RobinCodes/Valuable user pages →List of valuable user pages: Added new page current Tag: Visual edit
- 15:1715:17, 25 October 2025 diff hist +118 User:RobinCodes Added reference to new page current Tag: Visual edit
- 15:1515:15, 25 October 2025 diff hist +3,101 N User:RobinCodes/Next Steps Added the page for possible next steps for the next domains. Tag: Visual edit
- 15:1315:13, 25 October 2025 diff hist +43 m User:RobinCodes/Work on BB Domains →Informal and unverified proofs by domain: Added correct BB(3,3) informal proof count to table and updated footnote. Tag: Visual edit
- 14:3814:38, 25 October 2025 diff hist +90 BB(2,5) →Holdouts: Added 2 missing TMs from the unsolved list. (5, unknown and 84, chaotic via long. analysis) Tag: Visual edit
- 14:2814:28, 25 October 2025 diff hist +440 User:RobinCodes/Work on BB Domains →Informal and unverified proofs by domain: Updated BB(2,5) part of Informal proofs with correct values and information. Tag: Visual edit
- 14:2414:24, 25 October 2025 diff hist +11 BB(2,5) →Holdouts: Changed the Skelet-17-like from one dekaheptoid to another: was wrong Tag: Visual edit
- 14:1714:17, 25 October 2025 diff hist +611 BB(2,5) →Solved with moderate rigor: Added 3 machines (2 by eqivalence classes) also solved with moderate rigor. Tag: Visual edit
- 13:3813:38, 25 October 2025 diff hist +24 m User:RobinCodes/Work on BB Domains →Informal and unverified proofs by domain: Added total count. Tag: Visual edit
- 13:3713:37, 25 October 2025 diff hist +2,721 User:RobinCodes/Work on BB Domains Added "informal/unverified proofs" section. Improved overall flow and structure of the page. Tag: Visual edit
- 13:0413:04, 25 October 2025 diff hist 0 BB(3,3) →Interesting Rocq-Solved TMs: Corrected number Tag: Visual edit
- 11:5111:51, 25 October 2025 diff hist +809 BB(2,5) →Certified progress: Updated paragraph section with the extra 8 Rocq-decided machines, added the new informal argument. (I am assuming that the 8 machines added to Rocq after the 83 list correspond to the 8 machines in the "Formally Proven" section and thus should not be in the Unsolved list hopefully.) Tag: Visual edit
- 11:3311:33, 25 October 2025 diff hist +218 TMBR: October 2025 →Holdouts: Added Peacemaker II's result Tag: Visual edit
24 October 2025
- 20:1420:14, 24 October 2025 diff hist +1 m 1RB3LB1RZ2RA 2LC3RB1LC2RA 3RB1LB3LC2RC Added space after math formula
- 20:1420:14, 24 October 2025 diff hist −6 1RB3LB1RZ2RA 2LC3RB1LC2RA 3RB1LB3LC2RC No edit summary Tags: Manual revert Visual edit: Switched
- 20:1320:13, 24 October 2025 diff hist +6 m 1RB3LB1RZ2RA 2LC3RB1LC2RA 3RB1LB3LC2RC Consistency between individual TM pages (Bold TM name) Tag: Visual edit: Switched
- 20:1220:12, 24 October 2025 diff hist +451 N 1RB3LB1RZ2RA 2LC3RB1LC2RA 3RB1LB3LC2RC Created page for BB3x4 champion. Tag: Visual edit
- 19:2119:21, 24 October 2025 diff hist +6 BB(3,4) →Top Halters: Added "known" (consistency with other domain pages) Tag: Visual edit
- 19:1519:15, 24 October 2025 diff hist −48 User:RobinCodes/Work on BB Domains Update Phase 2 Stage 6 completed (BB(3x4)) Tag: Visual edit