Git Internals with Haskell, by Vaibhav Sagar

Abstract:
Implementing a git library in Haskell is a great way of learning both at the same time. This talk will go over some of Haskell's strengths and weaknesses for this domain, and some of the concepts learned along the way that improved the development of this library.

Bio:

Slides

The Design and Implementation of a Concurrent Bloom Filter, by Brandon Simmons

Abstract:
This talk will walk through design decisions and implementation details of a new fast, concurrent bloom filter for haskell called "unagi-bloomfilter". Some of the topics covered will be:
° Bloom filters and variations
° concurrent algorithm basics, including atomic operations and the concept of linearizability
° techniques and pitfalls in translating an equation to code
the design and motivation for "hashabler", a hashing library designed to support "unagi-bloomfilteri"
° A trick for translating stateful numeric C into haskell

Bio: Brandon Simmons is a programmer, musician and photographer living in Richmond, VA. As a Platform Engineer at Signal Vine he leads the haskell project that handles the core logic and mechanics of the Signal Vine messaging platform.

Elementary Category Theory and Some Insightful Examples, by Eddie Grutman

Abstract:
It turns out that much of Haskell can be understood through a branch of mathematics called Category Theory. Concepts such as Functor, Adjoints, Monads and others all have a basis in the Category Theory. In this talk, basic categorical concepts, starting with categories and building through functors, natural transformations, and universality, will be introduced. To illustrate these, some mathematical concepts such as homology and homotopy, monoids and groups will be discussed as well (proofs omitted).

Bio: