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. :)

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

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

Is it in any way possible for a core engineer (with rifle) to kill Subject 7 in the Queen's Gauntlet without killing any oozes (for the Blobs, Schmobs achievement)? I'm trying different methods but there is always AoE damage that gets at least one of the oozes...

I also have some hero points invested in Holo, but didn't really dip into it yet. However with most skills I'm using he regenerates HP too fast and the oozes do too much damage. I think I need to postpone this achievement until later when I have better equip or another character which is more suited for that task (I read that Necro is quite good)

I considered just installing the new .sh file in the same location, but wasn't sure whether that breaks my saves in the worst case. So it's reassuring to hear that others had success with this method. I'll try it when I get an update for one of my Linux native games. Thank you :)

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

I've dabbled with Lutris and Heroic. But Lutris only showed me the Windows patches during its update (which obviously don't work).

Heroic on the other hand doesn't work as well as I'd hoped. All operations take a really long time and some of my GOG games don't show at all (in Lutris they're appearing). I'm using the current version 2.13.0.

And even if it works, I'd be interested how Heroic implements its update mechanism for Linux native games since it should have the same issue regarding available data :)