User contributions for Int-y1
Jump to navigation
Jump to search
9 September 2025
- 05:5105:51, 9 September 2025 diff hist 0 m 1RB0RE 1LC0RA 1LA1LD 1LC1LF 0LC0LB 1LE--- change steps->rules, for clarity current
- 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 current
8 September 2025
- 09:3509:35, 8 September 2025 diff hist +58 1RB1LE 1LC0RA 0RF0LD 1LE1LA 1RC0LB ---1RC No edit summary current
- 09:2909:29, 8 September 2025 diff hist +195 1RB1LE 1LC0RA 0RF0LD 1LE1LA 1RC0LB ---1RC add new simulation result
1 September 2025
- 11:1011:10, 1 September 2025 diff hist +16 TMBR: August 2025 machines proved nonhalting
- 04:1304:13, 1 September 2025 diff hist −70 m 1RB1LE 1LC0RA 0RF0LD 1LE1LA 1RC0LB ---1RC caption
- 04:1204:12, 1 September 2025 diff hist +69 1RB1LE 1LC0RA 0RF0LD 1LE1LA 1RC0LB ---1RC add caption
- 04:0604:06, 1 September 2025 diff hist +23 1RB1LE 1LC0RA 0RF0LD 1LE1LA 1RC0LB ---1RC change to gallery
- 03:5203:52, 1 September 2025 diff hist +46 1RB1LE 1LC0RA 0RF0LD 1LE1LA 1RC0LB ---1RC add unsolved problem
31 August 2025
- 10:0910:09, 31 August 2025 diff hist +929 1RB1LE 1LC0RA 0RF0LD 1LE1LA 1RC0LB ---1RC add python program
- 10:0910:09, 31 August 2025 diff hist −1 m 1RB1LC 1LA1RE 0RD0LA 1RZ1LB 1LD0RF 0RD1RB grammar current
29 August 2025
- 10:3810:38, 29 August 2025 diff hist −1 TMBR: August 2025 add a probviously halting cryptid
28 August 2025
- 09:0309:03, 28 August 2025 diff hist +34 m Shift rule add category current
- 09:0309:03, 28 August 2025 diff hist +34 m Permutation add category current
- 08:5108:51, 28 August 2025 diff hist +309 Green's machines they are not champions 🥀 current
- 08:3908:39, 28 August 2025 diff hist +2 m 1RB1LE 1LC0RA 0RF0LD 1LE1LA 1RC0LB ---1RC pronoun
26 August 2025
- 05:1305:13, 26 August 2025 diff hist +1,323 Talk:Non-halting Turing machine →1RB0LC_1LA1RD_1RA1LD_0LA0RB: new section current
25 August 2025
- 09:5309:53, 25 August 2025 diff hist 0 m 1RB1LE 1LC0RA 0RF0LD 1LE1LA 1RC0LB ---1RC format
- 09:4409:44, 25 August 2025 diff hist +12 m BB(6) syntaxhighlight again
- 09:4309:43, 25 August 2025 diff hist +2 m BB(6) syntaxhighlight
- 09:3809:38, 25 August 2025 diff hist +2 m Block Analysis No edit summary current
- 09:3509:35, 25 August 2025 diff hist −22 m Template:Unsolved/styles.css pp-template looks pointless current
- 09:2909:29, 25 August 2025 diff hist −18 m 1RB2LA1LA 2LA0RA2RC ---1RB2RA Changed redirect target from 1RB2LA1LA 2LA0RA2RC ---0LC2RA to Wily Coyote current Tag: Redirect target changed
- 09:2809:28, 25 August 2025 diff hist −1 m User:Icy/Non-halting Turing Machines Changed redirect target from Non-halting Turing Machines to Non-halting Turing machine current Tag: Redirect target changed
- 09:2709:27, 25 August 2025 diff hist 0 Translated Cyclers Changed redirect target from Translated Cycler to Translated cycler current Tag: Redirect target changed
- 09:1709:17, 25 August 2025 diff hist +37 Coq-BB5 link rocq to wikipedia current
- 09:1609:16, 25 August 2025 diff hist +6 m Coq-BB5 bold name
- 09:1609:16, 25 August 2025 diff hist −16 m BB(5) coq -> rocq
- 09:1509:15, 25 August 2025 diff hist +57 Main Page more rocq details
- 09:1309:13, 25 August 2025 diff hist +7 m BB(3,3) coq -> rocq
- 09:1209:12, 25 August 2025 diff hist +26 Coq-BB5 No edit summary
- 09:1009:10, 25 August 2025 diff hist +1 m 1RB0LD 1RC1RA 1LD0RB 1LE1LA 1RF0RC ---1RE coq -> rocq
- 09:1009:10, 25 August 2025 diff hist +1 m Champions coq -> rocq
- 09:0909:09, 25 August 2025 diff hist +1 m 1RB0LD 1LC0RA 1RA1LB 1LA1LE 1RF0LC ---0RE coq -> rocq current
- 09:0909:09, 25 August 2025 diff hist +1 m 1RB1RA 1RC1RZ 1LD0RF 1RA0LE 0LD1RC 1RA0RE coq -> rocq current
- 09:0909:09, 25 August 2025 diff hist +2 m 1RB3LA4RB0RB2LA 1LB2LA3LA1RA1RZ coq -> rocq current
- 09:0809:08, 25 August 2025 diff hist −9 m Main Page coq -> rocq
- 09:0709:07, 25 August 2025 diff hist +1 m 1RB1RC 1LC1LE 1RA1RD 0RF0RE 1LA0LB ---1RA coq -> rocq current
- 09:0609:06, 25 August 2025 diff hist +1 m Bell eats counter coq -> rocq current
- 09:0509:05, 25 August 2025 diff hist +1 m Sync bouncer counter coq -> rocq current
- 09:0509:05, 25 August 2025 diff hist +9 m BB(2,5) coq -> rocq
- 09:0409:04, 25 August 2025 diff hist +3 m Code repositories coq -> rocq current
- 09:0309:03, 25 August 2025 diff hist +5 m Closed Position Set coq -> rocq current
- 09:0109:01, 25 August 2025 diff hist +1 m Coq-BB5 coq -> rocq
- 08:5608:56, 25 August 2025 diff hist +31 N 1RB2LB1LC 1LA2RB1RB 1RZ2LA0LC Redirected page to Surprise in a Box current Tag: New redirect
- 08:5108:51, 25 August 2025 diff hist +7 Tₘ function stub current
- 08:5008:50, 25 August 2025 diff hist −8 Wily Coyote bold name current
- 08:4508:45, 25 August 2025 diff hist +9 Papers & Talks stub
- 08:4508:45, 25 August 2025 diff hist +6 m Longitudinal Analysis bold name current