User contributions for Cosmo
Jump to navigation
Jump to search
16 June 2024
- 11:1611:16, 16 June 2024 diff hist +2 Code repositories No edit summary Tag: Visual edit
- 11:1611:16, 16 June 2024 diff hist +39 Code repositories No edit summary Tag: Visual edit
- 11:1511:15, 16 June 2024 diff hist −58 Code repositories No edit summary Tag: Visual edit
- 11:1411:14, 16 June 2024 diff hist +231 Code repositories No edit summary Tag: Visual edit
- 11:1011:10, 16 June 2024 diff hist −2 Code repositories No edit summary
- 11:1011:10, 16 June 2024 diff hist +216 Code repositories No edit summary Tag: Visual edit
- 11:0111:01, 16 June 2024 diff hist −196 Code repositories No edit summary Tag: Visual edit
- 10:5110:51, 16 June 2024 diff hist +4 N Closed Tape Language (CTL) Created page with "TODO" Tag: Visual edit
- 10:5110:51, 16 June 2024 diff hist +4 N Closed Position Set (CPS) Created page with "TODO"
- 10:4410:44, 16 June 2024 diff hist +718 Code repositories No edit summary Tag: Visual edit
15 June 2024
- 06:5406:54, 15 June 2024 diff hist +73 BB(5) →History Tag: Visual edit
- 06:5306:53, 15 June 2024 diff hist +11 BB(5) →History Tag: Visual edit
- 06:5306:53, 15 June 2024 diff hist −4 BB(5) →History Tag: Visual edit
- 06:5006:50, 15 June 2024 diff hist +8 BB(5) →Proving that the 5-state winner is actually the winner Tag: Visual edit
- 06:5006:50, 15 June 2024 diff hist +14 BB(5) →Proving that the 5-state winner is actually the winner Tag: Visual edit
- 06:4806:48, 15 June 2024 diff hist −4 BB(5) →Proving that the 5-state winner is actually the winner Tag: Visual edit
- 06:4806:48, 15 June 2024 diff hist +5 BB(5) →Proving that the 5-state winner is actually the winner Tag: Visual edit
- 06:4106:41, 15 June 2024 diff hist +549 BB(5) No edit summary Tag: Visual edit
14 June 2024
- 17:2817:28, 14 June 2024 diff hist +131 BB(5) →Finding the 5-state winner Tag: Visual edit
- 17:2417:24, 14 June 2024 diff hist +8 BB(5) No edit summary Tag: Visual edit
- 17:2217:22, 14 June 2024 diff hist +110 BB(5) →Proving that the 5-state winner is actually the winner
- 17:2117:21, 14 June 2024 diff hist −2 BB(5) No edit summary
- 17:2117:21, 14 June 2024 diff hist +79 BB(5) No edit summary Tag: Visual edit
- 17:1917:19, 14 June 2024 diff hist 0 BB(5) No edit summary
- 17:1917:19, 14 June 2024 diff hist +14 BB(5) →History Tag: Visual edit: Switched
- 17:1917:19, 14 June 2024 diff hist +59 BB(5) →History Tag: Visual edit
- 17:1717:17, 14 June 2024 diff hist +9 BB(5) →Proving that the 5-state winner is actually the winner Tag: Visual edit
- 17:1717:17, 14 June 2024 diff hist +419 BB(5) →Proving that the 5-state winner is actually the winner Tag: Visual edit
- 17:1417:14, 14 June 2024 diff hist +8 BB(5) →Proving that the winner is actually the winner Tag: Visual edit
- 17:0717:07, 14 June 2024 diff hist 0 BB(5) No edit summary Tag: Visual edit
- 16:5116:51, 14 June 2024 diff hist +322 BB(5) →History Tag: Visual edit
- 16:4916:49, 14 June 2024 diff hist +308 BB(5) No edit summary Tag: Visual edit
- 16:3916:39, 14 June 2024 diff hist +304 BB(5) →History Tag: Visual edit: Switched
- 16:2716:27, 14 June 2024 diff hist +23 1RB3RB1LB---2RB 2LA1RA4LB2LA2RA No edit summary Tag: Visual edit
- 16:2716:27, 14 June 2024 diff hist +184 1RB3RB1LB---2RB 2LA1RA4LB2LA2RA No edit summary Tag: Visual edit
- 16:1916:19, 14 June 2024 diff hist +170 Holdouts lists No edit summary Tag: Visual edit
- 16:1816:18, 14 June 2024 diff hist +28 N Holdouts Redirected page to Holdouts lists current Tags: New redirect Visual edit
- 16:0116:01, 14 June 2024 diff hist +825 BB(5) No edit summary Tag: Visual edit
- 15:3915:39, 14 June 2024 diff hist +9 5-state busy beaver champion Redirected page to 5-state busy beaver winner current Tag: New redirect
- 15:3815:38, 14 June 2024 diff hist +40 N 1RB1LC 1RC1RB 1RD0LE 1LA1LD 1RZ0LA Redirected page to 5-state busy beaver winner current Tags: New redirect Visual edit
- 15:3515:35, 14 June 2024 diff hist −2 BB(5) No edit summary Tag: Visual edit
- 15:3415:34, 14 June 2024 diff hist −436 5-state busy beaver champion Replaced content with "#5-state_busy_beaver_winner" Tag: Replaced
- 15:3415:34, 14 June 2024 diff hist +467 N 5-state busy beaver winner Created page with "The 5-state busy beaver champion (and winner!) is: [https://bbchallenge.org/1RB1LC_1RC1RB_1RD0LE_1LA1LD_1RZ0LA&status=halt https://bbchallenge.org/1RB1LC_1RC1RB_1RD0LE_1LA1LD_1RZ0LA]. The machine halts after 47,176,870 steps. It was found by Heiner Marxen and Jürgen Buntrock in 1989<ref>H. Marxen and J. Buntrock. Attacking the Busy Beaver 5. Bulletin of the EATCS, 40, pages 247-251, February 1990. <nowiki>https://turbotm.de/~heiner/BB/mabu90.html</nowiki></ref>." Tag: Visual edit: Switched
- 15:3315:33, 14 June 2024 diff hist +467 N 5-state busy beaver champion Created page with "The 5-state busy beaver champion (and winner!) is: [https://bbchallenge.org/1RB1LC_1RC1RB_1RD0LE_1LA1LD_1RZ0LA&status=halt https://bbchallenge.org/1RB1LC_1RC1RB_1RD0LE_1LA1LD_1RZ0LA]. The machine halts after 47,176,870 steps. It was found by Heiner Marxen and Jürgen Buntrock in 1989<ref>H. Marxen and J. Buntrock. Attacking the Busy Beaver 5. Bulletin of the EATCS, 40, pages 247-251, February 1990. <nowiki>https://turbotm.de/~heiner/BB/mabu90.html</nowiki></ref>." Tag: Visual edit
- 15:3115:31, 14 June 2024 diff hist +335 N BB(5) Created page with "BB(5) refers to the 5<sup>th</sup> value of the Busy Beaver function. In 1989, the 5-state busy beaver champion was found: a 5-state Turing machine halting after 47,176,870 giving the lower bound BB(5) > 47,176,870. In 2024, BB(5) = 47,176,870 was proven by the bbchallenge.org massively collaborative research project." Tag: Visual edit
- 15:2815:28, 14 June 2024 diff hist +13 Busy Beaver Functions →Ambiguity of the notation BB(n,m) Tag: Visual edit
- 15:0415:04, 14 June 2024 diff hist +90 Category:Individual machines No edit summary Tag: Visual edit
- 14:5914:59, 14 June 2024 diff hist +33 1RB3RB1LB---2RB 2LA1RA4LB2LA2RA No edit summary Tag: Visual edit
- 14:1914:19, 14 June 2024 diff hist +47 Main Page →Contribute to this wiki Tag: Visual edit
- 14:1714:17, 14 June 2024 diff hist −6 Main Page No edit summary Tag: Visual edit