I'm interested in distributed systems, safe concurrency, architecture, research, education. I currently work on keyhive and related projects at Ink & Switch. I tend to write in Rust these days.
Some talks:
- Safely Sharing Data: Reference capabilities in the Pony programming language.
- A CRDT Primer: Defanging order theory.
- Think Local: Reducing coordination and improving performance when designing distributed systems.
I have a technical blog, but updates are remarkably infrequent.
Some fun side projects (in reverse chronological order):
- rustraft: Work-in-progress Rust implementation of the extended Raft paper.
- rlox: Rust implementation of a tree-walking interpreter for the Lox language.
- acolyte: procedurally-generated roguelike game implemented in Rust (currently closed source).
- novitiate: simpler, terminal-based version of the same game implemented in Pony.
- microkanren-pony: μKanren implemented in Pony.
- functional data structures for Pony.
- dsscratch: distributed systems simulator implemented in Scala.
- fun with algebraic structures.
- sequeNES: small NES music sequencer written in 6502 assembly.
Other stuff
I recently spent some time developing (and writing) a Hugo-based songwriting blog and writing the rough draft of a book on philosophical skepticism and intellectual humility.