|
[Jan. 17th, 2014|09:05 pm]
Jason
|
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. |
|
|
