User contributions for Int-y1

25 August 2025

• 08:4008:40, 25 August 2025 diff hist −2‎ m Green's machines ‎ remove empty column
• 08:3608:36, 25 August 2025 diff hist −6‎ m FAR ‎ Changed redirect target from Finite Automata Reduction (FAR) to Finite Automata Reduction current Tag: Redirect target changed
• 08:3508:35, 25 August 2025 diff hist −6‎ m Meet-in-the-Middle Weighted Finite Automata Reduction (MITMWFAR) ‎ update far link
• 08:3508:35, 25 August 2025 diff hist −64‎ m Closed Set ‎ update far link current
• 08:3508:35, 25 August 2025 diff hist 0‎ m Decider ‎ update far link
• 08:3408:34, 25 August 2025 diff hist −18‎ m Code repositories ‎ update far link
• 08:3408:34, 25 August 2025 diff hist +39‎ N Finite Automata Reduction (FAR) ‎ Int-y1 moved page Finite Automata Reduction (FAR) to Finite Automata Reduction: remove acronym current Tag: New redirect
• 08:3408:34, 25 August 2025 diff hist 0‎ m Finite Automata Reduction ‎ Int-y1 moved page Finite Automata Reduction (FAR) to Finite Automata Reduction: remove acronym
• 08:3208:32, 25 August 2025 diff hist +36‎ N FGH ‎ Redirected page to Fast-Growing Hierarchy current Tag: New redirect
• 08:3108:31, 25 August 2025 diff hist +6‎ m Fast-Growing Hierarchy ‎ bold name current
• 08:2808:28, 25 August 2025 diff hist −52‎ m Closed Set ‎ edit cps link
• 08:2808:28, 25 August 2025 diff hist −18‎ m Code repositories ‎ edit cps link
• 08:2708:27, 25 August 2025 diff hist 0‎ m Decider ‎ edit cps link
• 08:2708:27, 25 August 2025 diff hist −6‎ m BB(3) ‎ edit cps link current
• 08:2608:26, 25 August 2025 diff hist −6‎ m CPS ‎ Changed redirect target from Closed Position Set (CPS) to Closed Position Set current Tag: Redirect target changed
• 08:2508:25, 25 August 2025 diff hist +33‎ N Closed Position Set (CPS) ‎ Int-y1 moved page Closed Position Set (CPS) to Closed Position Set: remove acronym current Tag: New redirect
• 08:2508:25, 25 August 2025 diff hist 0‎ m Closed Position Set ‎ Int-y1 moved page Closed Position Set (CPS) to Closed Position Set: remove acronym
• 07:1007:10, 25 August 2025 diff hist −30‎ m Code repositories ‎ update ctl links
• 07:0907:09, 25 August 2025 diff hist −54‎ m Closed Set ‎ update links to ctl
• 07:0907:09, 25 August 2025 diff hist 0‎ m Decider ‎No edit summary
• 07:0807:08, 25 August 2025 diff hist −6‎ m BB(2,5) ‎No edit summary
• 07:0707:07, 25 August 2025 diff hist −6‎ m CTL ‎ Changed redirect target from Closed Tape Language (CTL) to Closed Tape Language current Tag: Redirect target changed
• 07:0607:06, 25 August 2025 diff hist +34‎ N Closed Tape Language (CTL) ‎ Int-y1 moved page Closed Tape Language (CTL) to Closed Tape Language: remove CTL from name current Tag: New redirect
• 07:0607:06, 25 August 2025 diff hist 0‎ m Closed Tape Language ‎ Int-y1 moved page Closed Tape Language (CTL) to Closed Tape Language: remove CTL from name current
• 07:0507:05, 25 August 2025 diff hist +6‎ m Closed Tape Language ‎ bold name
• 07:0507:05, 25 August 2025 diff hist +6‎ m Closed Position Set ‎ bold name
• 07:0107:01, 25 August 2025 diff hist +6‎ m Block Analysis ‎ bold name
• 06:3806:38, 25 August 2025 diff hist +161‎ BB(3,3) ‎ move 400 to solved
• 06:2306:23, 25 August 2025 diff hist +47‎ 1RB1RE 1LC0RA 0RD1LB ---1RC 1LF1RE 0LB0LE ‎ add nickname current
• 06:2006:20, 25 August 2025 diff hist +1‎ m 1RB1LF 1LB1LC 1RD0LE ---0RB 0RC0LA 1RC0RF ‎ format
• 06:1506:15, 25 August 2025 diff hist +12‎ m 1RB0RC 1RC0LC 0RD1LE 1LE1RF 0LB--- 0RA1LA ‎ math current
• 06:1106:11, 25 August 2025 diff hist +6‎ m Skelet 1 ‎ bold name current Tag: Visual edit
• 06:1006:10, 25 August 2025 diff hist +6‎ m Skelet 17 ‎ bold name current
• 06:0906:09, 25 August 2025 diff hist −1‎ m Bonus Cryptid ‎No edit summary current
• 06:0806:08, 25 August 2025 diff hist −10‎ m Bonus Cryptid ‎ bold name
• 06:0406:04, 25 August 2025 diff hist −18‎ Bonus cryptid ‎ Changed redirect target from 1RB3RB---3LA1RA 2LA3RA4LB0LB1LB to Bonus Cryptid current Tag: Redirect target changed

15 August 2025

• 01:2501:25, 15 August 2025 diff hist +54‎ Beeping Busy Beaver ‎ be more precise about BB^k

11 August 2025

• 04:0704:07, 11 August 2025 diff hist +554‎ N User:Int-y1 ‎ Created page with "Contributions to busy beaver: * 2023-12-23: [https://discuss.bbchallenge.org/t/skelet-33-doesnt-halt-coq-proof/180 Skelet #33 doesn’t halt - Coq proof] * 2024-01-28: [https://discuss.bbchallenge.org/t/skelet-26-and-15-do-not-halt-coq-proof/183 Skelet #26 and #15 do not halt - Coq proof] * 2024-07-10: Reframed 1RB1RE_1LC0RA_0RD1LB_---1RC_1LF1RE_0LB0LE as a math olympiad problem ([https://discord.com/channels/960643023006490684/960643023530762343/1260535058230542428..." current
• 03:5803:58, 11 August 2025 diff hist +45‎ N Bonus cryptid ‎ Redirected page to 1RB3RB---3LA1RA 2LA3RA4LB0LB1LB Tag: New redirect
• 03:5703:57, 11 August 2025 diff hist +4‎ m 1RB2LC1RC 2LC---2RB 2LA0LB0RA ‎No edit summary Tag: Reverted
• 03:5503:55, 11 August 2025 diff hist +126‎ 1RB2LC1RC 2LC---2RB 2LA0LB0RA ‎ add an opinion on smallfoot Tag: Reverted

9 August 2025

• 07:2107:21, 9 August 2025 diff hist +70‎ 1RB0LD 1RC1RA 1LD0RB 1LE1LA 1RF0RC ---1RE ‎ add approximation of 4th occasion

7 August 2025

• 09:1609:16, 7 August 2025 diff hist +25‎ m 1RB1LE 1LC0RA 0RF0LD 1LE1LA 1RC0LB ---1RC ‎ don't use "I"

6 August 2025

• 09:4809:48, 6 August 2025 diff hist +479‎ 1RB0LD 1RC1RA 1LD0RB 1LE1LA 1RF0RC ---1RE ‎ add more info about (0,0,c) and (0,1,c)
• 08:1408:14, 6 August 2025 diff hist +200‎ 1RB0LD 1RC1RA 1LD0RB 1LE1LA 1RF0RC ---1RE ‎ proven in coq and lean

5 August 2025

• 03:0603:06, 5 August 2025 diff hist +467‎ Sequences ‎ add A384629 A384766
• 02:4002:40, 5 August 2025 diff hist −5‎ m 1RB0LD 1RC1RA 1LD0RB 1LE1LA 1RF0RC ---1RE ‎No edit summary
• 02:4002:40, 5 August 2025 diff hist +80‎ 1RB0LD 1RC1RA 1LD0RB 1LE1LA 1RF0RC ---1RE ‎ add "Unsolved problem"

2 August 2025

• 10:2310:23, 2 August 2025 diff hist +33‎ N TT ‎ Redirected page to Terminating Turmite current Tag: New redirect

28 July 2025

• 02:0502:05, 28 July 2025 diff hist +33‎ N BBB ‎ Redirected page to Beeping Busy Beaver current Tag: New redirect