User contributions for Sligocki

30 March 2025

• 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
• 05:2305:23, 7 March 2025 diff hist −46 m 1RB--- 0LC1RE 0LD1LC 1RA1LB 0RB0RA No edit summary current

6 March 2025

• 17:1017:10, 6 March 2025 diff hist +104 Lucy's Moonlight Mention 5% chance Tag: Visual edit
• 17:0817:08, 6 March 2025 diff hist +4,649 Lucy's Moonlight Add my analysis Tag: Visual edit

5 March 2025

• 21:1021:10, 5 March 2025 diff hist −31 m Cryptids Use wikilink Tag: Visual edit: Switched

3 March 2025

• 23:4523:45, 3 March 2025 diff hist −29 m Antihydra →Analysis Tag: Visual edit
• 23:4123:41, 3 March 2025 diff hist +798 Antihydra →Analysis: Add connection to hydra function. Tag: Visual edit: Switched
• 18:1218:12, 3 March 2025 diff hist +14 BB(4,3) Switch from BB to S & Sigma Tag: Visual edit
• 15:5915:59, 3 March 2025 diff hist +392 BB(4,3) No edit summary Tag: Visual edit: Switched
• 15:5515:55, 3 March 2025 diff hist +27 Main Page List new known lower bound for BB(4,3) Tag: Visual edit

2 March 2025

• 18:2118:21, 2 March 2025 diff hist −668 Lucy's Moonlight Add detail clarification from racheline Tag: Visual edit
• 18:1418:14, 2 March 2025 diff hist +117 1RB0RC 0LC0LB 0LD1LC 0LE1LA 0LF--- 1RF1RA Oops, looks like it was actually proven halting! Tag: Visual edit
• 18:0618:06, 2 March 2025 diff hist +765 N 1RB0LE 1LC1RA ---1LD 0RB1LF 1RD1LA 0LA0RD Created page with "{{machine|1RB0LE_1LC1RA_---1LD_0RB1LF_1RD1LA_0LA0RD}} {{TM|1RB0LE_1LC1RA_---1LD_0RB1LF_1RD1LA_0LA0RD}} is an non-halting BB(6) Turing machine. Analysis by @racheline on 29 July 2024 ([https://discord.com/channels/960643023006490684/1239205785913790465/1267551868997992652 Discord link]): <pre> 1RB0LE_1LC1RA_---1LD_0RB1LF_1RD1LA_0LA0RD A(n) = 0^inf <A 0 1^n rules: A(6n) -> A(12n+3) A(6n+1) -> A(12n+6) A(6n+2) -> halt A(6n+3) -> A(9n+9) A(6n+4) -> halt A(6n+5) -> A(9..."
• 17:4317:43, 2 March 2025 diff hist +947 N 1RB0RC 0LC0LB 0LD1LC 0LE1LA 0LF--- 1RF1RA Created page with "{{machine|1RB0RC_0LC0LB_0LD1LC_0LE1LA_0LF---_1RF1RA}} {{TM|1RB0RC_0LC0LB_0LD1LC_0LE1LA_0LF---_1RF1RA}} is a tetrational BB(6) Cryptid found by Racheline on 30 July 2024 ([https://discord.com/channels/960643023006490684/1239205785913790465/1267805112651350107 Discord link]). It is neither probviously halting or probviously non-halting. Racheline estimates that it has a 2/3 chance of become a Translated Cycler and 1/3 chance of halting eventually. <pre> 1R..." Tag: Visual edit: Switched
• 17:3417:34, 2 March 2025 diff hist 0 m BB(6) →Cryptids Tag: Visual edit
• 16:5416:54, 2 March 2025 diff hist +436 BB(6) →Cryptids: Add list of tetrational TMs Tag: Visual edit: Switched
• 16:5116:51, 2 March 2025 diff hist +1,936 N Lucy's Moonlight Created page with "{{machine|1RB0RD_0RC1RE_1RD0LA_1LE1LC_1RF0LD_---0RA}} {{TM|1RB0RD_0RC1RE_1RD0LA_1LE1LC_1RF0LD_---0RA}} is a probviously halting tetrational BB(6) Cryptid found by Racheline on 1 Mar 2025 ([https://discord.com/channels/960643023006490684/1239205785913790465/1345551751016878272 Discord link]). <pre> f(3n) = 8n+3 f(3n+1) = 8n+11 f(3n+2) = 8n+12 a_0 = 4 a_(n+1) = f(a_n) b_0 = 0 b_(n+1) = b_n+(1 if 3|a_n else 2) c_0 = 14(?) c_(n+1) is somewhere around the smalles..."
• 16:4716:47, 2 March 2025 diff hist +740 N 1RB0LC 1LC0RD 1LF1LA 1LB1RE 1RB1LE ---0LE Created page with "{{machine|1RB0LC_1LC0RD_1LF1LA_1LB1RE_1RB1LE_---0LE}} {{TM|1RB0LC_1LC0RD_1LF1LA_1LB1RE_1RB1LE_---0LE}} is a probviously halting tetrational BB(6) Cryptid found by Racheline on 23 Nov 2024 ([https://discord.com/channels/960643023006490684/1239205785913790465/1310044618632593409 Discord link]). <blockquote> 1RB0LC_1LC0RD_1LF1LA_1LB1RE_1RB1LE_---0LE is a tetrational probviously halting cryptid. the lower bound for when it halts is around 10^10^120395, and with..."
• 16:4316:43, 2 March 2025 diff hist 0 m 1RB1LE 0LC0LB 1RD1LC 1RD1RA 1RF0LA ---1RE No edit summary Tag: Visual edit: Switched
• 16:4316:43, 2 March 2025 diff hist +2,547 N 1RB1LE 0LC0LB 1RD1LC 1RD1RA 1RF0LA ---1RE Created page with "{{machine|1RB1LE_0LC0LB_1RD1LC_1RD1RA_1RF0LA_---1RE}} {{TM|1RB0LC_0LC0RF_1RD1LC_0RA1LE_---0LD_1LF1LA}} is a tetrational BB(6) Cryptid found by Racheline on 30 July 2024 ([https://discord.com/channels/960643023006490684/1239205785913790465/1267788732300398647 Discord link]). It is the first discovered Cryptid which is neither probviously halting or probviously non-halting. Racheline estimates that it has a 3/5 chance of become a Translated Cycler and 2/5 c..."
• 16:3816:38, 2 March 2025 diff hist +1,451 N 1RB0LC 0LC0RF 1RD1LC 0RA1LE ---0LD 1LF1LA Created page with "{{machine|1RB0LC_0LC0RF_1RD1LC_0RA1LE_---0LD_1LF1LA}} {{TM|1RB0LC_0LC0RF_1RD1LC_0RA1LE_---0LD_1LF1LA}} is a probviously halting tetrational BB(6) Cryptid found by Racheline on 30 July 2024 ([https://discord.com/channels/960643023006490684/1239205785913790465/1267778444280725514 Discord link]). <pre> 1RB0LC_0LC0RF_1RD1LC_0RA1LE_---0LD_1LF1LA A(n,m) = 0^inf 1^n 0 F> (01)^m 0^inf A(2n,m) -> A(3n+6,m-3) A(2n+1,m) -> A(3n+4,m-1) A(2n,2) -> A(3n+5,0) A(2n+1,0) ->..."
• 16:3716:37, 2 March 2025 diff hist +191 m 1RB1RA 0RC1RC 1LD0LF 0LE1LE 1RA0LB ---0LC Add Discord links
• 16:3116:31, 2 March 2025 diff hist +921 N 1RB0RE 1LC1LD 0RA0LD 1LB0LA 1RF1RA ---1LB Created page with "{{machine|1RB0RE_1LC1LD_0RA0LD_1LB0LA_1RF1RA_---1LB}} {{TM|1RB0RE_1LC1LD_0RA0LD_1LB0LA_1RF1RA_---1LB}} is a probviously halting tetrational BB(6) Cryptid found by Racheline on 30 July 2024 ([https://discord.com/channels/960643023006490684/1239205785913790465/1267752546546487357 Discord link]). <pre> 1RB0RE_1LC1LD_0RA0LD_1LB0LA_1RF1RA_---1LB A(n,m) = 0^inf (01)^(3n-4) A> (01)^m 0^inf A(2n,m) -> A(3n,m-2) A(2n+1,m) -> A(3n+1,m-1) A(n,0) -> A(2,3n-4) A(n,-1) -..."
• 16:3016:30, 2 March 2025 diff hist +25 m 1RB1RE 1LC1LD ---1LA 1LB1LE 0RF0RA 1LD1RF No edit summary Tag: Visual edit: Switched
• 16:2816:28, 2 March 2025 diff hist −1 m 1RB1RE 1LC1LD ---1LA 1LB1LE 0RF0RA 1LD1RF No edit summary