User contributions for Int-y1

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 current 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 current

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

25 July 2025

• 10:1710:17, 25 July 2025 diff hist +45‎ N BBi ‎ Redirected page to Instruction-Limited Busy Beaver current Tag: New redirect

23 July 2025

• 04:2304:23, 23 July 2025 diff hist +111‎ Instruction-Limited Busy Beaver ‎ link BBi(8) to BB(3,3)

9 July 2025

• 03:0703:07, 9 July 2025 diff hist +26‎ m Skelet ‎ fix sort current Tag: Visual edit: Switched
• 02:5802:58, 9 July 2025 diff hist +9‎ m Code repositories ‎ make table sortable Tag: Visual edit
• 02:5602:56, 9 July 2025 diff hist −1‎ m 1RB1RC 1LC1RE 1LD0LB 1RE1LC 1LE0RF 1RZ1RA ‎No edit summary
• 02:1002:10, 9 July 2025 diff hist −120‎ Sync bouncer counter ‎No edit summary
• 02:0902:09, 9 July 2025 diff hist −120‎ Sync bi-counter ‎No edit summary
• 02:0602:06, 9 July 2025 diff hist −19‎ Skelet ‎ not a stub anymore
• 02:0502:05, 9 July 2025 diff hist −258‎ Shift overflow bouncer counter ‎No edit summary
• 02:0202:02, 9 July 2025 diff hist +100‎ Mother of Giants ‎ add unsolved problem
• 02:0002:00, 9 July 2025 diff hist +9‎ m Lucy's Moonlight ‎No edit summary
• 02:0002:00, 9 July 2025 diff hist 0‎ m Lucy's Moonlight ‎No edit summary
• 02:0002:00, 9 July 2025 diff hist +75‎ Lucy's Moonlight ‎ add unsolved problem
• 01:5601:56, 9 July 2025 diff hist −465‎ History linear ‎ update tm links current Tag: Visual edit: Switched
• 01:4401:44, 9 July 2025 diff hist −121‎ BB(2,5) ‎ not true anymore, the bb(6) champion has counter behaviour too
• 01:3901:39, 9 July 2025 diff hist +38‎ 1RB3RB---3LA1RA 2LA3RA4LB0LB1LB ‎ add unsolved problem
• 01:3801:38, 9 July 2025 diff hist −1‎ m 1RB1RF 0RC0RD 1LC1LD 1LE0RB 0RA1LG 1LC1RA ---0RF ‎ typo
• 01:3701:37, 9 July 2025 diff hist +75‎ 1RB1RE 1LC1LD ---1LA 1LB1LE 0RF0RA 1LD1RF ‎ add unsolved problem current
• 01:3601:36, 9 July 2025 diff hist 0‎ m 1RB1RE 1LC0RA 0RD1LB ---1RC 1LF1RE 0LB0LE ‎No edit summary
• 01:3501:35, 9 July 2025 diff hist +38‎ 1RB1RC 1LC1LE 1RA1RD 0RF0RE 1LA0LB ---1RA ‎ add unsolved problem
• 01:3101:31, 9 July 2025 diff hist −8‎ 1RB0RF 1RC0LD 1LB1RC ---0LE 1RA1LE ---0RC ‎ fix tm links
• 01:2801:28, 9 July 2025 diff hist +46‎ 1RB1LE 0LC0LB 1RD1LC 1RD1RA 1RF0LA ---1RE ‎ add unsolved problem current
• 01:2701:27, 9 July 2025 diff hist +38‎ 1RB1LD 1RC1RE 0LA1LB 0LD1LC 1RF0RA ---0RC ‎ add unsolved problem
• 01:2101:21, 9 July 2025 diff hist +38‎ 1RB1LA 1LC0RE 1LF1LD 0RB0LA 1RC1RE ---0LD ‎ add unsolved problem
• 01:2001:20, 9 July 2025 diff hist +75‎ 1RB0RE 1LC1LD 0RA0LD 1LB0LA 1RF1RA ---1LB ‎ add unsolved problem current
• 01:1401:14, 9 July 2025 diff hist −3‎ m 1RB0LF 1RC1RB 1LD0RA 1LB0LE 1RZ0LC 1LA1LF ‎ 2nd -> 4th
• 01:1201:12, 9 July 2025 diff hist −1‎ m 1RB0LE 1LC1RA ---1LD 0RB1LF 1RD1LA 0LA0RD ‎No edit summary
• 01:1201:12, 9 July 2025 diff hist +38‎ 1RB0LD 1RC1RF 1LA0RA 0LA0LE 1LD1LA 0RB--- ‎ add unsolved problem
• 01:1101:11, 9 July 2025 diff hist +75‎ 1RB0LC 1LC0RD 1LF1LA 1LB1RE 1RB1LE ---0LE ‎ add unsolved problem current
• 01:1101:11, 9 July 2025 diff hist +75‎ 1RB0LC 0LC0RF 1RD1LC 0RA1LE ---0LD 1LF1LA ‎ add unsolved problem current
• 01:1001:10, 9 July 2025 diff hist −1‎ m 1RB--- 0RC0RE 1RD1RF 1LE0LB 1RC0LD 1RC1RA ‎No edit summary current
• 01:0901:09, 9 July 2025 diff hist −1‎ m 1RB0LB 1LC0RE 1LA1LD 0LC--- 0RB0RF 1RE1RB ‎No edit summary
• 01:0801:08, 9 July 2025 diff hist +39‎ 1RB0LB 1LC0RE 1LA1LD 0LC--- 0RB0RF 1RE1RB ‎ add unsolved problem
• 01:0701:07, 9 July 2025 diff hist +76‎ 1RB--- 0RC0RE 1RD1RF 1LE0LB 1RC0LD 1RC1RA ‎No edit summary
• 01:0201:02, 9 July 2025 diff hist +3‎ BB(7) ‎No edit summary
• 00:5600:56, 9 July 2025 diff hist −13‎ m BB(7) ‎ small tm format fix