Hey Tom!<p>I remember watching the recording of Programming with Nothing many years ago; it was an incredibly influential talk for me (ignited a love and fascination of mine for the lambda calculus) and have since watched every following talk of yours (“A Lever for the Mind” is probably one of my favorite technical talks ever given).<p>This was a phenomenal sequel and has rekindled my excitement to work on lambda-calculus related things (slowly working on implementing a lambda calculus interpreter for my own use and possibly as a foundation for some future personal projects).<p>Thank you for sharing and keep being awesome!
Very cool; this also seems to be an extension of some material in your <i>Understanding Computation</i> book, which I read last year and really enjoyed!
This is the sequel to a talk about the lambda calculus I gave ten years ago. Here’s the 2011 Hacker News discussion: <a href="https://news.ycombinator.com/item?id=3343205" rel="nofollow">https://news.ycombinator.com/item?id=3343205</a>