10/28 Introducing them to the Flying Spaghetti Monster seems to have been one of the more lasting impressions I left on the kids. They keep telling me they remember when we first talked about it.

Just as we were about to call it a day yesterday, my son and J and I got into deep discussions of mathematics and computer science and AI. How 0.9999… is just another way of writing 1, and how the four-color theorem has so far only been proven by machines, and not in a way that is intuitively understandable to humans. How AI makes random choices, but that we don’t know – and would have to look up – how that randomness is actually generated in real-world systems.