Artisanal Cloud Infrastructure
tools that enable scalable multi-cloud workloads and web applications
No hype, just rigorous thinking and engineering from first principles.
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
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 key, user, group, and message management with an HTTP interface. Designed to enable programmatic distribution of secret tokens to groups of people and machines.
Ready to use infrastructure-as-code templates for bootstrapping cloud systems.