User contributions for Sligocki
Jump to navigation
Jump to search
10 July 2024
- 03:0303:03, 10 July 2024 diff hist +287 5-state busy beaver winner Add Michel version of formula (which I think is much simpler). Tag: Visual edit
8 July 2024
- 20:5120:51, 8 July 2024 diff hist +50 1RB2LC1RC 2LC---2RB 2LA0LB0RA Add start config. Tag: Visual edit
- 04:2104:21, 8 July 2024 diff hist +713 N 1RB1RA 1LC0RE 0LF1LD 1LA1LC 1RA1RB ---0LD unbiased random walk
6 July 2024
- 13:2713:27, 6 July 2024 diff hist +25 Antihydra No edit summary Tags: Reverted Visual edit: Switched
3 July 2024
- 01:1301:13, 3 July 2024 diff hist +74 Cryptids →Larger Cryptids: Note 24 BB9 Hydra cryptids. Tag: Visual edit
- 01:0701:07, 3 July 2024 diff hist +448 Cryptids Split table of cryptids (at the edge vs larger) Tag: Visual edit: Switched
26 June 2024
- 20:1720:17, 26 June 2024 diff hist +18 1RB1RE 1LC0RA 0RD1LB ---1RC 1LF1RE 0LB0LE Fix config and add starting config. Tag: Visual edit
- 17:5517:55, 26 June 2024 diff hist +4,945 N 1RB1RE 1LC0RA 0RD1LB ---1RC 1LF1RE 0LB0LE Created page with "{{machine|1RB1RE_1LC0RA_0RD1LB_---1RC_1LF1RE_0LB0LE}} https://bbchallenge.org/1RB1RE_1LC0RA_0RD1LB_---1RC_1LF1RE_0LB0LE A BB(6) TM which is modeled by <pre> (a, c) -> (a-c-1, 4c+5) if a > c (a, c) -> (2a+2, c-a-1) if a < c (a, c) -> Halt if a = c </pre> for <code>(a, c) = 0^inf 10^a 0 1^c E> 0^inf</code>. It has seems like it could be a Cryptid since it seems hard to predict whether we could ever end up in <code>(n, n)</code>, but investigations are ongoing o..."
24 June 2024
- 04:3504:35, 24 June 2024 diff hist 0 N User talk:Sligocki Created blank page current
- 04:3404:34, 24 June 2024 diff hist +22 Inductive Proof System No edit summary Tag: Visual edit
- 03:4903:49, 24 June 2024 diff hist +143 1RB2LC1RC 2LC---2RB 2LA0LB0RA Note permutation Tag: Visual edit
- 03:4403:44, 24 June 2024 diff hist +22 N Cryptid Redirected page to Cryptids current Tags: New redirect Visual edit
- 03:4303:43, 24 June 2024 diff hist +30 1RB2LC1RC 2LC---2RB 2LA0LB0RA dyuan's rules Tag: Visual edit
- 03:4203:42, 24 June 2024 diff hist +1,724 1RB2LC1RC 2LC---2RB 2LA0LB0RA savask's rules
- 03:3803:38, 24 June 2024 diff hist +1,629 1RB2LC1RC 2LC---2RB 2LA0LB0RA →Shawn's Rules Tag: Visual edit: Switched
- 03:3003:30, 24 June 2024 diff hist +1,531 N 1RB2LC1RC 2LC---2RB 2LA0LB0RA Start discussion
21 June 2024
- 04:4404:44, 21 June 2024 diff hist +64 Closed Set No edit summary Tag: Visual edit
- 04:4104:41, 21 June 2024 diff hist +1,107 Closed Set No edit summary Tag: Visual edit: Switched
- 04:1804:18, 21 June 2024 diff hist +1,667 N Closed Set Create page on general Closed Set methods Tag: Visual edit: Switched
20 June 2024
- 19:2519:25, 20 June 2024 diff hist +324 N 1RB0LD 1RC0RF 1LC1LA 0LE1RZ 1LF0RB 0RC0RE Created page with "{{machine|1RB0LD_1RC0RF_1LC1LA_0LE1RZ_1LF0RB_0RC0RE}} https://bbchallenge.org/1RB0LD_1RC0RF_1LC1LA_0LE1RZ_1LF0RB_0RC0RE Current BB(6) Champion. Discovered by Pavel Kropitz on 30 May 2022. This TM runs for over 10↑↑15 steps. See analysis: [https://www.sligocki.com/2022/06/21/bb-6-2-t15.html BB(6, 2) > 10↑↑15]."
- 19:1319:13, 20 June 2024 diff hist −1 Main Page No edit summary Tag: Visual edit
- 19:1119:11, 20 June 2024 diff hist +152 Main Page Add BB7 for Cryptid coloration Tag: Visual edit: Switched
- 19:0719:07, 20 June 2024 diff hist +30 1RB0RC 1LC1LF 1RD0LB 1RZ0LE ---1RA 1LB0RE No edit summary Tag: Visual edit
- 19:0619:06, 20 June 2024 diff hist +32 1RB1RA 1LC1RF 1RE1LD 0RD1LB ---0RA 1RZ0LE No edit summary Tag: Visual edit
- 18:0518:05, 20 June 2024 diff hist +1,870 N 1RB0RC 1LC1LF 1RD0LB 1RZ0LE ---1RA 1LB0RE Created page with "{{machine|1RB0RC_1LC1LF_1RD0LB_1RZ0LE_---1RA_1LB0RE}} BB6 (with one unfilled transition) score/sigma champion: https://bbchallenge.org/1RB0RC_1LC1LF_1RD0LB_1RZ0LE_---1RA_1LB0RE does something sort of similar to 1RB1RA_1LC1RF_1RE1LD_0RD1LB_---0RA_1RZ0LE, but with A(a, 3k+r, c) -> A(a+4k, r, c) instead of the C(a, 3k+r, c) -> C(a, r, c+2k) above, so it gets about 2x tape size. <pre> 1RB0RC_1LC1LF_1RD0LB_1RZ0LE_---1RA_1LB0RE Steps: ~10^13.15788 = 14_384_000_997_..." Tag: Visual edit
- 18:0018:00, 20 June 2024 diff hist +811 N 1RB1RA 1LC1RF 1RE1LD 0RD1LB ---0RA 1RZ0LE Created page with "{{machine|1RB1RA_1LC1RF_1RE1LD_0RD1LB_---0RA_1RZ0LE}} AFAICT this is the current BB6 (with one unused transition) step champion: https://bbchallenge.org/1RB1RA_1LC1RF_1RE1LD_0RD1LB_---0RA_1RZ0LE <pre> 1RB1RA_1LC1RF_1RE1LD_0RD1LB_---0RA_1RZ0LE Steps: ~10^13.39223 = 24_673_582_891_560 Nonzeros: 2_323_223 = 2_323_223 C(a, b, c) = $ 1^a 0 1^b <C 1^2c+1 $ C(a, b+3, c) -> C(a, b, c+2) C(a, 0, c) -> C(a+1, 2c+1, 0) C(a, 1, c) -> C(0, a, c+1) C(0, 2, c) -> C(1, 2c+..." Tag: Visual edit: Switched
- 17:4917:49, 20 June 2024 diff hist +626 Skelet 1 Add some content and links Tag: Visual edit
- 03:0503:05, 20 June 2024 diff hist −6 Cryptids No edit summary Tag: Visual edit
16 June 2024
- 03:2603:26, 16 June 2024 diff hist +26 Shift rule →Simulation Acceleration Tag: Visual edit
- 03:2503:25, 16 June 2024 diff hist +31 Shift rule →Simulation Acceleration Tag: Visual edit
- 03:2403:24, 16 June 2024 diff hist +36 N Inductive rule Redirected page to Inductive Proof System current Tags: New redirect Visual edit
14 June 2024
- 20:0320:03, 14 June 2024 diff hist +402 Inductive Proof System No edit summary Tag: Visual edit
- 18:0218:02, 14 June 2024 diff hist +7 Decider →List of Deciders Tag: Visual edit
- 18:0218:02, 14 June 2024 diff hist +36 N Inductive Proof Redirected page to Inductive Proof System current Tags: New redirect Visual edit
- 18:0118:01, 14 June 2024 diff hist +242 N Inductive Proof System Stub Tag: Visual edit
- 17:5917:59, 14 June 2024 diff hist +62 N Transition rule Redirected page to Directed head notation#Configuration Transitions current Tags: New redirect Visual edit
- 17:1417:14, 14 June 2024 diff hist +21 N 1RB2RA1LC 2LC1RB2RB ---2LA1LA Redirected page to Bigfoot current Tags: New redirect Visual edit: Switched
- 17:1317:13, 14 June 2024 diff hist +42 Bigfoot No edit summary Tag: Visual edit
- 16:3916:39, 14 June 2024 diff hist +14 Main Page No edit summary Tag: Visual edit
- 16:3716:37, 14 June 2024 diff hist −4 Main Page No edit summary Tag: Visual edit
- 16:0716:07, 14 June 2024 diff hist +8 BB(5) No edit summary Tag: Visual edit
- 16:0716:07, 14 June 2024 diff hist +12 BB(5) →History Tag: Visual edit
- 15:4415:44, 14 June 2024 diff hist −17 5-state busy beaver winner No edit summary Tag: Visual edit
- 15:4215:42, 14 June 2024 diff hist +853 N Bigfoot Created page with "Category:Individual Machines '''Bigfoot''' is a BB(3, 3) Cryptid which simulates the Collatz-like function <math display="block">\begin{array}{l} A(a, & 6k, & c) & \to & A(a, & 8k+c-1, & 2) & \text{if} & 8k+c \ge 1 \\ A(a, & 6k+1, & c) & \to & A(a+1, & 8k+c-1, & 3) & \text{if} & 8k+c \ge 1 \\ A(a, & 6k+2, & c) & \to & A(a-1, & 8k+c+3, & 2) & \text{if} & a \ge 1 \\ A(a, & 6k+3, & c) & \to & A(a, & 8k+c+1, & 5) \\ A(a, & 6k+4,..." Tag: Visual edit: Switched
- 15:3415:34, 14 June 2024 diff hist +20 Cryptids No edit summary Tag: Visual edit
- 15:1415:14, 14 June 2024 diff hist +6 Main Page →bbchallenge.org Tag: Visual edit: Switched
- 15:1315:13, 14 June 2024 diff hist +103 Holdouts lists No edit summary Tag: Visual edit
- 15:1015:10, 14 June 2024 diff hist +28 N Holdout Redirected page to Holdouts lists current Tags: New redirect Visual edit
- 15:0515:05, 14 June 2024 diff hist +8 Deciders Redirected page to Decider current Tags: New redirect Visual edit: Switched
- 15:0415:04, 14 June 2024 diff hist +22 Decider No edit summary Tag: Visual edit: Switched