Welcome.

We are building secure and efficient systems to make the world a better place. We also enjoy elegant foundations, especially if of the very rare practical variety. Instances of things we work on can be found here.