No hype, just rigorous thinking and engineering from first principles.
Want to master computer engineering more deeply, but lack needed skills and knowledge? When I do my coding assignment, I always rely on homework service experts and their detailed explanations.

articles & case studies

Apr. 24, 2019 - Litany Against Software Dogma

Apr. 7, 2019 - More Cloud Management with Prolog

Mar. 23, 2019 - Cloud Management with Prolog

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



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.


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.


TypeScript Ruby Pulumi

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