User contributions for ADucharme

25 March 2025

• 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

3 March 2025

• 20:3520:35, 3 March 2025 diff hist +13 m BB(3,3) →Unsolved: added name of TM Tag: Visual edit

27 February 2025

• 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

11 February 2025

• 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

7 February 2025

• 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

14 January 2025

• 06:0106:01, 14 January 2025 diff hist −16 m BB(3,3) →Holdouts: formatting changes Tag: Visual edit

10 January 2025

• 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
• 07:2107:21, 10 January 2025 diff hist −11 BB(3,3) →Holdouts: changed the label on the members of the holdout list who have a coq proof or were decided and received a certificate Tag: Visual edit
• 07:1607:16, 10 January 2025 diff hist +290 m BB(3,3) →Holdouts: 642/832 links Tag: Visual edit
• 07:0607:06, 10 January 2025 diff hist +122 m BB(3,3) →Holdouts: 650 machine proof link Tag: Visual edit
• 07:0407:04, 10 January 2025 diff hist +254 m BB(3,3) →Holdouts: Added Daniel's expert discussion of machine 543 Tag: Visual edit
• 06:5906:59, 10 January 2025 diff hist +150 m BB(3,3) →Holdouts: added link to discussion about 818 Tag: Visual edit
• 06:4606:46, 10 January 2025 diff hist +1,101 Wily Coyote Added Rae's python code Tag: Visual edit
• 06:4106:41, 10 January 2025 diff hist +134 BB(3,3) →Holdouts: added link to 412 proof Tag: Visual edit
• 06:3606:36, 10 January 2025 diff hist +10 BB(3,3) →Holdouts: Changed section title on holdout list to reflect progress Tag: Visual edit
• 06:2306:23, 10 January 2025 diff hist +262 BB(3,3) →Holdouts: Included links to analysis of machines 21 and 92 Tag: Visual edit
• 06:1806:18, 10 January 2025 diff hist +2 1RB2LC1RC 2LC---2RB 2LA0LB0RA Re 758=153: Fixed my misreading of Legion's message and edited a result of a different brain fart on my part Tag: Visual edit
• 06:1006:10, 10 January 2025 diff hist +28 Wily Coyote No edit summary Tag: Visual edit
• 06:0206:02, 10 January 2025 diff hist +1,699 N Wily Coyote Created page with "{{TM|1RB2LA1LA_2LA0RA2RC_---0LC2RA}} This is BB(3,3) holdout #531. It is equivalent to BB(3,3) holdout #532 {{TM|1RB2LA1LA_2LA0RA2RC_---1RB2RA}}, as found by [https://discord.com/channels/960643023006490684/1084047886494470185/1211902511829749810 @dyuan01]. @Legion wrote a simulator in Rust for this TM that can be found [https://discord.com/channels/960643023006490684/1026577255754903572/1244841134761578630 here.] They described the behavior of this machine as <blockq..." Tag: Visual edit
• 05:1205:12, 10 January 2025 diff hist +567 1RB2LC1RC 2LC---2RB 2LA0LB0RA Included Legion's more rigorous finding that this machine is equal to #153. Tag: Visual edit

6 January 2025

• 14:4414:44, 6 January 2025 diff hist +67 m BB(3,3) →Holdouts: note on the machine in the 7 2024 list Tag: Visual edit
• 14:4314:43, 6 January 2025 diff hist +122 BB(3,3) Found the TM certified but on the July 2024 holdout list, noted it Tag: Visual edit
• 14:3514:35, 6 January 2025 diff hist +1,000 BB(3,3) Added tligocki's big enumeration and the certified progress that Legion surfaced Tag: Visual edit

4 September 2024

• 22:2122:21, 4 September 2024 diff hist +35 Dekaheptoid →State variables: simplified definitions of state variables "last" and "grayval" Tag: Visual edit

2 September 2024

• 22:0622:06, 2 September 2024 diff hist −2 m Dekaheptoid →1RB---_0LC1LB_1RE1LD_0LB1RF_1RD1RA_0RD0RE: removing extra white space Tag: Visual edit
• 22:0522:05, 2 September 2024 diff hist 0 m Dekaheptoid →2-state, 5-symbol dekaheptoids
• 22:0422:04, 2 September 2024 diff hist 0 m Dekaheptoid →2-state, 5-symbol dekaheptoids
• 22:0422:04, 2 September 2024 diff hist −9 m Dekaheptoid →2-state, 5-symbol dekaheptoids: turning link into wiki TM template
• 22:0322:03, 2 September 2024 diff hist +2 m Dekaheptoid →6-state dekaheptoids: fixing first try error in template
• 22:0222:02, 2 September 2024 diff hist −11 m Dekaheptoid →6-state dekaheptoids: turned link into wiki TM template
• 22:0122:01, 2 September 2024 diff hist +43 m Dekaheptoid →5-state dekaheptoids: getting wiki TM template right
• 21:5921:59, 2 September 2024 diff hist −54 m Dekaheptoid →5-state dekaheptoids: changed link to TM to a wiki TM template Tag: Visual edit
• 21:5621:56, 2 September 2024 diff hist −7 m Dekaheptoid →State variables: converted new-line plain text formatting into in-line code formatting. Changed text defining conventions Tag: Visual edit