User contributions for RobinCodes

25 October 2025

• 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
• 10:0510:05, 23 October 2025 diff hist +56 BB(7) →Phase 2: Paragraph section updated to Stage 4. Tag: Visual edit
• 09:4109:41, 23 October 2025 diff hist +1,224 TMBR: October 2025 Added @Brick's Subtape Saturation Heuristics, BB(6) results, verified other domain results up-to-date, added more to /Programming/. Tag: Visual edit

19 October 2025

• 19:3319:33, 19 October 2025 diff hist +90 BB(4,3) No edit summary Tag: Visual edit
• 19:2919:29, 19 October 2025 diff hist +149 BB(4,3) →Potential Champions Tag: Visual edit

14 October 2025

• 15:2215:22, 14 October 2025 diff hist +1 User:RobinCodes/Work on BB Domains Added BB3,4 results Tag: Visual edit

12 October 2025

• 18:1018:10, 12 October 2025 diff hist +10 1RB0LC 1RC1RA 1RD0RF 0LE--- 1LA1LE 0RA1RF added stub template Tag: Visual edit
• 18:0918:09, 12 October 2025 diff hist −41 1RB0LC 1RC1RA 1RD0RF 0LE--- 1LA1LE 0RA1RF Fixed grammar; added Stub category. Tag: Visual edit
• 05:5905:59, 12 October 2025 diff hist +168 TMBR: October 2025 Added 'Misc' section with TODO. Tag: Visual edit

11 October 2025

• 06:1506:15, 11 October 2025 diff hist +160 TMBR: October 2025 Programming section Tag: Visual edit

10 October 2025

• 18:0618:06, 10 October 2025 diff hist −4 User:RobinCodes/Work on BB Domains Added Terry's BB4x3 results
• 18:0018:00, 10 October 2025 diff hist +208 BB(3,3) →Certified Progress: Updated the wiki with @mxdys's Oct 1 result: 867 added to busycoq Tag: Visual edit
• 15:3815:38, 10 October 2025 diff hist +50 m TMBR: October 2025 →Holdouts: mentioned todo add 3x4 progress at the end of month Tag: Visual edit
• 15:3415:34, 10 October 2025 diff hist +13 User:RobinCodes/Work on BB Domains Updated BB3x3 informal count
• 15:2515:25, 10 October 2025 diff hist −2 User:RobinCodes/Work on BB Domains Added informal bb2x5 count
• 15:1815:18, 10 October 2025 diff hist 0 User:RobinCodes/Work on BB Domains Updated consistency with bb3x4 results
• 05:3405:34, 10 October 2025 diff hist −2 User:RobinCodes/Work on BB Domains Updated page to be up-to-date with current results.

9 October 2025

• 16:2416:24, 9 October 2025 diff hist +1 TMBR: October 2025 →Holdouts: Added BB3,4 results Tag: Visual edit

8 October 2025

• 16:2316:23, 8 October 2025 diff hist +31 User:RobinCodes/Work on BB Domains Updated values. Updated table formatting. Added "active filtering domains". Tag: Visual edit
• 15:5615:56, 8 October 2025 diff hist +22 m TMBR: October 2025 Added reference links to Domain names (for consistency with other editions) Tag: Visual edit
• 15:5515:55, 8 October 2025 diff hist +25 TMBR: October 2025 →Holdouts: Updated BB(3,4) progress. More todo. Tag: Visual edit
• 15:5115:51, 8 October 2025 diff hist −14 m 1RB1LA 1RC0RC 1LA1RD 1LE1RD ---1LF 1LE0LA →Analysis by mxdys: Removed reference to nonexistent user page (mxdys) Tag: Visual edit

7 October 2025

• 19:4519:45, 7 October 2025 diff hist −2 Bigfoot →Analysis: Attempted fix for "math input error" for this page Tag: Visual edit
• 19:4419:44, 7 October 2025 diff hist −3 Antihydra →Analysis: Attempted fix for "math input error" for this page Tag: Visual edit
• 19:4219:42, 7 October 2025 diff hist −2 0RB1LD 1LC1RB 1LD1RE 1LA1LE 1LZ0RC Attempted fix for "math input error" for this page Tag: Visual edit
• 19:4119:41, 7 October 2025 diff hist −2 5-state busy beaver winner →Trajectory: Finished attempt in fixing "math input error" Tag: Visual edit
• 19:3919:39, 7 October 2025 diff hist −4 5-state busy beaver winner Attempted fix for "math input error" for this page Tag: Visual edit