I'm a software engineer. Right now, I'm a principal engineer at GitHub. Before that I built streaming data systems at Google and worked on infrastructure at Mozilla. For a few years before and in between, I was a computer science professor.
I enjoy working on large-scale distributed systems and performant and understandable abstractions.
Most of my public GitHub profile is hobby work and small deliberate projects that I do to keep a creative practice---sketches. I wrote a little bit about this here. My professional work is mostly private.
Elsewhere:




