Take a look at 0.101001000100001… This number is also non-repeating, but obviously doesn’t contain all numbers with finite digits.

The property you’re looking for is called to be a normal number. Pi is assumed to be one, but it hasn’t yet been proven.

However, in a sense this is an unremarkable property as almost all real numbers are normal. :)

I wonder how he would have reacted if it was one of his cars that was damaged instead of Sainz…

Ich finde es ein wenig schade, dass sich die Maße im Vergleich zum FP4 ändern und damit wohl das OLED-Display nicht abwärtskompatibel sein kann.

Die Modularität nutzt Fairphone für die einfache Reparierbarkeit. IMO könnte man sie aber auch super zur Erweiterbarkeit nutzen und eben z.B. verschiedene Displays anbieten (ein wenig ging das damals mit dem Upgrade von FP3 auf FP3+ mit dem Kameramodul in diese Richtung).

Der Artikel erwähnt es zwar nicht, aber wie auf der Shopseite lesbar hat das neue Fairphone genau wie schon das FP4 NFC verbaut.

Zum Thema Qi haben sie sich ebenfalls schon damals für das FP4 in ihrem Forum geäußert. Das kabellose Laden ist für sie zu ineffizient, da zu viel Energie verloren geht. Es gibt aber diverse Qi-Pads, die man per USB-C an sein Handy stecken könnte und sich das damit nachrüsten könnte.

Ich bin zu wenig in ActivityPub drin, um zu beurteilen, ob es änderbar ist. Aber für mich klingt das so, als wäre Replikation als Default eine Schwachstelle des Föderationskonzepts.

Naiv könnte man sich überlegen, ob so etwas wie Replikation eines Inhalts erst nach x [Zeiteinheit] (evtl. in gewisser Granularität konfigurierbar) und vorher Abholen des Inhalts per Serveraufruf machbar ist. Damit läge relevanter Content nicht sofort auf dem eigenen Server und kann möglicherweise schon in diesem Zeitraum auf der Ursprungsinstanz moderiert werden. Andererseits verliert man nicht den Vorteil von Replikation, dass Content ins Nirvana verschwindet, wenn die entsprechende Instanz weg ist.

Your fact is correct, but the mind-blowing thing about infinite sets is that they go against intuition.

Even if one might think that the number of odd numbers is strictly less than the number of all natural numbers, these two sets are in fact of the same size. With the mapping n |-> 2*n - 1 you can map each natural number to a different odd number and you get every odd number with this (such a function is called a bijection), so the sets are per definition of the same size.

To get really different “infinities”, compare the natural numbers to the real numbers. Here you can’t create a map which gets you all real numbers, so there are “more of them”.