about

No hype, just rigorous thinking and engineering from first principles.

articles & case studies

Mar. 14, 2019 - What, Why, and How of Formal Methods

Feb. 20, 2019 - Validating a Coordination Protocol with Alloy

Feb. 16, 2019 - Coordinating with Appendable Data Structures

Feb. 13, 2019 - Rolling Deployments in Alloy and TypeScript

Feb. 8, 2019 - Encryption Key Hierarchies in Alloy

Feb. 5, 2019 - The Cost of Bad Software Architecture

Jan. 31, 2019 - 4 bit Adder in Alloy and TypeScript

Jan. 28, 2019 - Build Caching and Strace

news & updates

tools

cloud-init-buddy

TypeScript Node.js PostgreSQL

Encrypted package distribution and storage along with a JSON metadata store with a REST interface. Designed to enable orchestration of multi-vm boot processes. Basic use cases include bootstrapping consul, etcd, zookeeper, and anything else that requires non-trivial coordination.

gpg-as-a-service

Ruby Sinatra GPG

GPG key, user, group, and message management with an HTTP interface. Designed to enable programmatic distribution of secret tokens to groups of people and machines.

cloud-boilerplate

TypeScript Ruby Pulumi

Ready to use infrastructure-as-code templates for bootstrapping cloud systems.