Thanks for sharing. I remember reading Introduction to Lambda Calculus many years ago and it was one of those times where I had crazy math dreams and would wonder around SF convinced everything is functions. Like literally everything.
I wonder if it's an age/brain development thing. I also had crazy math and programming dreams in my early 20s. I don't get those any more, though I still spend a lot of waking time (possibly more now than back then) obsessing over math and programming problems.
I think it might be the mix and the (low) level of voice over background and the stereo image combined with what I am listening on that makes me uncomfortable for some reason.