User contributions for ADucharme

23:5723:57, 30 September 2025 diff hist +191‎ BB(3,3) ‎ moved 867 out of Holdouts section since it was proved and no one noticed a month ago current Tag: Visual edit
21:5121:51, 30 September 2025 diff hist −126‎ BB(3,3) ‎ →‎Holdouts: moved Rigorously Proven subsection fully to Interesting Rocq-Solved TMs Tag: Visual edit
21:3721:37, 30 September 2025 diff hist +196‎ TMBR: September 2025 ‎ →‎Holdouts: updated details for 2x6, 4x3 reductions Tag: Visual edit
21:2921:29, 30 September 2025 diff hist −24‎ m TMBR: September 2025 ‎ →‎Holdouts: other domain language change Tag: Visual edit
21:2921:29, 30 September 2025 diff hist 0‎ TMBR: September 2025 ‎ →‎Holdouts: update 4x3 reduction table, Details Tag: Visual edit
21:2121:21, 30 September 2025 diff hist +672‎ TMBR: September 2025 ‎ add 3x3 month blurb Tag: Visual edit
03:0803:08, 30 September 2025 diff hist +127‎ BB(4,3) ‎ →‎Top Halters: updating top 10 found by comprehensive search current Tag: Visual edit
02:1302:13, 30 September 2025 diff hist +48‎ m BB(4,3) ‎ →‎Top Halters: TM templating
02:1102:11, 30 September 2025 diff hist +100‎ BB(7) ‎ →‎Phase 2: update stage 4 documentation Tag: Visual edit

05:2405:24, 21 September 2025 diff hist −142‎ BB(2,6) ‎ →‎Top Halters: confirmed discoverers of current top 10 2x6 machines Tag: Visual edit

19:1819:18, 13 September 2025 diff hist 0‎ BB(7) ‎ →‎Phase 2: making "Input Holdout TMs" column consistent Tag: Visual edit

19:1719:17, 8 September 2025 diff hist +196‎ BB(2,6) ‎ →‎Filtering: adding last of Phase 2 of filtering to 2x6 table Tag: Visual edit

00:5100:51, 4 September 2025 diff hist +49‎ TMBR: August 2025 ‎ mock-up of automatic pointer to adjacent TMBRs Tag: Visual edit

07:4307:43, 2 September 2025 diff hist +1,415‎ BB(2,6) ‎ 2x6 filtering Phase 2 progress Tag: Visual edit

22:0122:01, 26 August 2025 diff hist −307‎ User talk:Polygon ‎No edit summary
17:1317:13, 26 August 2025 diff hist +1,028‎ N User talk:Polygon ‎ Created page with "Hi Polygon! This is Andrew, another big contributor to the wiki. Most of us are on a discord channel BBChallenge that you should join! Here's an invite link: https://discord.gg/brgtycR8 Your detail-oriented wiki management has not gone unnoticed and is definitely appreciated. I was curious if you were interested in helping with migrating the results compiled on https://cosearch.bbchallenge.org to the wiki. This is a webpage built to help keep track of the results sha..."
16:5316:53, 26 August 2025 diff hist +719‎ BB(7) ‎ →‎Phase 2: add two filtering results Tag: Visual edit

19:0319:03, 25 August 2025 diff hist +615‎ BB(2,6) ‎ →‎Top Halters: add new top 10 halters Tag: Visual edit
17:2017:20, 25 August 2025 diff hist +5‎ m BB(3,3) ‎ →‎Interesting Solved TMs: change name again Tag: Visual edit
17:1817:18, 25 August 2025 diff hist −4‎ m BB(3,3) ‎ →‎Interesting Final Holdouts: rename section Tag: Visual edit
11:4311:43, 25 August 2025 diff hist +90‎ m BB(2,6) ‎ TM templating
11:4211:42, 25 August 2025 diff hist +1,007‎ N BB(2,6) ‎ create 2x6 page Tag: Visual edit
07:3607:36, 25 August 2025 diff hist −1‎ m BB(3,3) ‎ →‎Solved with moderate rigor: reorder so lexicographically similar TMs are next to each other Tag: Visual edit
07:1307:13, 25 August 2025 diff hist −559‎ BB(3,3) ‎ change basis for Holdout section to 8/25 mxdys release. Move some solved TMs to Interesting Final Holdouts Tag: Visual edit
06:2906:29, 25 August 2025 diff hist 0‎ m BB(3,3) ‎ →‎Interesting Final Holdouts: typo correction, hattip @RobinCodes Tag: Visual edit

22:3122:31, 24 August 2025 diff hist −25‎ m BB(3,3) ‎ →‎Holdouts: change reference to 400=494 Tag: Visual edit
22:2622:26, 24 August 2025 diff hist +25‎ m BB(3,3) ‎ →‎Holdouts: TM templating
22:2522:25, 24 August 2025 diff hist +1,208‎ BB(3,3) ‎ change basis for Holdouts section from Justin's 2024 list to mxdys's 2025 list. Create section "Interesting Final Holdouts" Tag: Visual edit
17:4717:47, 24 August 2025 diff hist +200‎ BB(7) ‎ →‎Phase 2: BB(7) filtering CPS bs=7 Tag: Visual edit

22:5322:53, 20 August 2025 diff hist +2,538‎ Cryptids ‎ →‎Cryptids at the Edge: Added all BB(6), BB(2,5), and BB(3,3) cryptids Tag: Visual edit

Navigation menu