This is the sequel to a talk about the lambda calculus I gave ten years ago. Here’s the 2011 Hacker News discussion: https://news.ycombinator.com/item?id=3343205