An awesome/crazy set of slides I haven't had the time to look through yet is Dan Licata's about version control patches as higher-order inductive types in homotopy theory. I am a total sucker for fancy math applied to quotidian practical problems.