User contributions for Sligocki
Jump to navigation
Jump to search
1 September 2024
- 20:4020:40, 1 September 2024 diff hist +1,005 1RB0LF 1RC1RA 1LD0RE 1LB1LD ---1RC 1RC1LA Write out proof a bit. Tag: Visual edit: Switched
31 August 2024
- 23:0723:07, 31 August 2024 diff hist +725 N 1RB0LF 1RC1RA 1LD0RE 1LB1LD ---1RC 1RC1LA Created page with "{{machine|1RB0LF_1RC1RA_1LD0RE_1LB1LD_---1RC_1RC1LA}} {{TM|1RB0LF_1RC1RA_1LD0RE_1LB1LD_---1RC_1RC1LA}} Analysis by Shawn Ligocki: A(a, b, c) = 0^inf 10^a <A 10^b 11^c 0^inf A(a+1, b, c+1) -> A(a, b+2, c) A(0, b, c+1) -> A(0, b+3, c) A(0, b, 0) -> A(b+1, 1, 1) A(a+2, b, 0) -> A(a, 1, b+2) A(1, b, 0) -> Halt(b+3) Start: A(0, 0, 0) Analysis by @rae: (a,b,0) -> (a-b-4,2b+5,0) if a>b+4 (a,b,0) -> (3b-a+9,3,0) if 2<=a<=b+4 (1,b,0) -> halt * 3 -> 32-2-3..."
29 August 2024
- 14:4914:49, 29 August 2024 diff hist +23 m Skelet's 43 holdouts Format Tag: Visual edit
27 August 2024
- 04:3504:35, 27 August 2024 diff hist +274 Talk:1RB0LD 1RC0RF 1LC1LA 0LE1RZ 1LF0RB 0RC0RE →Name current
- 04:3304:33, 27 August 2024 diff hist −140 BB(2) Switch this section to focus on the deciders needed with code as an example. Tag: Visual edit
- 04:2904:29, 27 August 2024 diff hist +19 m Accelerated simulator No edit summary Tag: Visual edit: Switched
19 August 2024
- 18:4118:41, 19 August 2024 diff hist +994 BB(2,3) Add top TMs and a little more info Tag: Visual edit: Switched
- 18:3318:33, 19 August 2024 diff hist +8 m BB(2,4) →Enumeration: Format numbers Tag: Visual edit: Switched
- 18:3118:31, 19 August 2024 diff hist +689 BB(2,4) Extend list of longest running TMs Tag: Visual edit: Switched
18 August 2024
- 20:1120:11, 18 August 2024 diff hist +57 BB(6) →Cryptids: Add @mxdys's new find Tag: Visual edit: Switched
- 20:1020:10, 18 August 2024 diff hist +10 1RB0RB 1LC1RE 1LF0LD 1RA1LD 1RC1RB ---1LC No edit summary Tag: Visual edit
- 20:1020:10, 18 August 2024 diff hist +561 N 1RB0RB 1LC1RE 1LF0LD 1RA1LD 1RC1RB ---1LC Created page with "{{machine|1RB0RB_1LC1RE_1LF0LD_1RA1LD_1RC1RB_---1LC}} {{TM|1RB0RB_1LC1RE_1LF0LD_1RA1LD_1RC1RB_---1LC}} Potential Cryptid found by @mxdys on 18 Aug 2024: https://discord.com/channels/960643023006490684/1239205785913790465/1274733002454335601 <pre> start: P(2) P(2a) -> P(3a+4) P(2a+1) -> Q(a+2,1) Q(2a+3,b) -> P(b+5a+6) Q(2a+2,b) -> Q(a,b+2a+5) Q(1,2b+1) -> P(3b+8) Q(1,2b) -> Q(b+2,1) Q(0,b) -> halt P(a) := 0^inf 1^a 011 <D 0^inf Q(a,b) := 0^inf 1^(2a+1) <..."
- 02:5702:57, 18 August 2024 diff hist 0 m Talk:Champions →Larger champions
- 02:5702:57, 18 August 2024 diff hist +481 Talk:Champions →Larger champions
- 02:5202:52, 18 August 2024 diff hist +18 Bbfind No edit summary Tag: Visual edit
15 August 2024
- 17:3117:31, 15 August 2024 diff hist +51 Champions →3-Symbol TMs: Define last 2x3 transition and add 4x3 champ (for now, I'm sure Pavel has beaten this). Tag: Visual edit
- 14:5914:59, 15 August 2024 diff hist −15 BB(2,3) I don't think we should refer to BB(2,3) as the 2nd value. At least that's not how I think of it. Tag: Visual edit
- 01:5401:54, 15 August 2024 diff hist −30 m Champions →2-Symbol TMs: Too many arrows, hard to keep track past 4. Tag: Visual edit
14 August 2024
- 17:4017:40, 14 August 2024 diff hist −10 Champions →2-Symbol TMs: Get rid of Ack() which is ambiguous. Tag: Visual edit
13 August 2024
- 06:0806:08, 13 August 2024 diff hist +25 BB(6) →Cryptids: Clarify that it is this one +15 others. Tag: Visual edit
- 06:0606:06, 13 August 2024 diff hist +254 N 1RB3RB---3LA1RA 2LA3RA4LB0LB1LB Created page with "{{TM|1RB3RB---3LA1RA_2LA3RA4LB0LB1LB}} BB(2,5) Cryptid found by Daniel Yuan. See https://www.sligocki.com/2024/05/10/bb-2-5-is-hard.html#a-bonus-cryptid<nowiki/>{{Machine|1RB3RB---3LA1RA_2LA3RA4LB0LB1LB}} Category:Cryptids Category:Stub" Tag: Visual edit
- 06:0306:03, 13 August 2024 diff hist −7 Main Page Simplify BB(3,4) bound (based on note that exact value was only for sigma score, not step count. Tag: Visual edit
- 06:0106:01, 13 August 2024 diff hist +22 Antihydra Cryptid Category Tag: Visual edit
- 06:0006:00, 13 August 2024 diff hist +22 Hydra Cryptid Category Tag: Visual edit
- 06:0006:00, 13 August 2024 diff hist +22 Bigfoot Cryptid Category Tag: Visual edit
- 05:5905:59, 13 August 2024 diff hist +22 Mother of Giants Cryptid Category Tag: Visual edit
- 05:5805:58, 13 August 2024 diff hist +22 1RB1RC 1LC1LE 1RA1RD 0RF0RE 1LA0LB ---1RA Cryptid Category Tag: Visual edit
- 05:5805:58, 13 August 2024 diff hist +74 N Category:Cryptids Created page with "Turing machines shown to be Cryptids. Category:Individual machines" current Tag: Visual edit
- 05:5705:57, 13 August 2024 diff hist +22 1RB1RA 0RC1RC 1LD0LF 0LE1LE 1RA0LB ---0LC Add Cryptids category Tag: Visual edit
- 05:5605:56, 13 August 2024 diff hist −69 m 1RB1RA 0RC1RC 1LD0LF 0LE1LE 1RA0LB ---0LC No edit summary Tag: Visual edit: Switched
6 August 2024
- 19:5219:52, 6 August 2024 diff hist +17 Consistent Collatz link collatz-like current Tag: Visual edit
- 19:5119:51, 6 August 2024 diff hist +4 m Antihydra link collatz-like Tag: Visual edit
- 19:5019:50, 6 August 2024 diff hist +4 m Hydra link collatz-like Tag: Visual edit
30 July 2024
- 19:0219:02, 30 July 2024 diff hist +1,311 1RB1RA 0RC1RC 1LD0LF 0LE1LE 1RA0LB ---0LC Add mxdys analysis, list of all TMs
- 18:0118:01, 30 July 2024 diff hist +1,227 1RB1RA 0RC1RC 1LD0LF 0LE1LE 1RA0LB ---0LC No edit summary Tag: Visual edit: Switched
- 06:1606:16, 30 July 2024 diff hist +338 1RB1RA 0RC1RC 1LD0LF 0LE1LE 1RA0LB ---0LC No edit summary Tag: Visual edit
- 05:5905:59, 30 July 2024 diff hist +98 1RB1RA 0RC1RC 1LD0LF 0LE1LE 1RA0LB ---0LC Validated Tag: Visual edit
- 05:4505:45, 30 July 2024 diff hist 0 1RB1RA 0RC1RC 1LD0LF 0LE1LE 1RA0LB ---0LC fix a rule Tag: Visual edit: Switched
- 04:4104:41, 30 July 2024 diff hist +1,575 N 1RB1RA 0RC1RC 1LD0LF 0LE1LE 1RA0LB ---0LC Created page with "{{machine|1RB1RA_0RC1RC_1LD0LF_0LE1LE_1RA0LB_---0LC}} A probviously halting BB(6) Cryptid found by @mxdys on 30 Jun 2024. Analysis by Shawn Ligocki: <pre> 1RB1RA_0RC1RC_1LD0LF_0LE1LE_1RA0LB_---0LC C(a, b, c) = $ 1^2a+1 C> 0^2b 1^c 01 $ Level 1: C(a, b+2, c) -> C(a+3, b, c) C(a, 1, c+2) -> C(1, a+3, c) C(a, 0, c+1) -> C(1, a+1, c) C(a, 0, 0) -> C(1, 2, 2a+3) C(a, 1, 1) -> C(1, 2, 2a+7) C(a, 1, 0) -> Halt(2a+5) Level 2: C(..."
29 July 2024
- 16:2216:22, 29 July 2024 diff hist +2,319 Translated cycler Add more general lede description, a little history and infinite shift rule interpretation. Tag: Visual edit
28 July 2024
- 19:1219:12, 28 July 2024 diff hist +3 m Beaver Math Olympiad No edit summary Tag: Visual edit: Switched
18 July 2024
- 03:5903:59, 18 July 2024 diff hist +14 m 1RB0RF 1RC0LD 1LB1RC ---0LE 1RA1LE ---0RC No edit summary Tag: Visual edit: Switched
- 02:0402:04, 18 July 2024 diff hist −151 Main Page Delete 7-state, there isn't much to say here. Tag: Visual edit
- 02:0202:02, 18 July 2024 diff hist +22 Closed Set Add to decider category current Tag: Visual edit
- 01:5601:56, 18 July 2024 diff hist −75 Skelet 1 Stub
- 01:5401:54, 18 July 2024 diff hist −18 1RB1RA 1LC0RE 0LF1LD 1LA1LC 1RA1RB ---0LD Add TM Template Tag: Visual edit: Switched
- 01:5301:53, 18 July 2024 diff hist +18 Skelet 17 Stub Tag: Visual edit: Switched
- 01:5201:52, 18 July 2024 diff hist +51 Mother of Giants Stub Tag: Visual edit
- 01:5201:52, 18 July 2024 diff hist +332 1RB0LD 1RC0RF 1LC1LA 0LE1RZ 1LF0RB 0RC0RE Add Collatz-like rule Tag: Visual edit
- 01:5001:50, 18 July 2024 diff hist +18 Accelerated simulator Stub Tag: Visual edit