User contributions for ADucharme

09:0409:04, 9 November 2026 diff hist −274 BB(4,3) →Stage 3: remove extremely inefficient enumerate step I eliminated from my pipeline current Tag: Visual edit

16:3516:35, 7 November 2026 diff hist +297 m BB(7) →Phase 3: crediting GameDungeon + decider runners Tag: Visual edit
16:2016:20, 7 November 2026 diff hist +1,337 BB(7) →Phase 3: Enumeration tables and explanations added Tag: Visual edit
16:0316:03, 7 November 2026 diff hist +1,402 BB(7) Phase 3 summary text, updated main table Tag: Visual edit
15:4215:42, 7 November 2026 diff hist +2 BB(7) →Phase 2: fix phase 2 table after Stage 7 removal Tag: Visual edit
15:3915:39, 7 November 2026 diff hist +298 BB(7) Creation of Phase 3 from former Phase 2, Stage 7. Existing decider information moved to new Phase 3 table Tag: Visual edit
14:3714:37, 7 November 2026 diff hist +9 TMBR: June 2026 →Holdouts: clarification of nature of GPU decider Tag: Visual edit
14:3214:32, 7 November 2026 diff hist +258 TMBR: May 2026 Undo revision 10344 by ADucharme (talk) I missed that this TMBR was already published. Reverting change to protect history Tag: Undo
14:2914:29, 7 November 2026 diff hist −21 TMBR: June 2026 →Misc: remove GPU decider TODO, as nothing really came of it Tag: Visual edit
14:2814:28, 7 November 2026 diff hist −258 TMBR: May 2026 →Holdouts: Removed mention of David SG's claim in late May that he solved over 1M holdouts, as when he released his list in June, "only" 873k were solved. Tag: Visual edit

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:0214:02, 18 July 2026 diff hist −4 BB(4,3) →Stage 3: correcting parameter maxT on some deciders Tag: Visual edit

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

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

Navigation menu