Very neat demonstration!

I dispute that, although I guess the general brute-force solution is 'easy' given infinite time.

https://oeis.org/wiki/Disjunctive_numbers#Is_pi_a_disjunctiv...

https://en.wikipedia.org/wiki/Normal_number

> I dispute that, although I guess the general brute-force solution is 'easy' given infinite time.

Look at it this way -- if it were not true, then the digits of Pi would not be normally distributed (see https://en.wikipedia.org/wiki/Normal_number), and that would be a rather extraordinary mathematical finding.

If Pi's digits are normally distributed, then one can reliably predict the time required for finding any particular digit sequence using probability theory. And given the presumption of normalcy, that probability is the same for any digit sequence of a given length.

The probability for finding a given test digit sequence in the first 100 million digits of Pi is given here:

https://www.angio.net/pi/whynotpi.html

But it has to be emphasized that, given a finite test sequence and an infinite sequence of Pi's digits as a search space, the probability is 1.0.

You're mostly right that nobody else uses MMDDYYYY (although many countries use it as a secondary format). But it's not like there's a consistent format that _everyone else_ uses.

There are 2-3 different formats spread around the world, with no real consistency in why some pick a particular format.

The plural of "you" in English is"you"...

   Everyone already knows this.

'Everyone uses'? What about all the people in the U.S.?

YYYY-MM-DDTHH:MM:SS+<OFFSET>

in this format, Pi day is:

2017-03-14 (The rest of the complete format omitted since it is not strictly relevant)

Although admittedly I too find the US date system's wrong-endianness pretty annoying.

> jyssys3: The rest of the world celebrates it at 22/7.

I'd expect it's really 22.7., but this is more fun.