User contributions for ADucharme

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 current 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) current 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" current 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 current 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 current 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
• 19:5719:57, 6 March 2026 diff hist −16 TMBR: January 2026 summary rephrasing Tag: Visual edit

1 March 2026

• 01:3701:37, 1 March 2026 diff hist −24 m TMBR: February 2026 typo + change "newly released mxdys decider" to "mxdys C++ FAR decider" Tag: Visual edit

27 February 2026

• 20:3420:34, 27 February 2026 diff hist +250 User:ADucharme →BB(6): add solved BB6 TMs

22 February 2026

• 19:5019:50, 22 February 2026 diff hist +735 User:ADucharme →BB(6): credit Peacemaker, add LRUH 7 permutations 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