User contributions for RobinCodes

26 October 2025

• 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. current 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
• 11:2711:27, 24 October 2025 diff hist −1 TMBR: October 2025 →Holdouts: @racheline -> Racheline Tag: Visual edit
• 11:2711:27, 24 October 2025 diff hist +1,252 N 1RB1RF 1LC1LF 0RE1LD 0LB1LD ---1RC 1RA0RD Added page for unverified probvious nonhalter machine found by Racheline Tag: Visual edit
• 11:1511:15, 24 October 2025 diff hist +19 User:RobinCodes/Work on BB Domains Updated BB6 Tag: Visual edit
• 11:1411:14, 24 October 2025 diff hist +146 TMBR: October 2025 →Holdouts: Added @racheline new machine decided in BB6. Tag: Visual edit

23 October 2025

• 19:3419:34, 23 October 2025 diff hist −10 TMBR: October 2025 →Holdouts: Removed pronouns (can be changed back with correct pronouns in case people agree ambiguity isn't a problem) Tag: Visual edit
• 18:2318:23, 23 October 2025 diff hist −2,088 BB(4,3) →Potential Champions: Removed halting tapes, instead included table with sigma scores. Kept paragraph. Tag: Visual edit
• 17:2017:20, 23 October 2025 diff hist +20 TMBR: October 2025 →Holdouts: Cited Stage 3 of Phase 2 for BB(2,6) Tag: Visual edit
• 17:1817:18, 23 October 2025 diff hist +14 BB(4,3) Updated page with the new champion. Tag: Visual edit
• 17:1217:12, 23 October 2025 diff hist +22 User:RobinCodes/Work on BB Domains Terry's working on BB7 Tag: Visual edit
• 17:1117:11, 23 October 2025 diff hist +73 1RB1RA 1LC1LE 1RE0LD 1LC0LF 1RZ0RA 0RA0LB Added the fact that @mxdys Rocq-proved this machine. current Tag: Visual edit
• 17:0817:08, 23 October 2025 diff hist −21 Champions →3-Symbol TMs: Updated 4x3 champion. Tag: Visual edit
• 17:0417:04, 23 October 2025 diff hist −21 Main Page Updated BB(4,3) lower bound Tag: Visual edit
• 17:0417:04, 23 October 2025 diff hist −9 1RB1RD1LC 2LB1RB1LC 1RZ1LA1LD 0RB2RA2RD Removed "possibly" Tag: Visual edit
• 17:0117:01, 23 October 2025 diff hist −84 User:RobinCodes/Work on BB Domains Updated table and current work. Tag: Visual edit
• 15:1215:12, 23 October 2025 diff hist 0 0RB1RZ0RB 1RC1LB2LB 1LB2RD1LC 1RA2RC0LD Corrected the number of TMs found by Pavel Tag: Visual edit
• 10:1310:13, 23 October 2025 diff hist +136 Holdouts lists Added new @mxdys reduction. Tag: Visual edit
• 10:1110:11, 23 October 2025 diff hist +76 N File:BB6 holdouts 1618.txt Holdouts list shared by @mxdys on October 20th, 2025, of BB(6) current