User contributions for ADucharme

14 September 2026

• 21:4621:46, 14 September 2026 diff hist +300 BB(2,5) formally solved TMs in "Solved with moderate rigor" category moved to "Formally proven," links to mxdys's announcement included. Tag: Visual edit
• 08:0508:05, 14 September 2026 diff hist −421 BB(2,5) →Certified progress: proposed rewrite Tag: Visual edit

14 August 2026

• 10:2410:24, 14 August 2026 diff hist +293 User:ADucharme →BB(4,3): new top 10 halters current Tag: Visual edit
• 10:2110:21, 14 August 2026 diff hist 0 BB(4,3) →Top Halters: added new top 8-10 scoring halters current Tag: Visual edit

10 August 2026

• 12:0912:09, 10 August 2026 diff hist +90 m User:ADucharme add links to acknowledgement. Tag: Visual edit
• 12:0712:07, 10 August 2026 diff hist +216 User:ADucharme Talapas acknowledgement Tag: Visual edit

18 July 2026

• 14:0214:02, 18 July 2026 diff hist −4 BB(4,3) →Stage 3: correcting parameter maxT on some deciders Tag: Visual edit

9 June 2026

• 08:4908:49, 9 June 2026 diff hist +110 m User:ADucharme →BB(2,5): add 2x5 progress Tag: Visual edit

23 May 2026

• 05:1505:15, 23 May 2026 diff hist +138 BB(2,6) →Stage 4: new decider results Tag: Visual edit

18 May 2026

• 22:3622:36, 18 May 2026 diff hist +119 BB(2,6) →Stage 4: new decider run Tag: Visual edit

16 May 2026

• 18:4718:47, 16 May 2026 diff hist +1,200 BB(2,6) →Stage 4: added deciders for last ~8 reductions Tag: Visual edit

9 May 2026

• 23:0723:07, 9 May 2026 diff hist −14 SKI Calculus introduction reorganization Tag: Visual edit
• 23:0423:04, 9 May 2026 diff hist +26 N Busy Beaver for SKI calculus ADucharme moved page Busy Beaver for SKI calculus to SKI Calculus: standardization current Tag: New redirect
• 23:0423:04, 9 May 2026 diff hist 0 m SKI Calculus ADucharme moved page Busy Beaver for SKI calculus to SKI Calculus: standardization
• 23:0223:02, 9 May 2026 diff hist +35 m Lambda Calculus →See Also: add De Bruijn index, edit SKI calculus links Tag: Visual edit
• 23:0123:01, 9 May 2026 diff hist +1,796 N De Bruijn index creation of page by taking section from lambda calculus page Tag: Visual edit
• 22:4922:49, 9 May 2026 diff hist −2,371 Lambda Calculus removal of de bruijn index section, to be moved to new page Tag: Visual edit
• 22:4722:47, 9 May 2026 diff hist +3 Lambda Calculus introduction reorganization Tag: Visual edit
• 22:3122:31, 9 May 2026 diff hist +29 N Busy Beaver for lambda calculus ADucharme moved page Busy Beaver for lambda calculus to Lambda Calculus over redirect: standardization pf titles current Tag: New redirect
• 22:3122:31, 9 May 2026 diff hist 0 m Lambda Calculus ADucharme moved page Busy Beaver for lambda calculus to Lambda Calculus over redirect: standardization pf titles
• 19:5919:59, 9 May 2026 diff hist +98 BB(4,3) →Stage 3: new inductive decider row Tag: Visual edit

4 May 2026

• 17:3617:36, 4 May 2026 diff hist +220 TMBR: April 2026 →Holdouts: add new 4x3 top 10 scorers
• 17:3117:31, 4 May 2026 diff hist +48 User:ADucharme add BB(3,4) Tag: Visual edit
• 02:5302:53, 4 May 2026 diff hist −24 m TMBR: April 2026 →BB Adjacent: LC copy-editing. Tag: Visual edit
• 02:4502:45, 4 May 2026 diff hist +1 m TMBR: April 2026 GRF copy editing Tag: Visual edit

3 May 2026

• 21:3721:37, 3 May 2026 diff hist −553 TMBR: April 2026 copy editing Tag: Visual edit

2 May 2026

• 19:3419:34, 2 May 2026 diff hist +2 BB(2,6) →Top Halters: new 9th place halter

28 April 2026

• 17:1417:14, 28 April 2026 diff hist −42 Beaver Math Olympiad →6. 1RB1LA_1LC0RE_1LF1LD_0RB0LA_1RC1RE_---0LD (bbch): rename section to Space Needle like how BMO 2 is "Hydra and Antihydra" Tag: Visual edit

26 April 2026

• 07:0207:02, 26 April 2026 diff hist −3 m BB(4,3) →Stage 3: new google drive link Tag: Visual edit
• 06:5206:52, 26 April 2026 diff hist +661 BB(2,6) →Stage 4: update 2x6 progress Tag: Visual edit
• 05:2405:24, 26 April 2026 diff hist +10 m BB(4,3) →Top Halters: spaces Tag: Visual edit

25 April 2026

• 23:0123:01, 25 April 2026 diff hist +10 m User:ADucharme No edit summary
• 23:0023:00, 25 April 2026 diff hist +224 User:ADucharme summary Tag: Visual edit
• 22:1822:18, 25 April 2026 diff hist +3,437 BB(4,3) →Phase 2: Phase 2, Stage 3 table added Tag: Visual edit
• 22:0422:04, 25 April 2026 diff hist −40 m User:ADucharme →BB(4,3)
• 22:0322:03, 25 April 2026 diff hist +507 User:ADucharme →Busy Beaver Games: add BB(4,3) top 10 TMs Tag: Visual edit
• 21:5921:59, 25 April 2026 diff hist +148 m BB(4,3) →Top Halters: templating TMs
• 21:5721:57, 25 April 2026 diff hist −115 BB(4,3) →Top Halters: adding a bunch of new top 20 halters found by comprehensive search Tag: Visual edit

6 April 2026

• 20:2020:20, 6 April 2026 diff hist +236 BB(7) →Phase 2: 7x2 progress completely updated Tag: Visual edit

5 April 2026

• 15:5015:50, 5 April 2026 diff hist +63 BB(2,6) update 2x6 reduction table, google drive Tag: Visual edit

30 March 2026

• 20:0420:04, 30 March 2026 diff hist −36 TMBR: February 2026 copy editing Tag: Visual edit
• 19:5819:58, 30 March 2026 diff hist +38 TMBR: February 2026 introduction edits + reorg Tag: Visual edit

17 March 2026

• 20:2120:21, 17 March 2026 diff hist +14 BB(4,3) →Top Halters: TMify
• 20:2020:20, 17 March 2026 diff hist +293 BB(4,3) →Top Halters: add discoverer column, two new top 20 halters Tag: Visual edit

16 March 2026

• 16:1316:13, 16 March 2026 diff hist +240 BB(2,5) →Holdouts: move 2 formally solved TMs out of informal proof section Tag: Visual edit

15 March 2026

• 21:1021:10, 15 March 2026 diff hist +223 BB(3,3) Updated Certified Progress Tag: Visual edit

13 March 2026

• 05:3405:34, 13 March 2026 diff hist −157 User:ADucharme →BB(6): add decider BB(6) machines

11 March 2026

• 17:2617:26, 11 March 2026 diff hist +663 BB(2,5) →Holdouts: new TM solved+verified 3/11/26 Tag: Visual edit

8 March 2026

• 07:2407:24, 8 March 2026 diff hist +209 Terminating Turmite →History: add reference to 2D work by Hutton et al Tag: Visual edit

6 March 2026

• 20:0020:00, 6 March 2026 diff hist +10 TMBR: January 2026 addition of 2x6 to summary. 35.9% reduction in the month is very notable imo! Tag: Visual edit