User contributions for Int-y1

04:4104:41, 27 September 2025 diff hist +20 m 1RB--- 0RC1RD 1LA0LA 1LE0RB 1LF1LE 1LC0LD add category BB(6)
04:4104:41, 27 September 2025 diff hist 0 m 1RB--- 0RC0RE 1RD1RF 1LE0LB 1RC0LD 1RC1RA category order current
04:4004:40, 27 September 2025 diff hist −14 m Antihydra add category BB(6)
04:3804:38, 27 September 2025 diff hist +18 1RB--- 0RC0RE 1RD1RF 1LE0LB 1RC0LD 1RC1RA add category BB(6)
04:3604:36, 27 September 2025 diff hist +40 N Category:BB(6) Created page with "Pages related to the study of BB(6)."
02:5402:54, 27 September 2025 diff hist +55 N 1RB1RF 1RC1RA 1LD0LE 1RB0LC 0RB0RD 1RE--- Redirected page to 1RB--- 0RC0RE 1RD1RF 1LE0LB 1RC0LD 1RC1RA current Tag: New redirect
02:5402:54, 27 September 2025 diff hist +55 N 1RB0LC 1RC1RE 1LA0LD 0RB0RA 1RB1RF 1RD--- Redirected page to 1RB--- 0RC0RE 1RD1RF 1LE0LB 1RC0LD 1RC1RA current Tag: New redirect
02:5302:53, 27 September 2025 diff hist +55 N 1RB1RD 1LC0LE 1RA0LB 1RA1RF 0RA0RC 1RE--- Redirected page to 1RB--- 0RC0RE 1RD1RF 1LE0LB 1RC0LD 1RC1RA current Tag: New redirect
02:5302:53, 27 September 2025 diff hist −86 1RB--- 0RC0RE 1RD1RF 1LE0LB 1RC0LD 1RC1RA no B
02:5102:51, 27 September 2025 diff hist −25 1RB--- 0RC0RE 1RD1RF 1LE0LB 1RC0LD 1RC1RA No edit summary
02:4402:44, 27 September 2025 diff hist +626 1RB--- 0RC0RE 1RD1RF 1LE0LB 1RC0LD 1RC1RA use Permute.py
02:2602:26, 27 September 2025 diff hist +97 m 1RB--- 0RC0RE 1RD1RF 1LE0LB 1RC0LD 1RC1RA update discord messages
02:2402:24, 27 September 2025 diff hist −4,000 1RB0RE 1LC0RA 1LA1LD 1LC1LF 0LC0LB 1LE--- change to redirect. these 2 machines have pretty much identical analysis. current Tag: New redirect
02:2302:23, 27 September 2025 diff hist +4,351 1RB--- 0RC0RE 1RD1RF 1LE0LB 1RC0LD 1RC1RA transfer info from 1RB0RE_1LC0RA_1LA1LD_1LC1LF_0LC0LB_1LE---

03:1303:13, 23 September 2025 diff hist −1 Beeping Busy Beaver rename heading

08:5008:50, 22 September 2025 diff hist +262 1RB0LF 1RC1RA 1LD0RE 1LB1LD ---1RC 1RC1LA rocq proof
03:3503:35, 22 September 2025 diff hist +12 1RB0LF 1RC1RA 1LD0RE 1LB1LD ---1RC 1RC1LA non-halting
03:3203:32, 22 September 2025 diff hist +341 Sequences add BBλ_1, move BBBB to Π3

23:0623:06, 21 September 2025 diff hist +4 m Sequences link
23:0523:05, 21 September 2025 diff hist +190 Sequences add BBλ
22:5922:59, 21 September 2025 diff hist +117 Sequences add 2 antihydra sequences
22:4722:47, 21 September 2025 diff hist +10 m 1RB0LF 1RC1RA 1LD0RE 1LB1LD ---1RC 1RC1LA headings
22:4022:40, 21 September 2025 diff hist +56 1RB1RA 1LC1LE 1RE0LD 1LC0LF 1RZ0RA 0RA0LB no rocq
22:3622:36, 21 September 2025 diff hist −8 m 1RB1LF 1LB1LC 1RD0LE ---0RB 0RC0LA 1RC0RF not really a stub anymore
22:3522:35, 21 September 2025 diff hist +204 1RB1LF 1LB1LC 1RD0LE ---0RB 0RC0LA 1RC0RF rocq proof
22:2722:27, 21 September 2025 diff hist −1 m 1RB0RE 1LC0RA 1LA1LD 1LC1LF 0LC0LB 1LE--- grammar
22:2522:25, 21 September 2025 diff hist +115 1RB0RC 1RC0LC 0RD1LE 1LE1RF 0LB--- 0RA1LA rocq proof
22:1822:18, 21 September 2025 diff hist +217 1RB0LE 1LC1RA ---1LD 0RB1LF 1RD1LA 0LA0RD rocq proof
22:1122:11, 21 September 2025 diff hist +262 1RB0LD 1RC0RC 1LA0RD 1RC1LE 0LF--- 1LA0RC rocq proof
21:5421:54, 21 September 2025 diff hist +55 N 1RB1LA 1LC0RE 1LF1LD 0RA0LC 1LB1RA ---0LA Redirected page to 1RB0LC 1LC0RD 1LF1LA 1LB1RE 1RB1LE ---0LE current Tag: New redirect
21:5321:53, 21 September 2025 diff hist +55 N 1RB1LA 1LC0RE 1LF1LD 1RB0LC 1LB1RA ---0LA Redirected page to 1RB0LC 1LC0RD 1LF1LA 1LB1RE 1RB1LE ---0LE current Tag: New redirect
21:5321:53, 21 September 2025 diff hist +247 1RB0LC 1LC0RD 1LF1LA 1LB1RE 1RB1LE ---0LE equivalence class

05:5105:51, 9 September 2025 diff hist 0 m 1RB0RE 1LC0RA 1LA1LD 1LC1LF 0LC0LB 1LE--- change steps->rules, for clarity
05:4705:47, 9 September 2025 diff hist +4,056 N 1RB0RE 1LC0RA 1LA1LD 1LC1LF 0LC0LB 1LE--- Created page with "{{machine|1RB0RE_1LC0RA_1LA1LD_1LC1LF_0LC0LB_1LE---}}{{unsolved|Does this TM halt? If so, how many steps does it take to halt?}} {{TM|1RB0RE_1LC0RA_1LA1LD_1LC1LF_0LC0LB_1LE---}} is a BB(6) holdout TM analyzed by @-d on August 2025. @-d believes that this TM is probviously halting because it chooses 3 steps seemingly at random, and there is a path of 108 steps that cause the TM will halt. == Analysis by @-d == Message sent on Aug 13 2025: [https://discord.com/chann..."
05:3805:38, 9 September 2025 diff hist −1 m 1RB0LD 1RC1RA 1LD0RB 1LE1LA 1RF0RC ---1RE double space