User contributions for Sligocki
Jump to navigation
Jump to search
13 May 2025
- 20:0920:09, 13 May 2025 diff hist +2,236 N 1RB0RA 1LC1LF 1RD0LB 1RA1LE 1RZ0LC 1RG1LD 0RG0RF Created page with "{{machine|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}} {{TM|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}} is a halting BB(7) TM which runs for over <math>2 \uparrow^{12} 2 \uparrow^{12} 3</math> steps. == Analysis by Shawn Ligocki == Consider general configurations matching the regex: <math>0^\infty \; 11 \; (1 \; (01)^*)^* \; 0011100 \; \text{A>} \; 0^\infty</math> === Low level rules === <pre> 01 1 01^n 0011100 A> 00 -->..."
9 May 2025
- 02:4002:40, 9 May 2025 diff hist +1,058 N 1RB1RA 1RC0LC 0LD1LG 1LF0LE 1RZ1LF 0LA1LD 1RA1LC Created page with "{{machine|1RB1RA_1RC0LC_0LD1LG_1LF0LE_1RZ1LF_0LA1LD_1RA1LC}} {{TM|1RB1RA_1RC0LC_0LD1LG_1LF0LE_1RZ1LF_0LA1LD_1RA1LC}} is a halting tetrational BB(7) TM that runs for over 10↑↑35 steps found by Shawn Ligocki on 8 May 2025 based on @mxdys's enumeration system https://github.com/ccz181078/TM Analysis by Shawn Ligocki: <pre> 1RB1RA_1RC0LC_0LD1LG_1LF0LE_1RZ1LF_0LA1LD_1RA1LC B(a,b,c,d) = 0^inf 1^a B> 1^b 01^c 011^d 0^inf D(a) = B(a,0,0,0) = 0^inf 1^a B> 0^inf D(3k) -..."
2 May 2025
- 16:3816:38, 2 May 2025 diff hist +22 m 1RB2LC1RC 2LC---2RB 2LA0LB0RA Add to Cryptid category Tag: Visual edit
- 16:3716:37, 2 May 2025 diff hist +1,789 1RB2LC1RC 2LC---2RB 2LA0LB0RA Add History section from Legion's Discord message Tag: Visual edit
29 April 2025
- 02:2702:27, 29 April 2025 diff hist 0 1RB1RA 0RC1RC 1LD0LF 0LE1LE 1RA0LB ---0LC Fix date (from Discord message) Tag: Visual edit
- 01:5601:56, 29 April 2025 diff hist +230 BB(3) →Techniques: Note how TC + CPS is all you need for BB(3). Tag: Visual edit
28 April 2025
- 22:5022:50, 28 April 2025 diff hist +55 N 1RB1RA 0RC1RC 1LD0LF 0LE1LE 1RA1LD ---0LC Redirected page to 1RB1RA 0RC1RC 1LD0LF 0LE1LE 1RA0LB ---0LC current Tags: New redirect Visual edit
- 22:3722:37, 28 April 2025 diff hist +138 Lucy's Moonlight Link blog post Tag: Visual edit
- 19:4519:45, 28 April 2025 diff hist +26 m Cryptids →Larger Cryptids: Link to new Stub on ZFC bound Tag: Visual edit
24 April 2025
- 16:4616:46, 24 April 2025 diff hist +132 Busy Beaver for lambda calculus →Champions: BBl(37) = BBl(35) + 2 Tag: Visual edit
- 16:1316:13, 24 April 2025 diff hist +1,285 Busy Beaver for lambda calculus Add Proof of Uncomputability Tag: Visual edit
21 April 2025
- 20:1620:16, 21 April 2025 diff hist +36 Lucy's Moonlight Add adjectives back in
17 April 2025
16 April 2025
- 21:1421:14, 16 April 2025 diff hist +9 Busy Beaver for lambda calculus →Champions: Merge rows for same bit count and add a few more co-champtions. Tag: Visual edit
15 April 2025
- 20:2620:26, 15 April 2025 diff hist −4 Busy Beaver for lambda calculus →Champions: Size 35,36 confirmed solved. Tag: Visual edit
14 April 2025
- 15:1415:14, 14 April 2025 diff hist −24 BB(6) Undo revision 1806 by Sligocki (talk): Oops, redo change, I see that the TC was broken out from the list. Tag: Undo
- 15:1315:13, 14 April 2025 diff hist +24 BB(6) Undo revision 1805 by MrSolis (talk): One is a possible TC Tags: Undo Reverted
12 April 2025
- 14:4314:43, 12 April 2025 diff hist +142 Talk:Shift rule →Bouncer example
- 14:4214:42, 12 April 2025 diff hist −46 Shift rule →Simulation Acceleration: Fix TM example (it was flipped)
10 April 2025
- 20:3420:34, 10 April 2025 diff hist −299 Busy Beaver for lambda calculus →Champions: Remove surpassed entries and split up long math block. Tag: Visual edit
8 April 2025
- 21:3521:35, 8 April 2025 diff hist −1 Busy Beaver for lambda calculus →Champions: BBl(34) confirmed Tag: Visual edit
30 March 2025
- 03:2303:23, 30 March 2025 diff hist +90 Busy Beaver for lambda calculus →Champions: Add second BBλ(30) champion Tag: Visual edit
- 02:5202:52, 30 March 2025 diff hist +5 m Busy Beaver for lambda calculus →Champions: Fix several Champions missing leading `\` Tag: Visual edit
- 02:4802:48, 30 March 2025 diff hist −7 m Busy Beaver for lambda calculus →Champions Tag: Visual edit
- 02:4102:41, 30 March 2025 diff hist +120 Busy Beaver for lambda calculus →Champions: normal form for BBλ(33) (surprisingly simple) Tag: Visual edit
- 01:5301:53, 30 March 2025 diff hist +219 Busy Beaver for lambda calculus →Champions: Add a few more normal forms Tag: Visual edit
- 01:2101:21, 30 March 2025 diff hist +242 Busy Beaver for lambda calculus →Champions: Add column for # beta reductions (meant for small values) and 2 new normal forms. Tag: Visual edit
29 March 2025
- 20:2420:24, 29 March 2025 diff hist +96 Busy Beaver for lambda calculus →Champions: Note that Graham term produces a Church numeral Tag: Visual edit
- 20:0220:02, 29 March 2025 diff hist +78 Busy Beaver for lambda calculus →Champions: Clarify Melo bound Tag: Visual edit
- 18:4418:44, 29 March 2025 diff hist −145 Busy Beaver for lambda calculus →Champions: Fix Graham attribution Tag: Visual edit
28 March 2025
- 20:3020:30, 28 March 2025 diff hist +470 Busy Beaver for lambda calculus →Champions: Proper credit for discovery Tag: Visual edit
- 20:2820:28, 28 March 2025 diff hist +296 Busy Beaver for lambda calculus →Champions: Add 63-bit Graham champ Tag: Visual edit
- 20:1820:18, 28 March 2025 diff hist +94 Busy Beaver for lambda calculus →Champions: Add some extended base 10 bounds Tag: Visual edit
- 15:5815:58, 28 March 2025 diff hist +315 Busy Beaver for lambda calculus →Champions: Add middle champions Tag: Visual edit
- 15:4915:49, 28 March 2025 diff hist +289 m Busy Beaver for lambda calculus →Champions Tag: Visual edit
- 15:4615:46, 28 March 2025 diff hist −25 Busy Beaver for lambda calculus →Champions: Fix math in table
- 15:4115:41, 28 March 2025 diff hist +35 N Busy Beaver Redirected page to Busy Beaver Functions current Tag: New redirect
- 15:4015:40, 28 March 2025 diff hist +7,102 N Busy Beaver for lambda calculus Created page with "'''Busy Beaver for lambda calculus''' ('''BBλ''') is a variation of the Busy Beaver problem for [https://en.wikipedia.org/wiki/Lambda_calculus lambda calculus] invented by John Tromp. BBλ(n) = the maximum normal form size of any closed lambda term of size n. If you are not familiar with lambda calculus and beta-reduction, I recommend starting with that article. Size is measured in bits using [https://tromp.github.io/cl/Binary_lambda_calculus.html Binary Lambda Cal..."
- 13:2913:29, 28 March 2025 diff hist +45 N BBλ Redirected page to Busy Beaver for lambda calculus current Tag: New redirect
25 March 2025
- 22:4022:40, 25 March 2025 diff hist +1 BB(2,5) →Holdouts: Ran to 10B Tag: Visual edit
- 21:4621:46, 25 March 2025 diff hist −69 m BB(2,5) No edit summary Tag: Visual edit
- 21:4121:41, 25 March 2025 diff hist +981 N 1RB3LA1LA1RA3RA 2LB2RA---4RB1LB Created page with "{{machine|1RB3LA1LA1RA3RA_2LB2RA---4RB1LB}} {{TM|1RB3LA1LA1RA3RA_2LB2RA---4RB1LB}} is a BB(2,5) TM analyzed by Racheline [https://discord.com/channels/960643023006490684/1349040227548663858/1349448649817456670 on 12 Mar 2025] that appears to be a Cryptid Analysis by Racheline: <pre> 1RB3LA1LA1RA3RA_2LB2RA---4RB1LB A(a,b) := 0^inf 1 4^a 1^3 A> 1^b 2 0^inf B(a,b) := 0^inf 1 4^a 1^b A> 1 0^inf A(a,2a+b+3) -> A(3a+4,b) A(a,2a+2) -> B(3a+4,2) A(a,2a+1) -> halt A(a,2..."
- 21:3921:39, 25 March 2025 diff hist +123 1RB3LA1LA1RA1RA 2LB2RA---4RB1LB Add source link Tag: Visual edit
- 21:3821:38, 25 March 2025 diff hist +472 N 1RB3LA1LA1RA1RA 2LB2RA---4RB1LB Created page with "{{machine|1RB3LA1LA1RA1RA_2LB2RA---4RB1LB}} {{TM|1RB3LA1LA1RA1RA_2LB2RA---4RB1LB}} is a BB(2,5) TM that appears to be a Cryptid Analysis by mxdys and Racheline: <pre> 1RB3LA1LA1RA1RA_2LB2RA---4RB1LB start: A(4,4) A(a,3+a+b) --> A(4+2a,b) A(a,2+a) --> B(2a+2,3) A(a,1+a) --> halt A(b+a,b) --> B(a,2b) B(3a+1,b) --> A(4,2+5a+b) B(3a+2,b) --> B(5+5a+b,2) B(3a+0,b) --> B(3+5a+b,0) A(a,b) := 0^inf 1 4^a 1^4 A> 1^b 2 0^inf B(a,b) := 0^inf 1 4^a 1^3+b A> 11 0^inf </pre>"
22 March 2025
- 20:1320:13, 22 March 2025 diff hist +260 Skelet 1 Add link to repo Tag: Visual edit
13 March 2025
- 16:2716:27, 13 March 2025 diff hist +11 Bigfoot Add savask as co-discoverer Tag: Visual edit
12 March 2025
- 21:0321:03, 12 March 2025 diff hist 0 m Turing machine →Example: A shift champion: Fix TM table Tag: Visual edit
10 March 2025
- 20:5320:53, 10 March 2025 diff hist −9 m Antihydra No edit summary
8 March 2025
- 00:4200:42, 8 March 2025 diff hist +13 Probvious Cleanup some confusing sentences Tag: Visual edit
7 March 2025
- 06:2306:23, 7 March 2025 diff hist +2 BB(2,5) Fix link Tag: Visual edit