The keyword is digital signage display/television.

If baveria wasn’t one of the worst NIMBY hell holes in the (known by me) world.

Ehh no. Germany never had that much nuclear in its energy mix. At most it was 10-15%. Compare that to France with their around 30-40% nuclear energy in the mix.

Why do you say it’s obvious that the English wiki “has nothing”?

You realize that many of his novels are about how these laws fail?

Can you prove this? Or link a proof?

Then put 23456789 at the start. Doesn’t contain 22 then but all digits in base 10.

And you can strongman this by first using the string 23456789 at the start. It does contain all base 10 digits but not 22.

That’s mathematics. It do be like that sometimes. Counterexamples can be stupid but still valid.

It’s on you to prove your claims.

See my other comment

Let me give another counterexample. Let x be the binary expansion of pi i.e. the infinite string representing pi in base 2.

Now you will not find 2 in this sequence by definition but it’s still a non-repeating number.

Now one can validly say that we restricted our alphabet and we should look only for finite strings with digits that actually occure in the number. The answer is the string “23456789” concatenated with x.

No this does not work. Counter example can be found in the comments here of a non-repeating number that definitely does not contain all finite strings.

Edit: I think the confusion is about the word non-repeating. Non repeating does not mean a subsequence cannot repeat but that you cannot write the number as a rational or with a finite decimal representation. I.e. it’s not 3.ba repeating. Where a is a finite sequence that repeats infinitely and b is a finite sequence.

Edit edit: another assumption you make is that pi does not go into a loop of some kind. You would need to prove that.

Can you prove this? Or link a proof?

Why are you wondering?

It comes from the Latin word ingenium.

In Germany engineer is a regulated term. Computer scientists wanting to call themselves engineer or software engineer need to complete certain higher education programs. A B.Sc. program in CS is enough for example.

ZFS is unfortunately not in the upstream Linux Kernel :/

Btrfs is worse in many aspects but I like its flexibility of adding drives with different capacities over time.

Shit, I’ve a house?! Where have you been all my life? /s

How do you cleanly base your local changes against a new upstream version? Merges?

Which is not really open now is it.