User contributions for ADucharme
Jump to navigation
Jump to search
22 February 2026
- 19:5019:50, 22 February 2026 diff hist +735 User:ADucharme →BB(6): credit Peacemaker, add LRUH 7 permutations current Tag: Visual edit
20 February 2026
- 07:2107:21, 20 February 2026 diff hist +172 m User:ADucharme →Holdout Reduction: add nonhalting bb6 tms Tag: Visual edit: Switched
14 February 2026
- 02:4202:42, 14 February 2026 diff hist +169 m User:ADucharme →Holdout Reduction: add BB(6) solved non-halters Tag: Visual edit: Switched
13 February 2026
- 04:1104:11, 13 February 2026 diff hist −96 m User:ADucharme →Busy Beaver Games: templating
- 04:0904:09, 13 February 2026 diff hist +674 User:ADucharme →Busy Beaver Game: add bb7 results Tag: Visual edit
- 04:0304:03, 13 February 2026 diff hist +1 m BB(6) fix top score formatting Tag: Visual edit: Switched
- 04:0104:01, 13 February 2026 diff hist −3 BB(6) reorder sections to match other domains like 2x5, 3x3, 2x6, 7x2 Tag: Visual edit
- 03:5503:55, 13 February 2026 diff hist −24 m User:ADucharme →Busy Beaver Game: getting TM modulized
- 03:5403:54, 13 February 2026 diff hist +654 User:ADucharme add busy beaver game section Tag: Visual edit
- 03:4603:46, 13 February 2026 diff hist +23 m User:ADucharme →BB(2,5): oversights corrected Tag: Visual edit
11 February 2026
- 19:2819:28, 11 February 2026 diff hist +258 User:ADucharme add 2x5 TMs Tag: Visual edit: Switched
- 19:2019:20, 11 February 2026 diff hist +3,886 N User:ADucharme Created user page for Andrew Tag: Visual edit
8 February 2026
- 20:1420:14, 8 February 2026 diff hist +118 TMBR: December 2025 Changed first sentence formatting for consistency. Edited the first two bullet points under the BB(6) entry in Holdouts. current Tag: Visual edit
6 February 2026
- 19:5819:58, 6 February 2026 diff hist +324 BB(7) →Phase 2: added new bb7 filter application results Tag: Visual edit
2 February 2026
- 19:0519:05, 2 February 2026 diff hist +288 m BB(2,6) →Phase 2: left-align new decider columns
- 19:0419:04, 2 February 2026 diff hist +326 m BB(2,6) →Phase 2: add processing time to Stage 4, add row to Stage 3 Tag: Visual edit
- 18:5518:55, 2 February 2026 diff hist +2,873 BB(2,6) →Phase 2: added Stage 4 table Tag: Visual edit
1 February 2026
- 05:1705:17, 1 February 2026 diff hist +117 TMBR: January 2026 →Holdouts: updated 2x6 progress Tag: Visual edit
- 05:1105:11, 1 February 2026 diff hist +154 TMBR: January 2026 add to-do for mxdys code release Tag: Visual edit
29 January 2026
- 07:5707:57, 29 January 2026 diff hist +290 BB(2,5) →Holdouts: moved newly solved TM to Formal proof section, updated date of last change at top of list Tag: Visual edit
17 January 2026
- 21:1021:10, 17 January 2026 diff hist +50 m BB(2,6) →Stage 3: correcting text alignment in table
- 21:1021:10, 17 January 2026 diff hist +217 BB(2,6) →Stage 3: add new row of 2x6 Enumerate.py results Tag: Visual edit
- 20:4620:46, 17 January 2026 diff hist +105 BB(7) →Phase 2: add Stage 6 link to proven TMs Tag: Visual edit
- 20:2420:24, 17 January 2026 diff hist +192 m BB(7) →Phase 2: make all left-most-column text center-justified to match first portion of table and "Explorations after Phase 1" table
- 20:1920:19, 17 January 2026 diff hist +133 BB(7) →Phase 2: make Stage 6 cumulatives, fix stage 5 and overall cumulative Tag: Visual edit
- 20:0920:09, 17 January 2026 diff hist +25 m BB(7) →Phase 2: center Stage 6 title
- 20:0820:08, 17 January 2026 diff hist +307 BB(7) →Phase 2: added new 7x2 filtering results, add a Stage to table Tag: Visual edit
14 January 2026
- 06:2106:21, 14 January 2026 diff hist +278 BB(7) →Phase 2: enum bm18 table update Tag: Visual edit
13 January 2026
- 06:4406:44, 13 January 2026 diff hist 0 m BB(2,6) →Stage 3: 6 -> 8 Tag: Visual edit
11 January 2026
- 01:3401:34, 11 January 2026 diff hist +279 BB(7) →Phase 2: new holdout reduction Tag: Visual edit
22 December 2025
- 18:3918:39, 22 December 2025 diff hist +252 BB(7) →Phase 2: added new enumerate progress Tag: Visual edit
12 December 2025
- 19:5819:58, 12 December 2025 diff hist 0 BB(2,6) →Stage 3: updating bm3,4 computation time per TM Tag: Visual edit
- 19:4919:49, 12 December 2025 diff hist +102 m BB(2,6) →Stage 3: text alignment
- 19:4819:48, 12 December 2025 diff hist +406 BB(2,6) →Stage 3: added missing rows Tag: Visual edit
26 October 2025
- 22:2022:20, 26 October 2025 diff hist −2 BB(4,3) →Top Halters: updating discoverer of top 4x3 halters current Tag: Visual edit
23 October 2025
- 18:2918:29, 23 October 2025 diff hist −99 m BB(4,3) →Top Halters: remove 10^^10 halter from Top Halter list Tag: Visual edit
13 October 2025
- 05:4305:43, 13 October 2025 diff hist +49 m BB(2,6) →Stage 3: left-align in table
- 05:4205:42, 13 October 2025 diff hist +240 BB(2,6) →Stage 3: include lr_enum_continue 100M Tag: Visual edit
- 00:0900:09, 13 October 2025 diff hist −94 m BB(3,3) →Holdouts: clean up basis list description Tag: Visual edit
12 October 2025
- 23:3023:30, 12 October 2025 diff hist +215 BB(3,3) →Certified Progress: Terry pipeline specifics Tag: Visual edit
- 23:2223:22, 12 October 2025 diff hist +87 m BB(3,3) →Certified Progress: date correction Tag: Visual edit
- 23:1823:18, 12 October 2025 diff hist −140 BB(3,3) →Certified Progress: reorganize pre-2025 progress paragraph Tag: Visual edit
- 23:0623:06, 12 October 2025 diff hist −22 m BB(3,3) →Certified Progress: change Terry Ligocki pipeline paragraph Tag: Visual edit
6 October 2025
- 17:0817:08, 6 October 2025 diff hist +1 BB(2,6) →Top Halters: added Peacemaker's 10^^20k 2x6 halter Tag: Visual edit
30 September 2025
- 23:5723:57, 30 September 2025 diff hist +191 BB(3,3) moved 867 out of Holdouts section since it was proved and no one noticed a month ago Tag: Visual edit
- 21:5121:51, 30 September 2025 diff hist −126 BB(3,3) →Holdouts: moved Rigorously Proven subsection fully to Interesting Rocq-Solved TMs Tag: Visual edit
- 21:3721:37, 30 September 2025 diff hist +196 TMBR: September 2025 →Holdouts: updated details for 2x6, 4x3 reductions Tag: Visual edit
- 21:2921:29, 30 September 2025 diff hist −24 m TMBR: September 2025 →Holdouts: other domain language change Tag: Visual edit
- 21:2921:29, 30 September 2025 diff hist 0 TMBR: September 2025 →Holdouts: update 4x3 reduction table, Details Tag: Visual edit
- 21:2121:21, 30 September 2025 diff hist +672 TMBR: September 2025 add 3x3 month blurb Tag: Visual edit