Newest

Most recent blog posts.

Food

Articles I've written about food allergies, intolerances, recipes and general food horror.

Teaching

Articles I've written about teaching.

Macrometa

Articles I've written for the Macrometa blog.

Stateful Serverless

Building stateful serverless solutions.

Partisan

Building the next generation of high-performance, fault-tolerant distributed runtimes.

Programming Models and Languages for Distributed Computing

Work in progress seminar curriculum on distributed computing and programming languages.

SyncFree / Lasp

Research related to the SyncFree project on large-scale synchronization-free computation.

Reading Lists

Reading lists on computer science related topics.

Verified Vector Clocks

Work towards creating a verified vector clock library in Coq, exported to Erlang for use in Riak.

General

Various blog posts.