```javascript

   // ==UserScript==
   // @name         StarFling Spacebar
   // @namespace    https://playstarfling.com/
   // @version      2026-04-11
   // @description  Spacebar to launch and restart StarFling
   // @author       Claude Code
   // @match        https://playstarfling.com/*
   // @icon         https://www.google.com/s2/favicons?sz=64&domain=playstarfling.com
   // @grant        none
   // @run-at       document-idle
   // ==/UserScript==

   (function () {
     'use strict';

     document.addEventListener('keydown', function (e) {
       if (e.code === 'Escape') {
         e.preventDefault();
         // During play, click give-up to trigger the death/restart screen
         const giveup = document.getElementById('giveup-btn');
         if (giveup) giveup.click();
         return;
       }

       if (e.code !== 'Space') return;
       e.preventDefault();

       // If the game-over screen is visible, click retry
       const gameOver = document.getElementById('game-over');
       if (gameOver && !gameOver.classList.contains('hidden')) {
         const retry = document.getElementById('retry-btn');
         if (retry) retry.click();
         return;
       }

       // Otherwise simulate a tap on the canvas (start from menu / release orb)
       const canvas = document.getElementById('c');
       if (canvas) {
         canvas.dispatchEvent(new PointerEvent('pointerdown', {
           bubbles: true,
           clientX: window.innerWidth / 2,
           clientY: window.innerHeight / 2,
         }));
       }
     });
   })();

https://orbitup.surge.sh/

- FPS tweak to fix variable speed - Can bounce - Life points instead of sudden death - Levels - A few effects - Better adjusted difficulty

Edit: I added due credit. thanks for pointing that out.

Regarding moat, I doubt the logic behind a server would prevent anyone to copycat game concept and graphics. Games have always been cloned as community remakes, with little recourse to take them down.

> Can it?

Yes -- in set theory sets can contain themselves

> > a term can have only one type... Due to this law, types cannot contain themselves

> Doesn't look like one follows from the other...

types are not sets and sets are not types therefore it makes no sense to link these two statements/judgements in the way you are linking them

Which set theory? ZFC doesn't permit this.

Non-well-founded set theories are so non-standard that I think it's wrong, or at least misleading, to claim that unqualified "set theory" permits this.

Hrbacek and Jech would like a word. It is very much not the case that in standard axiomatic set theory sets can contain themselves, precisely because this leads to things like Russell’s paradox. Sets containing themselves is generally prevented by the axiom of regularity. (Every non-empty set S contains an element wihch is disjoint from S) https://en.wikipedia.org/wiki/Axiom_of_regularity

> types are not sets and sets are not types

This is also not true. All types can be expressed as sets but not all sets are types in the standard definitions.

““ What is type theory

    “Every propositional function φ(x)—so it is contended—has, in addition to its range of truth, a range of significance, i.e. a range within which x must lie if φ(x) is to be a proposition at all, whether true or false. This is the first point in the theory of types; the second point is that ranges of significance form types, i.e. if x belongs to the range of significance of φ(x), then there is a class of objects, the type of x, all of which must also belong to the range of significance of φ(x)” — Bertrand Russell - Principles of Mathematics

    “Have you seen a set? Well, it has nothing to do with it.” [<=== important bit] 

Now a relation is just a particular type of predicate (ie it too is a set) so here we have x ~ y if φ(x) = y for all (x,y) in (D X C).

Notice here both the propositional function and the type are sets.

>> "a term can have only one type... Due to this law, types cannot contain themselves"

> types are not sets and sets are not types therefore it makes no sense to link these two statements/judgements in the way you are linking them

This is what the text says, not me.

I'm sure this is a mostly forgotten part of computing lore; apologies for the Gemini's Overview:

“Microsoft actively stifled DR-DOS in the early 1990s through anti-competitive tactics, primarily using the "AARD code" in Windows 3.1, which deliberately created compatibility errors to scare users away from the competing operating system. Microsoft also used FUD (fear, uncertainty, and doubt) tactics, such as hinting at future incompatibilities.

Key Tactics Used by Microsoft:

    The AARD Code: Windows 3.1 installer contained heavily obfuscated code, discovered in 1992, that specifically checked if the system was running DR-DOS. If detected, it displayed a fake "Non-Fatal Error" message to induce panic.

    Vaporware Announcements: Microsoft announced upcoming versions of MS-DOS to dampen demand for current versions of DR-DOS.

    OEM Pressure: Microsoft leveraged its monopoly to ensure pre-installed Windows came with MS-DOS, hindering DR-DOS's retail market success.

https://share.google/aimode/JJs7wliOGtvnme6LY” [Tech Monitor/Wikipedia]

https://news.ycombinator.com/newsguidelines.html

Your comment would have been just as interesting as the first line followed by a link to https://en.wikipedia.org/wiki/AARD_code .

Ah, and Valve had to come up with Proton, as game studios can't be bothered to natively target GNU/Linux.

https://www.codeweavers.com/crossover/download

Codeweavers is literally the company behind Wine. Without them project would never reach point where it is now.

Codeweavers developers historically been authors of 2/3 (and likely even more in past) commits in Wine.

CodeWeavers : Wine :: IBM/RedHat : Fedora

the gains would trickle up, no?

There are some cases where hardware support on Linux is suboptimal, such as Nvidia cards and many fingerprint readers, but things are a LOT better now than they used to be. Most consumer laptops and desktops will run linux just fine.