Rule 50 draws a christmas tree for you:

Step 0: .....S.....
Step 1: ....O.O....
Step 2: ...O.O.O...
Step 4: ..O.O.O.O..
Step 5: .O.O.O.O.O.
Etc...

Wishing you a peaceful and pleasant time!

P.S.: Got some time on your hands for procrastination? Try this:

https://adventofcode.com/2023/day/21

Mild Shock schrieb:

Who remembers this in December 2023?

Pumping lemma for regular languages https://en.wikipedia.org/wiki/Pumping_lemma_for_regular_languages

It was first proven by Michael Rabin and Dana Scott in 1959

Ross Finlayson schrieb am Sonntag, 9. Juli 2023 um 18:56:52 UTC+2:

Dana Scott fan club

Been reading some more into Dana Scott. He has a pretty good intuition and is
also a grandiose sort of hedge. Also he knows things and isn't wrong.

Been reading a bit into the Habermas school or Frankfurt school.

Cohen's "Equations from G-d" was a pretty good historical outline about
Boole and de Morgan than about Russell about "pure mathematics" in the
19'th century, still though I believe in a stronger platonism and that there's
a science of mathematics but its study is _of_ the real "pure mathematics". >>
Was reading some Knuth the other day about combinatorics historically,
quite a well-rounded guy.

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)