Please log in to watch this conference skillscast.
Most modern performance work is centered around technologies and tools. Following Jeff Bezos' advice, this talk, instead of trying to predict the future, covers some of the oldest mathematical principles and ways they've shaped modern software.
Parallel and distributed computing, caching and proxy computations are just a few examples of leveraging associativity, idempotence, Kleisli category and functors.
Armed with such powerful tools, it's time to open an era of efficient compute, but how can we be sure that we are not trading correctness for performance? Formal verification methods to the rescue. We'll see how TLA+ and Isabelle can be used to prove correctness of our ideas.
YOU MAY ALSO LIKE: