Tony Finch – blog

I had another odd dream last Saturday night after Rachel & Keith’s housewarming party. Someone asked me over for some advice. I looked over their shoulder to see a book containing maths in some kind of lemma, lemma, proof arrangement (with some parts indented) – except that the maths was actually chocolate animal biscuits. I looked at this for a bit trying to puzzle it out, until some talking woke me up. Rachel was looking at me quizzically, because I had been talking in my sleep, explaining Python’s scoping to her. (It seemed that the object vs. function scoping of variables somehow related to the indentation of the chocolate biscuit maths.) We quickly went back to sleep.

I asked Rachel about this in the morning and it turned out that the whole thing had been a dream. I don’t remember dreaming inside a dream before…