Leif Walsh (Developer, Tokutek) gives a presentation on the paper ** The LCA Problem Revisited **by Michael A. Bender and Martin Farach-Colton. The lowest common ancestor problem was first stated in 1973 and it took 11 years before an optimal solution was discovered, and another 16 before an understandable and implementable solution with the same bounds was presented. This deceptively simple problem comes together in the end and uses techniques that are powerful in plenty of other places.

Erik Hinton (Interactive Developer, The New York Times) talks about the paper *The Derivative of a Regular Type Is its Type of One-Hole Contexts* by Conor McBride.

Mathematicians and computer scientists have been investigating theoretical aspects of software engineering through the lens of category theory. Many universities have begun to introduce category theory in graduate-level computer science courses.

Continue