Ruby Conf 12 - Y Not- Adventures in Functional Programming by Jim Weirich
In brief
Jim Weirich's RubyConf 2012 talk derives the Y combinator step by step, live-coding in Ruby lambdas. It builds up an understanding of functional programming and lambda calculus from first principles.