User contributions for Sligocki

4 September 2024

• 17:2117:21, 4 September 2024 diff hist +1,467 N 1RB1LD 1RC1RB 1LC1LA 0RC0RD Created page with "{{machine|1RB1LD_1RC1RB_1LC1LA_0RC0RD}} {{TM|1RB1LD_1RC1RB_1LC1LA_0RC0RD}} Blanking Beaver BLB(4,2) champion which creates a blank tape after 32,779,477 steps. It was discovered and reported by Nick Drozd in 2021.<ref>Nick Drozd. [https://nickdrozd.github.io/2021/07/11/self-cleaning-turing-machine.html A New Record in Self-Cleaning Turing Machines]. 2021.</ref> == Analysis by Shawn Ligocki == Let <math display="block">D(a, b) = 0^\infty \; 1^a \; 0^..." Tag: Visual edit
• 04:1204:12, 4 September 2024 diff hist +812 N 1RB1LA 1LC0RC 1LD1RC 1RB1LE 0LF0LA ---0RB Created page with "{{machine|1RB1LA_1LC0RC_1LD1RC_1RB1LE_0LF0LA_---0RB}} {{TM|1RB1LA_1LC0RC_1LD1RC_1RB1LE_0LF0LA_1RZ0RB|halt}} Halting TM with long-running Collatz-like analysis. Analysis by @dyuan https://discord.com/channels/960643023006490684/1239205785913790465/1280618026844033086: <pre> C(a, b, c) = 1^a 0 1^b C> 0 1^c C(a, b+3, c) -> C(a+1, b, c+2) C(a, 0, c) -> C(a+1, c, 0) C(a+1, 1, c) -> C(0, a, c+3) C(0, 1, c) -> Halt C(a, 2, c) -> C(0, a+c+4, 0) Start: C(0, 2, 0) </pre> Hal..."

3 September 2024

• 14:2714:27, 3 September 2024 diff hist +2,159 Talk:Champions No edit summary

2 September 2024

• 15:1115:11, 2 September 2024 diff hist +10 m Champions Fix Tex , to be \, so it's not interpreted as a list.
• 12:5212:52, 2 September 2024 diff hist +318 User talk:Jacobzheng →Vandalism: new section
• 12:4712:47, 2 September 2024 diff hist −33 m Champions Reverted edits by Jacobzheng (talk) to last revision by Elexunix Tag: Rollback

1 September 2024

• 20:4120:41, 1 September 2024 diff hist +9 m 1RB0LF 1RC1RA 1LD0RE 1LB1LD ---1RC 1RC1LA No edit summary Tag: Visual edit: Switched
• 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 Bonus Cryptid 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" 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 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