This entire youtube channel is a gem btw.

Delightful video on the lambda calculus and other compution concepts https://www.youtube.com/watch?v=RcVA8Nj6HEo

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 miss having the crazy math dreams I used to get when I was in college. If only life could be an endless stream of turning over new stones.

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.