A fascinating example of higher-order function refactoring in Ruby leading to the derivation of the Y Combinator.

I was really impressed at how smoothly the live coding portion of the presentation proceeded despite the complexity of the material being presented.