User contributions for Mxdys

17 June 2025

• 13:1613:16, 17 June 2025 diff hist +192 m 1RB1LC 1LA1RE 0RD0LA 1RZ1LB 1LD0RF 0RD1RB →Analysis Tag: Visual edit
• 12:4412:44, 17 June 2025 diff hist 0 m 1RB1LC 1LA1RE 0RD0LA 1RZ1LB 1LD0RF 0RD1RB fix typo Tag: Visual edit
• 06:1706:17, 17 June 2025 diff hist −22 m 1RB1LC 1LA1RE 0RD0LA 1RZ1LB 1LD0RF 0RD1RB No edit summary Tag: Visual edit: Switched
• 06:1506:15, 17 June 2025 diff hist +2,469 N 1RB1LC 1LA1RE 0RD0LA 1RZ1LB 1LD0RF 0RD1RB Created page with "{{machine|1RB1LC_1LA1RE_0RD0LA_1RZ1LB_1LD0RF_0RD1RB}} {{TM|1RB1LC_1LA1RE_0RD0LA_1RZ1LB_1LD0RF_0RD1RB|halt}} Current BB(6) Champion. Discovered by mxdys on 16 June 2025. The halting t steps. It's in a family of 6 machines with the halting time and sigma score between 10↑↑11010000 and 10↑↑11011000: <pre> 1RB1LC_1LA1RE_0RD0LA_---1LB_1LD0RF_0RD1RB 1RB1LC_1LA1RE_0RD0LA_---1LB_1LE0RF_0RD1RB 1RB1LC_1LA1RD_1LA0LA_1LD0RE_0RF1RB_---1LB 1RB1LC_1LA1RD_1LA0LA_1LD0RE_0R..." Tag: Visual edit: Switched
• 05:1105:11, 17 June 2025 diff hist +1 Main Page update BB(6) lower bound Tag: Visual edit

8 May 2025

• 18:3518:35, 8 May 2025 diff hist +46 m Closed Tape Language →DFA generator Tag: Visual edit

12 April 2025

• 19:2219:22, 12 April 2025 diff hist +76 m Busy Beaver for lambda calculus update BBλ(46) champion (trivial) Tag: Visual edit

11 April 2025

• 17:5517:55, 11 April 2025 diff hist −235 m Busy Beaver for lambda calculus update BBλ(45) champion (trivial) Tag: Visual edit
• 13:4613:46, 11 April 2025 diff hist +328 Busy Beaver for lambda calculus update BBλ(43) champion Tag: Visual edit
• 10:5410:54, 11 April 2025 diff hist +74 m Busy Beaver for lambda calculus update BBλ(42) champion (trivial) Tag: Visual edit
• 10:1710:17, 11 April 2025 diff hist +134 m Busy Beaver for lambda calculus add champion of size 41 Tag: Visual edit

10 April 2025

• 20:0420:04, 10 April 2025 diff hist +66 m Busy Beaver for lambda calculus update BBλ(40) champion Tag: Visual edit
• 18:2618:26, 10 April 2025 diff hist +4 m Busy Beaver for lambda calculus fix typo in BBλ(36) Tag: Visual edit

7 April 2025

• 23:5023:50, 7 April 2025 diff hist +94 Sequences group by position in arithmetical hierarchy Tag: Visual edit

11 March 2025

• 18:0018:00, 11 March 2025 diff hist +65 Closed Tape Language fix RWL_mod definition
• 02:0202:02, 11 March 2025 diff hist +1 m Closed Tape Language fix format Tag: Visual edit

10 March 2025

• 18:0718:07, 10 March 2025 diff hist +3,894 Closed Tape Language add some MitM CTL tricks used in BB(6) Tag: Visual edit

25 November 2024

• 10:4110:41, 25 November 2024 diff hist +492 N 1RB0LB 1LC0RE 1LA1LD 0LC--- 0RB0RF 1RE1RB add classic cryptid #5
• 10:3610:36, 25 November 2024 diff hist +124 m BB(6) add classic cryptid #5

24 November 2024

• 11:0511:05, 24 November 2024 diff hist +134 m Code repositories add https://github.com/ccz181078/busycoq/tree/BB6/verify Tag: Visual edit

16 November 2024

• 08:1408:14, 16 November 2024 diff hist +1,080 Inductive Proof System unification in inductive decider Tag: Visual edit

15 November 2024

• 21:4721:47, 15 November 2024 diff hist +2,605 Inductive Proof System Find and Prove Rules in Inductive Decider Tag: Visual edit
• 20:0420:04, 15 November 2024 diff hist +2,789 Inductive Proof System tape compression methods for inductive decider Tag: Visual edit

15 October 2024

• 00:2600:26, 15 October 2024 diff hist +385 N 1RB0LD 1RC1RF 1LA0RA 0LA0LE 1LD1LA 0RB--- Created page with "{{machine|1RB0LD_1RC1RF_1LA0RA_0LA0LE_1LD1LA_0RB---}} This is a BB(6) Cryptid found by @dyuan01 and shared on Discord on 04 Sep 2024. == Rules == <pre> start: (1,0) (3b+0,c+1) --> (4b+5,c) (3b+1,c) --> (4b+2,c+4) (3b+2,c+1) --> (4b+6,c+7) (3(3(3(3b+2)+1)+1)+0,0) --> halt (b,c) := 0^inf 110 A> 0^b 10^c 01 0^inf </pre> For simplicity only one potential halting rule is shown."
• 00:2000:20, 15 October 2024 diff hist +61 BB(6) add 4th non-halt cryptid in bb6

14 October 2024

• 19:5619:56, 14 October 2024 diff hist +387 N 1RB1LD 1RC1RE 0LA1LB 0LD1LC 1RF0RA ---0RC Created page with "{{machine|1RB1LD_1RC1RE_0LA1LB_0LD1LC_1RF0RA_---0RC}} This is a BB(6) Cryptid found by @mxdys and shared on Discord on 20 Aug 2024. == Analysis by @mxdys == <pre> 1RB1LD_1RC1RE_0LA1LB_0LD1LC_1RF0RA_---0RC start: (0,0) (3x+0,y) --> (4x+4,y+1) (3x+1,y+1) --> (4x+5,y+2) (3x+2,y) --> (4x+8,max(0,y-1)) (3x+1,0) --> halt (x,y) := 0^inf 110 <B 11011 01^x 011^y 0^inf </pre>"
• 19:5319:53, 14 October 2024 diff hist +61 BB(6) add 3rd non-halt cryptid in bb6 Tag: Visual edit: Switched

17 August 2024

• 11:2611:26, 17 August 2024 diff hist +543 Beaver Math Olympiad add BMO for 1RB0LD_1LC0RA_1RA1LB_1LA1LE_1RF0LC_---0RE

13 August 2024

• 06:3506:35, 13 August 2024 diff hist +15 m Collatz-like fix typo
• 06:3206:32, 13 August 2024 diff hist 0 m Collatz-like fix typo
• 05:0105:01, 13 August 2024 diff hist +54 m 1RB0LD 1LC0RA 1RA1LB 1LA1LE 1RF0LC ---0RE fix format Tag: Visual edit: Switched
• 04:5904:59, 13 August 2024 diff hist +54 m 1RB1RC 1LC1LE 1RA1RD 0RF0RE 1LA0LB ---1RA fix
• 04:3804:38, 13 August 2024 diff hist +2,088 N 1RB0LD 1LC0RA 1RA1LB 1LA1LE 1RF0LC ---0RE Created page with "This is a potential Cryptid found by @mxdys and shared on Discord on 7 Aug 2024. == Analysis by @mxdys == <pre> 1RB0LD_1LC0RA_1RA1LB_1LA1LE_1RF0LC_---0RE start from (2,3) (a,b+a+2) --> (2a+3,b) (a+b+1,b) --> (2,a+4b+5) (a,a) --> halt not used? (a,a+1) --> (2,2a+4) only used once? (a,b) := 0^inf 01^a 110 A> 1^(2b+1) 0^inf example: (2,3)--> (2,8)-->(7,4)--> (2,23)-->(7,19)-->(17,10)--> (2,51)-->(7,47)-->(17,38)-->(37,19)--> (2,98)-->(7,94)-->(17,85)-->(..."
• 04:2204:22, 13 August 2024 diff hist +861 N 1RB1RC 1LC1LE 1RA1RD 0RF0RE 1LA0LB ---1RA Antihydra variant
• 04:1204:12, 13 August 2024 diff hist +235 BB(6) No edit summary
• 04:0104:01, 13 August 2024 diff hist 0 m BB(6) update holdout amount Tag: Visual edit

10 August 2024

• 09:3609:36, 10 August 2024 diff hist +3 Main Page update BB(2,5) lower bound Tag: Visual edit

4 August 2024

• 02:0302:03, 4 August 2024 diff hist +203 Sync bi-counter add description of decider Tag: Visual edit

1 August 2024

• 06:2406:24, 1 August 2024 diff hist +119 Sync bouncer counter add link to Coq proof Tag: Visual edit
• 06:2306:23, 1 August 2024 diff hist +119 Bell eats counter link to Coq proof Tag: Visual edit

21 July 2024

• 14:3514:35, 21 July 2024 diff hist +213 N 1RB1LF 1LB1LC 1RD0LE ---0RB 0RC0LA 1RC0RF Created page with "This is a chaotic-looking TM in BB(6) holdouts. It's suspected to be a translated cycler with high period and very hard to accelerate, because many other similar looking TMs become translated cycler in 2e10 steps."

15 July 2024

• 06:0206:02, 15 July 2024 diff hist 0 m Shift rule fix typo Tag: Visual edit

30 June 2024

• 03:1803:18, 30 June 2024 diff hist +1 m Cryptids fix format

20 June 2024

• 17:4617:46, 20 June 2024 diff hist +37 m Holdouts lists add note Tag: Visual edit

30 May 2024

• 09:5109:51, 30 May 2024 diff hist +714 N Sync bouncer counter init, add definition and examples Tag: Visual edit

29 May 2024

• 14:1914:19, 29 May 2024 diff hist +91 m Bell eats counter →Examples

28 May 2024

• 20:2120:21, 28 May 2024 diff hist +824 N Bell eats counter init, add definition and examples Tag: Visual edit
• 19:3519:35, 28 May 2024 diff hist +1,676 N History linear init, add definition and examples Tag: Visual edit
• 19:1419:14, 28 May 2024 diff hist +798 N Sync bi-counter init, add definition and examples Tag: Visual edit
• 18:5718:57, 28 May 2024 diff hist +953 N Shift overflow bouncer counter init, add definition and examples Tag: Visual edit