Likes: | haskell python git machine-learning computer-science functional-programming linux postgresql voltdb rust dsl concurrency |
Dislikes: | mysql windows ruby-on-rails devops |
As a senior engineer at Signal Vine I lead the Haskell project that handles the core logic and mechanics of the Signal Vine messaging platform. Notable accomplishments include:
Implementing a performant logging and log-shipping solution for docker-based microservices, in haskell
Optimizing a haskell reverse proxy, including the implementation of a faster custom HTTP client library
Development work on a Scala web application, and various Haskell components.
Re-writing server provisioning, build, deploy, monitoring and recovery systems using fabric.
Collaborated with a distributed team on a medium-sized fast-moving Haskell web application; with specific responsibilities for code handling recurring event logic and extremely tricky date math.
Extracting useful data from the twitter firehose and RSS feeds, and communicating that information.
Designed and implemented our web application architecture, a robust monitoring and backup system, and DevOps automation on Amazon EC2
Designed and implemented a solution for deploying our web application stack on customers' local networks, solving a crucial business problem.
Contributed to application development including a from-scratch vector graphics image editor built on Raphael.js.
A haskell library implementing fast and scalable concurrent queues for x86, with a Chan-like API
a silly library for loops with delays in JavaScript.
A simple directory-like tree datatype, with useful IO functions, for Haskell
A simple lens-based, generic, heterogenous, type-checked haskell zipper library
In-browser simulation of "A Biological Solution to a Fundamental Distributed Computing Problem" by Afek et al.
haskell library for conversion of arbitrary data types to a "structural form" built from the primitive sum, product types
A Haskell library providing an idiomatic implementation of the actor model of concurrency
I recently needed to do some conversions/processing to a bunch of HTML files, which contained html canvas images, so I needed a way of converting all …
In which I design an efficient streaming solution to the twitter waterflow problem
If the title hasn’t scared you off yet, here’s the story: I was hacking on someone else’s code on the plane and trying to wrap my …
I’m doing Stanford’s free online NLP class, and last week’s lesson introduced Levenshtein Distance and the traditional matrix-based …
I finished this new zipper library which you can get with a cabal install zippo and fork it on github. After working for a long time on pez, I wanted …
Design and Implementation of a Concurrent Bloom Filter - Aug 24, 2016, at NYC Haskell User Group:
This talk will walk through design decisions, implementation details and things I learned working on a new fast, concurrent bloom filter for haskell called "unagi-bloomfilter"
Type Families in 20 Minutes or Less - April 5, 2014, at Hac NYC:
A tutorial introduction to my favorite GHC extension; at the end of the talk you should have a good idea of what TypeFamilies is all about, and a sense of where you might use it in your own code.
Hands on Haskell - May 15, 2015 in Chennai, India
Assisted in preparation and was a co-presenter at this fun workshop aimed at beginners. I covered a section on equational reasoning and property based testing with QuickCheck.
Favorite Editor: | vim |