User contributions for Int-y1

Results for Int-y1 talk block log uploads logs abuse log

A user with 352 edits. Account created on 24 June 2024.

Jump to navigation Jump to search

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

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

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
03:5503:55, 11 August 2025 diff hist +126 1RB2LC1RC 2LC---2RB 2LA0LB0RA add an opinion on smallfoot Tag: Reverted

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

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

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

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"

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

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

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

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

03:0703:07, 9 July 2025 diff hist +26 m Skelet fix sort 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 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 Bonus Cryptid 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

Retrieved from "https://wiki.bbchallenge.org/wiki/Special:Contributions/Int-y1"