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 but 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?

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

Which is not really open now is it.

Do you live in a world where storage is expensive or rare? Because I more or less forgot the meaning of deleting files.

Also git does support the git protocol as a server if you really need it.

Why? I am not living in the us but it’s a useful phrase.

Minecraft and dwarf fortress. I may pick up factorios extension if and when I have time

It… It is? I am not a native speaker but I would’ve for sure thought it was a male name…

I once got a temporary ban on another platform for arguing/suggesting that dude has become genderless.

I know multiple woman that use “dude” that way, but some people are somewhat understandably sensitive on the topic of gender.

I don’t know. It’s just that it feels really unorganic how often it comes up on Lemmy.

Especially with fake sounding “organic” threads that I know from proven social media marketing.

I could very well be wrong of course but if I had the time I would investigate this further.

All this talk about organic maps here on Lemmy does not feel organic at all.

Is there an ad campaign or something?

At least 500 years old. Everybody else is just too damn infantile and stupid.