Edward Kmett

Share

Software Engineering Lead at S&P Capital IQ, Chair of the Haskell Core Libraries Committee
 comonad.com/
 @kmett

Edward spent most of his adult life trying to build reusable code in imperative languages before realizing he was building castles in sand. He converted to Haskell in 2006 while searching for better building materials. He now chairs the Haskell core libraries committee, collaborates with hundreds of other developers on over 150 projects on github, builds tools for quants and traders using the purely-functional programming-language Ermine for S&P Capital IQ, and is obsessed with finding better tools so that seven years from now he won’t be stuck solving the same problems with the same tools he was stuck using seven years ago.

YOW! 2014 Sydney

Functionally Oblivious and Succinct

TALK –  VIEW SLIDES

This talk provides a whirlwind tour of some new types of functional data structures and their applications.

Cache-oblivious algorithms let us perform optimally for all cache levels in your system at the same time by optimizing for one cache for which we don’t know the parameters. While Okasaki’s “Purely Functional Data Structures” taught us how to reason about asymptotic performance in a lazy language like Haskell, reasoning about cache-oblivious algorithms requires some new techniques.

Succinct data structures let us work directly on near-optimally compressed data representations without decompressing.

How can derive new functional data structures from these techniques? Applications include just diverse areas as speeding up something like Haskell’s venerable Data.Map, handling “big data” on disk without tuning for hardware, and parsing JSON faster in less memory.


Stop Treading Water: Learning to Learn

KEYNOTE –  VIEW SLIDES

There is a notion endemic to this industry that it is sensible in the long term to learn as you go. I’ll be exploring this fairly soft notion through techniques and insights from category theory, physics, mathematics, computer science, artificial intelligence, and cognitive science to motivate techniques that you can use to invest in yourself over time and to get out of this trap.