Hi there 👋

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.