You know how one of the best parts of any conference is the "hallway track?" Speakerconf is designed to maximize that experience: conversation shaped by talks, but with more opportunity for many-to-many communication.
The speakers are diverse and so are the topics. I thought I would share some of the more interesting references that came up during our discussions.
- LEDBAT (RFC 6817). "Lower-than-best-effort" data transfer reduces congestion by deliberately adding latency.
- libutp - The uTorrent transport protocol library, which implements LEDBAT.
- Iranian weavers deshredding documents from the U.S. embassy in Tehran in 1979, and the DARPA challenge from 2011.
- crazyegg - a service for heat mapping overlays on web pages.
- Computational Tree Logic - an extension of first-order predicate logic to cover future universes. Quantifiers include "there exists at least one universe in which!"
- As We May Think - An enormously influential essay by Vannevar Bush.
- Generalizing Monads to Arrows - One of John Hughes' many excellent papers about abstraction.
- Probabilistic Graphical Models - A method for integrating uncertain beliefs to estimate likelihood of outcomes, like Bayesian networks on steroids.
- Composing Contracts - A paper by Simon Peyton-Jones on using combinators in a functional language to model financial instruments.
- Five flavors of logic: miniKanran, cKanran, alphaKanran, and a couple more that I can't remember.