User contributions for Polygon

19:1919:19, 9 April 2026 diff hist 0 Cryptids →Cryptids at the Edge: changed sheep to lowercase current
19:1919:19, 9 April 2026 diff hist 0 1RB1LA 0LC0RC 1LE1RD 1RE1RC 1LF0LA ---1LE Changed sheep to lowercase
10:4110:41, 9 April 2026 diff hist +199 1RB1LA 0LC0RC 1LE1RD 1RE1RC 1LF0LA ---1LE Added simulation
10:2410:24, 9 April 2026 diff hist 0 Holdouts lists Updated BB(7) holdout count
10:2310:23, 9 April 2026 diff hist +239 TMBR: April 2026 →Holdouts: added BB(7) reduction

16:2316:23, 8 April 2026 diff hist +118 Cryptids →Cryptids at the Edge: added missing Cryptid

17:3217:32, 7 April 2026 diff hist 0 Holdouts lists →Busy Beaver for Lambda Calculus: updated BBlambda(38) holdout count
09:5909:59, 7 April 2026 diff hist +20 1RB1LA 0LC0RC 1LE1RD 1RE1RC 1LF0LA ---1LE →Analysis by Daniel Yuan: added tape encoding
09:5309:53, 7 April 2026 diff hist +309 1RB1LA 0LC0RC 1LE1RD 1RE1RC 1LF0LA ---1LE Added links and one more sentence
09:5009:50, 7 April 2026 diff hist +1,806 N 1RB1LA 0LC0RC 1LE1RD 1RE1RC 1LF0LA ---1LE Created page with "{{machine|1RB1LA_0LC0RC_1LE1RD_1RE1RC_1LF0LA_---1LE}} {{TM|1RB1LA_0LC0RC_1LE1RD_1RE1RC_1LF0LA_---1LE}} is a BB(6) Cryptid similar to Space Needle. It was discovered by Sheep on 7 April 2026.<ref>https://discord.com/channels/960643023006490684/1448375857046360094/1490772706269069313</ref> == Analysis by Daniel Yuan == <pre> So I would say either (0, 0) --> halt (1, n) --> halt (0, n) --> (2, n-1) for n >= 1 (2m, n) --> (3m+n-1, 2) for m >= 1 (2m+1, n) --> (m..."
09:3909:39, 7 April 2026 diff hist +184 Cryptids →Cryptids at the Edge: added new Space-Needle-like Cryptid
09:3509:35, 7 April 2026 diff hist +86 BB(6) →Cryptids: added new Cryptid
09:2109:21, 7 April 2026 diff hist +32 1RB1LA 1RC0RF 1RD--- 0LE1RB ---0LA 1LD1RF Added Category:Potential Cryptids

10:5410:54, 5 April 2026 diff hist 0 BB(6) →Cryptids: only a potential Cryptid so far Tag: Manual revert

16:1816:18, 4 April 2026 diff hist +36 SKI Calculus Linked BBlambda
13:0613:06, 4 April 2026 diff hist +23 N 1RB0RA 0LC1RA 1RE1LD 1LC0LD ---0RB Redirected page to Skelet 10 current Tag: New redirect

10:5510:55, 3 April 2026 diff hist +74 Coq-BB5 →Deciders: description of halt-decider current
10:4610:46, 3 April 2026 diff hist +20 User:Polygon/Page for testing Added CPS variants current
10:3710:37, 3 April 2026 diff hist +33 1RB1LA 1RC0RF 1RD--- 0LE1RB ---0LA 1LD1RF Added Category:Individual machines

17:4917:49, 2 April 2026 diff hist +187 User:Polygon/Collection of BB Champions →Blanking Busy Beaver (BLB(n,m)): added BLB(7)
17:2617:26, 2 April 2026 diff hist +4 m Closed Position Set grammar current
17:2517:25, 2 April 2026 diff hist +155 1RB1LA 1RC0RF 1RD--- 0LE1RB ---0LA 1LD1RF Added short description and Categories
17:2217:22, 2 April 2026 diff hist −4,241 User:Polygon/Page for testing Removed CPS Tag: Manual revert
17:2217:22, 2 April 2026 diff hist +2,681 Closed Position Set added Method
17:2117:21, 2 April 2026 diff hist +323 User:Polygon/Page for testing →Method: more expansion
17:1617:16, 2 April 2026 diff hist +347 User:Polygon/Page for testing →Method: expanded
17:0817:08, 2 April 2026 diff hist +214 User:Polygon/Page for testing →Method: more text
17:0417:04, 2 April 2026 diff hist +14 User:Polygon/Page for testing →Method: specify
16:5516:55, 2 April 2026 diff hist +124 User:Polygon/Page for testing →Method: vertice --> edge, expanded
16:5216:52, 2 April 2026 diff hist +170 User:Polygon/Page for testing →Method: expanded
16:5016:50, 2 April 2026 diff hist +128 User:Polygon/Page for testing →Method: adjacency
16:4816:48, 2 April 2026 diff hist +249 User:Polygon/Page for testing →Method: began graph section
16:4416:44, 2 April 2026 diff hist +360 User:Polygon/Page for testing →Method: more text
16:4116:41, 2 April 2026 diff hist +261 User:Polygon/Page for testing more text on CPS
16:3916:39, 2 April 2026 diff hist +2,051 User:Polygon/Page for testing CPS
16:2316:23, 2 April 2026 diff hist +157 Closed Position Set Added a general description of the method
16:1716:17, 2 April 2026 diff hist −3 Closed Position Set Information --> See also
15:1715:17, 2 April 2026 diff hist +187 Blanking Busy Beaver Function →Champions: added an old BLB(7) champion current
14:4314:43, 2 April 2026 diff hist 0 m Coq-BB5 →Deciders: linked to the correct page directly instead of via a redirect
14:3814:38, 2 April 2026 diff hist +165 Decider →List of Deciders: some more information on variants current
14:3714:37, 2 April 2026 diff hist 0 Repeated Word List Undo revision 6975 by Polygon (talk) using headings makes it easier to link to these variants later Tag: Undo
14:3414:34, 2 April 2026 diff hist +4 Coq-BB5 Linked deciders
14:3414:34, 2 April 2026 diff hist +120 Coq-BB5 →Deciders: description of Loop.v
14:3114:31, 2 April 2026 diff hist 0 Repeated Word List →Variants: used the format from the NGram CPS page
14:2814:28, 2 April 2026 diff hist +66 Coq-BB5 →Deciders: augmentations
14:2414:24, 2 April 2026 diff hist +583 Coq-BB5 →Deciders: listed deciders
14:2214:22, 2 April 2026 diff hist +23 N NGramCPS Redirected page to NGram CPS current Tag: New redirect
14:1914:19, 2 April 2026 diff hist +41 Coq-BB5 Some structuring
14:0514:05, 2 April 2026 diff hist +386 TMBR: April 2026 →Holdouts: added new LLM-solved TM
10:2310:23, 2 April 2026 diff hist 0 Holdouts lists →Busy Beaver for Lambda Calculus: BBλ(38): 26 --> 25 holdouts

User contributions for Polygon

9 April 2026

8 April 2026

7 April 2026

5 April 2026

4 April 2026

3 April 2026

2 April 2026

Navigation menu

Search