User contributions for Int-y1

25 August 2025

• 09:0509:05, 25 August 2025 diff hist +1 m Sync bouncer counter coq -> rocq current
• 09:0509:05, 25 August 2025 diff hist +9 m BB(2,5) coq -> rocq
• 09:0409:04, 25 August 2025 diff hist +3 m Code repositories coq -> rocq current
• 09:0309:03, 25 August 2025 diff hist +5 m Closed Position Set coq -> rocq current
• 09:0109:01, 25 August 2025 diff hist +1 m Coq-BB5 coq -> rocq
• 08:5608:56, 25 August 2025 diff hist +31 N 1RB2LB1LC 1LA2RB1RB 1RZ2LA0LC Redirected page to Surprise in a Box current Tag: New redirect
• 08:5108:51, 25 August 2025 diff hist +7 Tₘ function stub current
• 08:5008:50, 25 August 2025 diff hist −8 Wily Coyote bold name
• 08:4508:45, 25 August 2025 diff hist +9 Papers & Talks stub
• 08:4508:45, 25 August 2025 diff hist +6 m Longitudinal Analysis bold name
• 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
• 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
• 06:1106:11, 25 August 2025 diff hist +6 m Skelet 1 bold name Tag: Visual edit
• 06:1006:10, 25 August 2025 diff hist +6 m Skelet 17 bold name
• 06:0906:09, 25 August 2025 diff hist −1 m Bonus Cryptid No edit summary
• 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..."
• 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