User contributions for Mxdys

10 April 2026

• 05:2505:25, 10 April 2026 diff hist −42 m Beaver Math Olympiad →8. {{TM|1RB0LD_0RC0RF_0RD0RA_1LE0RD_1LF---_0LA1LA|undecided}}
• 05:2105:21, 10 April 2026 diff hist −91 m Beaver Math Olympiad →8. {{TM|1RB0LD_0RC0RF_0RD0RA_1LE0RD_1LF---_0LA1LA|undecided}}
• 05:1205:12, 10 April 2026 diff hist +756 Beaver Math Olympiad →Unsolved problems

29 November 2025

• 09:3409:34, 29 November 2025 diff hist −12 m 1RB1LA 1RC1RE 1LD0RB 1LA0LC 0RF0RD 0RB--- →Analysis by mxdys Tag: Visual edit

3 October 2025

• 19:5919:59, 3 October 2025 diff hist +43 m 1RB--- 0RC1RD 1LA0LA 1LE0RB 1LF1LE 1LC0LD No edit summary current Tag: Visual edit
• 19:5819:58, 3 October 2025 diff hist +791 m 1RB--- 0RC1RD 1LA0LA 1LE0RB 1LF1LE 1LC0LD Undo revision 4205 by Mxdys (talk) Tag: Undo
• 19:5719:57, 3 October 2025 diff hist −791 m 1RB--- 0RC1RD 1LA0LA 1LE0RB 1LF1LE 1LC0LD No edit summary Tag: Visual edit

28 September 2025

• 10:1910:19, 28 September 2025 diff hist +90 Beaver Math Olympiad →7. 1RB1RF_1RC0RA_1LD1RC_1LE0LE_0RA0LD_0RB--- (bbch) Tag: Visual edit
• 09:3409:34, 28 September 2025 diff hist +6 Beaver Math Olympiad →7. 1RB1RF_1RC0RA_1LD1RC_1LE0LE_0RA0LD_0RB--- (bbch) Tag: Visual edit
• 09:3109:31, 28 September 2025 diff hist +644 Beaver Math Olympiad add BMO7

2 September 2025

• 14:0714:07, 2 September 2025 diff hist +21 m TMBR: August 2025 →Holdouts Tag: Visual edit

29 August 2025

• 15:4715:47, 29 August 2025 diff hist +1 m Beaver Math Olympiad No edit summary Tag: Visual edit
• 15:4615:46, 29 August 2025 diff hist +22 m Beaver Math Olympiad f^0 is necessary for the inductive definition of iteration Tag: Undo

27 August 2025

• 18:1718:17, 27 August 2025 diff hist +18 m Beaver Math Olympiad →6. 1RB1LA_1LC0RE_1LF1LD_0RB0LA_1RC1RE_---0LD (bbch) Tag: Visual edit
• 18:1218:12, 27 August 2025 diff hist +100 m Beaver Math Olympiad →6. 1RB1LA_1LC0RE_1LF1LD_0RB0LA_1RC1RE_---0LD (bbch) Tag: Visual edit

28 June 2025

• 13:5913:59, 28 June 2025 diff hist +816 1RB1RA 1RC1RZ 1LD0RF 1RA0LE 0LD1RC 1RA0RE →Analysis by mxdys Tag: Visual edit

26 June 2025

• 10:3910:39, 26 June 2025 diff hist 0 m BB(6) No edit summary Tag: Visual edit
• 10:3610:36, 26 June 2025 diff hist −1 m 1RB1LC 1LA1RE 0RD0LA 1RZ1LB 1LD0RF 0RD1RB No edit summary
• 10:3610:36, 26 June 2025 diff hist +5 Main Page No edit summary Tag: Visual edit
• 10:3510:35, 26 June 2025 diff hist +1,488 N 1RB1RA 1RC1RZ 1LD0RF 1RA0LE 0LD1RC 1RA0RE Created page with "{{machine|1RB1RA_1RC1RZ_1LD0RF_1RA0LE_0LD1RC_1RA0RE}} {{TM|1RB1RA_1RC1RZ_1LD0RF_1RA0LE_0LD1RC_1RA0RE|halt}} Current BB(6) Champion. Discovered by mxdys on 25 June 2025. It's in a family of 4 machines with the halting time and sigma score between 2↑↑2↑↑2↑↑9 and 2↑↑2↑↑2↑↑10: <pre> 1RB1RA_1RC---_1LD0RF_1RA0LE_0LD1RC_1RA0RE (hereafter referred to as TM1) 1RB---_1LC0RF_1RE0LD_0LC1RB_1RA1RE_1RE0RD (TM2) 1RB0LE_1RC1RB_1RD---_1LA0RF_0LA1RD_1RB0RE (T..."

20 June 2025

• 18:1318:13, 20 June 2025 diff hist +611 1RB1LC 1LA1RE 0RD0LA 1RZ1LB 1LD0RF 0RD1RB No edit summary Tag: Visual edit

18 June 2025

• 05:4705:47, 18 June 2025 diff hist +42 m 1RB1LC 1LA1RE 0RD0LA 1RZ1LB 1LD0RF 0RD1RB No edit summary Tag: Visual edit

17 June 2025

• 13:1713:17, 17 June 2025 diff hist +1 m 1RB1LC 1LA1RE 0RD0LA 1RZ1LB 1LD0RF 0RD1RB →Analysis Tag: Visual edit
• 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