User contributions for ADucharme

19:2519:25, 1 June 2025 diff hist −4‎ BB(7) ‎ →‎Top Halters: specifying that Top Halters table is top 20, in line with BB(4), BB(5) pages Tag: Visual edit
19:1419:14, 1 June 2025 diff hist +75‎ m BB(7) ‎ →‎Top Halters: added @poppuncher's 7th place halter to the Top Halter leaderboard Tag: Visual edit
19:0019:00, 1 June 2025 diff hist −11‎ m BB(7) ‎ →‎Current Progress: test immediately undone Tag: Manual revert
19:0019:00, 1 June 2025 diff hist +11‎ m BB(7) ‎ →‎Current Progress: test, may immediately undo
10:3110:31, 1 June 2025 diff hist +137‎ BB(7) ‎ →‎Current Progress: added more progress from the discord (myself, xnoob, and gerbil) Tag: Visual edit
10:2310:23, 1 June 2025 diff hist +219‎ BB(7) ‎ →‎Current Progress: added Iijil's progress Tag: Visual edit
10:2010:20, 1 June 2025 diff hist −711‎ BB(7) ‎ →‎Current Progress: removed all the special formatting that made some cells in the # holdouts left justified, some center justified, and some right justified.
10:1610:16, 1 June 2025 diff hist +12‎ BB(7) ‎ →‎Current Progress: made every column left aligned Tag: Visual edit: Switched
10:1410:14, 1 June 2025 diff hist −21‎ m BB(7) ‎ →‎Current Progress: Updated hipparcos's enumeration Tag: Visual edit: Switched

20:5020:50, 19 May 2025 diff hist +54‎ m BB(7) ‎ →‎Top Halters: adding 437xxx halter, had to go to edit source to get the TM template right
20:4920:49, 19 May 2025 diff hist +28‎ m BB(7) ‎ →‎Top Halters: Adding 437xxx halter Tag: Visual edit
20:4220:42, 19 May 2025 diff hist 0‎ m BB(7) ‎ →‎Current Progress: updated my sigma personal best Tag: Visual edit

21:5021:50, 18 May 2025 diff hist −2‎ m BB(7) ‎ →‎Current Progress: updated my progress on 43xxxx enumeration Tag: Visual edit
21:4921:49, 18 May 2025 diff hist +240‎ BB(7) ‎ →‎Current Progress: added uni's record breaker to the enumeration table Tag: Visual edit

23:0423:04, 17 May 2025 diff hist +465‎ BB(7) ‎ →‎Current Progress: Added links to the repositories where the enumerated+filtered TMs live Tag: Visual edit
22:5322:53, 17 May 2025 diff hist 0‎ m BB(7) ‎ →‎Current Progress: typo
00:1800:18, 17 May 2025 diff hist +82‎ m BB(7) ‎ →‎Current Progress: turned TMs into TM templates
00:1300:13, 17 May 2025 diff hist +314‎ BB(7) ‎ →‎Current Progress: finished tabulating BB7 enumeration process shared on Discord Tag: Visual edit

06:3006:30, 26 March 2025 diff hist +99‎ m BB(2,5) ‎ included direct simulation discord citation Tag: Visual edit

21:2021:20, 25 March 2025 diff hist +267‎ Bonus Cryptid ‎ added Shawn's simulation Tag: Visual edit
20:3520:35, 25 March 2025 diff hist −198‎ BB(2,5) ‎ →‎Holdouts: removed comment on possibility of finding halters by direct simulation because it was wrong Tag: Visual edit
19:2619:26, 25 March 2025 diff hist +377‎ BB(2,5) ‎ →‎Holdouts: Added forward simulations, noted that how far we should be simulating is not a straightforward question Tag: Visual edit

07:4707:47, 27 February 2025 diff hist +503‎ BB(3,3) ‎ updated text to reflect solved machines from Coq deciders. Major reorganization of Holdouts section, including removing any notion of "groups" of TMs. Tag: Visual edit
07:1207:12, 27 February 2025 diff hist +25‎ m BB(3,3) ‎ →‎Certified Progress: reformatted previous holdout history Tag: Visual edit
06:5906:59, 27 February 2025 diff hist +3‎ m BB(3,3) ‎ →‎Holdouts: stopped calling machine 637 "related" to group 1 because it's not connected in the same way all the Group 1 machines are Tag: Visual edit

20:1820:18, 11 February 2025 diff hist +540‎ Bonus Cryptid ‎ Added description of how it becomes a biased random walker and looks exactly like one for the first 100M steps. Tag: Visual edit
19:0219:02, 11 February 2025 diff hist −13‎ m BB(2,5) ‎ →‎Holdouts: making the number of 2x5 solved machines explicit Tag: Visual edit

18:5018:50, 7 February 2025 diff hist +667‎ BB(2,5) ‎ Add cryptids section, holdouts section Tag: Visual edit
18:4218:42, 7 February 2025 diff hist +24‎ m File:2x5 holdouts 217.txt ‎No edit summary current Tag: Visual edit
18:4118:41, 7 February 2025 diff hist −6,943‎ m File:2x5 holdouts 217.txt ‎ Blanked the page Tags: Blanking Visual edit
18:4118:41, 7 February 2025 diff hist 0‎ File:2x5 holdouts 217.txt ‎ ADucharme uploaded File:2x5 holdouts 217.txt
18:4018:40, 7 February 2025 diff hist +6,943‎ N File:2x5 holdouts 217.txt ‎ Created page with "1RB2LA4LA1RA1LA_2LB3RB4RB---2RA 1RB1LA1RB2RB2LA_2LB3RB4RB---0LA 1RB4LA1LB2LA0RB_2LB3RB4LA---1RA 1RB3RB1LA3LA2RA_2LB2RB0LA4RB--- 1RB3LB---0LA2LA_2LB3LA4RA0RB3RA 1RB---3LB4RB0LA_2LB3LA3RB4RA0RA 1RB0RA0RB3RB---_2LB3LA1LB4RA3LB 1RB0RA3LA4LA2RA_2LB3LA---4RA3RB 1RB---3RA2LA2RB_2LB3LA4LB4RA0RA 1RB4LA1RA1RB1LA_2LB3LA---4RA2RB 1RB4RB1LA2RB2LA_2LB3LA3RA2RA--- 1RB2RB1LA4RB3LB_2LB3LA1RA2RA--- 1RB4LA1LA---2RB_2LB3LA1LB2RA0RB 1RB4RA1LA4RB2LA_2LB3LA1RB2RA--- 1RB3LA1RB0RB---_2LB3LA4LB1R..."
18:3918:39, 7 February 2025 diff hist +26‎ Holdouts lists ‎ →‎Downloadable Holdout Lists: trying to add txt file of 217 holdout list
18:3818:38, 7 February 2025 diff hist +183‎ Holdouts lists ‎ →‎Downloadable Holdout Lists: Adding 217 2x5 list Tag: Visual edit

16:3916:39, 10 January 2025 diff hist +116‎ BB(3,3) ‎ →‎Holdouts: 279 comment fix to add link to long. analysis Tag: Visual edit
08:1108:11, 10 January 2025 diff hist +244‎ BB(3,3) ‎ →‎Holdouts: Found Coq proof for TM 400 in discord, moved TM to solved section Tag: Visual edit
07:5607:56, 10 January 2025 diff hist +136‎ m BB(3,3) ‎ →‎Holdouts: 867 links Tag: Visual edit
07:4607:46, 10 January 2025 diff hist +322‎ m BB(3,3) ‎ →‎Holdouts: 637 links Tag: Visual edit
07:4307:43, 10 January 2025 diff hist +19‎ m BB(3,3) ‎ →‎Holdouts: Warning statement on 279 Tag: Visual edit
07:3007:30, 10 January 2025 diff hist +22‎ BB(3,3) ‎ →‎Holdouts: Corrected myself, moved Rae and Peacemaker's convo from 818 to 816 Tag: Visual edit
07:2807:28, 10 January 2025 diff hist +293‎ BB(3,3) ‎ →‎Holdouts: Added description of dependencies of Group 1 non-halting machines Tag: Visual edit

Navigation menu