User contributions for RobinCodes
Jump to navigation
Jump to search
2 February 2026
- 20:1120:11, 2 February 2026 diff hist +6 TMBR: February 2026 →Talks: cosmoooo current Tag: Visual edit
- 19:0919:09, 2 February 2026 diff hist +101 TMBR: January 2026 →Holdouts: Added 1e13 sim results (implicit via solved holdouts) current Tag: Visual edit
- 18:3118:31, 2 February 2026 diff hist +184 TMBR: January 2026 →Holdouts: Added Dyuan's progress Tag: Visual edit
- 18:1418:14, 2 February 2026 diff hist +33 TMBR: December 2025 →Holdouts: Added clarification current Tag: Visual edit
- 18:1118:11, 2 February 2026 diff hist −4 m TMBR: January 2026 →Holdouts Tag: Visual edit
- 18:0618:06, 2 February 2026 diff hist +2 BB(7) →References: Added approximate runtime current Tag: Visual edit
- 18:0518:05, 2 February 2026 diff hist +238 BB(7) →Phase 2: Added progress (TODO: What time did the run take?) Tag: Visual edit: Switched
- 17:5617:56, 2 February 2026 diff hist +90 TMBR: January 2026 →Holdouts: Added citation for confirmation in Rocq Tag: Visual edit
- 17:5517:55, 2 February 2026 diff hist 0 BB(2,5) →Certified progress: Fixed informal holdout count current Tag: Visual edit
- 17:5517:55, 2 February 2026 diff hist +26 User:RobinCodes/Work on BB Domains →Progress by domain: Added 2x5 progress current Tag: Visual edit
- 17:5417:54, 2 February 2026 diff hist +415 BB(2,5) →Certified progress: Extended the section with a paragraph about new progress Tag: Visual edit
- 15:4915:49, 2 February 2026 diff hist 0 Holdouts lists Added BB(2,6) progress current Tag: Visual edit
18 January 2026
- 17:3617:36, 18 January 2026 diff hist +31 User:RobinCodes/Work on BB Domains →Progress by domain: Added BB(2,6) progress Tag: Visual edit
17 January 2026
- 06:5706:57, 17 January 2026 diff hist +155 TMBR: January 2026 Added Nick Drozd's article Tag: Visual edit
16 January 2026
- 19:0919:09, 16 January 2026 diff hist +60 m TMBR: January 2026 →Holdouts Tag: Visual edit
- 19:0719:07, 16 January 2026 diff hist −36 User:RobinCodes/Work on BB Domains →Progress by domain: Added BB(7) progress Tag: Visual edit
- 19:0419:04, 16 January 2026 diff hist 0 BB(7) →Phase 2: Updated cumulatives Tag: Visual edit
13 January 2026
- 15:3715:37, 13 January 2026 diff hist +165 TMBR: January 2026 →Holdouts: Added mxdys's new "BB(6) holdouts that seem provable" Tag: Visual edit
- 15:3615:36, 13 January 2026 diff hist +122 User:RobinCodes/Next Steps Added mxdys's new "BB(6) holdouts that seem provable" current Tag: Visual edit
11 January 2026
- 07:5507:55, 11 January 2026 diff hist +1,026 User:RobinCodes/Next Steps →BB(6):: Added list of "should be solvable/easy" machines Tag: Visual edit
- 07:5107:51, 11 January 2026 diff hist 0 User:RobinCodes/Next Steps →BB(6):: updated unclassified count Tag: Visual edit
- 07:4607:46, 11 January 2026 diff hist +147 BB(7) Fixed and formatted table Tag: Visual edit: Switched
- 07:3707:37, 11 January 2026 diff hist 0 Holdouts lists Updated BB(7) progress Tag: Visual edit
- 07:3507:35, 11 January 2026 diff hist +235 TMBR: January 2026 →Holdouts: Added BB(7) results Tag: Visual edit
7 January 2026
- 17:3717:37, 7 January 2026 diff hist 0 BB(6) →Holdouts: Updated simulation progress Tag: Visual edit
- 17:2517:25, 7 January 2026 diff hist +232 TMBR: January 2026 →Holdouts: Added Alistaire's simulation progress Tag: Visual edit
- 16:3916:39, 7 January 2026 diff hist +220 TMBR: January 2026 Added Uniform-Action Busy Beaver Tag: Visual edit
- 16:3616:36, 7 January 2026 diff hist +244 TMBR: December 2025 →BB Adjacent.: Added Semi-infinite tape BB as TODO Tag: Visual edit
5 January 2026
- 19:2719:27, 5 January 2026 diff hist +16 BB(6) →Holdouts: Alistaire's simulation results Tag: Visual edit
- 19:2419:24, 5 January 2026 diff hist +231 TMBR: January 2026 →Holdouts: Added Alistaire's simulation results Tag: Visual edit
4 January 2026
- 17:3017:30, 4 January 2026 diff hist +116 TMBR: January 2026 Added simulation results by Alistaire Tag: Visual edit
3 January 2026
- 23:0623:06, 3 January 2026 diff hist +111 TMBR: January 2026 →Holdouts: Added Alistaire 1e13 simulation progress Tag: Visual edit
- 15:3115:31, 3 January 2026 diff hist +444 TMBR: January 2026 →Holdouts: Added Alistaire's 1e13 simulation progress in #bb6. Now, all simulation progress should be here. Tag: Visual edit
- 15:0815:08, 3 January 2026 diff hist +111 TMBR: January 2026 Added one missed result from #forum-individual-machines Tag: Visual edit
- 14:5314:53, 3 January 2026 diff hist +35 TMBR: January 2026 →Holdouts: Added better formatting, bolding etc Tag: Visual edit
- 14:5114:51, 3 January 2026 diff hist +19 TMBR: January 2026 →Holdouts: Added sum Tag: Visual edit
- 14:5014:50, 3 January 2026 diff hist +749 TMBR: January 2026 Results SHOULD now be consistent with all simulation results in #individual-machines and in #forum-individual-machines. Tag: Visual edit
- 14:1814:18, 3 January 2026 diff hist +609 TMBR: December 2025 →Holdouts: Added Blog Posts section, citations of simulation results by Alistaire to Holdouts section. Remaining todos: num, and TYBR before July. Tag: Visual edit
2 January 2026
- 21:2121:21, 2 January 2026 diff hist +32 TMBR: January 2026 Added Alistaire 1e13 simulation progress Tag: Visual edit
- 21:1721:17, 2 January 2026 diff hist +1 TMBR: January 2026 →Holdouts: Added Alistaire 1e13 simulation progress Tag: Visual edit
1 January 2026
- 22:0322:03, 1 January 2026 diff hist +190 TMBR: January 2026 →Holdouts: Added Alistaire results Tag: Visual edit
- 17:3417:34, 1 January 2026 diff hist +1 TMBR: December 2025 →Holdouts: Corrected "not simulated up to 1e13" count by 3: mxdys's results on 30/12/2025. Tag: Visual edit
- 17:3317:33, 1 January 2026 diff hist +43 TMBR: January 2026 No edit summary Tag: Visual edit
- 16:4516:45, 1 January 2026 diff hist +534 TMBR: January 2026 Added simulation results by Alistaire plus BB(6) halter Tag: Visual edit
- 16:3816:38, 1 January 2026 diff hist +32 N TMBR: January 2025 RobinCodes moved page TMBR: January 2025 to TMBR: January 2026: Misspelled title current Tag: New redirect
- 16:3816:38, 1 January 2026 diff hist 0 m TMBR: January 2026 RobinCodes moved page TMBR: January 2025 to TMBR: January 2026: Misspelled title
- 16:3716:37, 1 January 2026 diff hist +294 N TMBR: January 2026 Created this month's TMBR page
- 16:3516:35, 1 January 2026 diff hist 0 User:RobinCodes/Work on BB Domains →Progress by domain: Updated BB(6) informal holdout count Tag: Visual edit
- 14:0314:03, 1 January 2026 diff hist +131 TMBR: December 2025 →In the News.: Added blog post by Nick Drozd Tag: Visual edit
- 14:0014:00, 1 January 2026 diff hist −12 User:RobinCodes/Work on BB Domains →Progress by domain: Added BB(3,4) results Tag: Visual edit