Project Themis

Notes on a few years of Project Themis, and some lessons along the way.