User contributions for RobinCodes

25 October 2025

• 15:1715:17, 25 October 2025 diff hist +118 User:RobinCodes Added reference to new page 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
• 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