There is no point talking with you. That you in Russia have your brains damaged, we all know, but the rest of the world doesn't live in a state of constant alcohol delirium. You might want to be aware of that.

And tbh I didn't expect much of or any discussion because my feeling is that Hacker News is a forum which has long since only masqueraded as a geek/tech bulletin board and discussion forum. And this here absence reinforces that feeling.

Bosgame M5 AI Mini Desktop Ryzen AI Max+ 395 96GB variant €1.800,95 (sold out)

128GB+2TB variant €2.401,95 (in stock)

I have the latter, it's fantastic

```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.