← Back to Blog

Blog

Thoughts on Terraform state management, infrastructure parallelism, and building better developer tools.

RSS Feed

Why we chose OCaml to write Stategraph

OCaml Type Systems Functional Programming Infrastructure Stategraph

When you're managing other people's infrastructure, state corruption has to be impossible, not unlikely. OCaml's type system catches entire categories of bugs at compile time that tests miss.

Read more

Inside Terraform's DAG: How dependency ordering really works

Terraform DAG Infrastructure Technical Deep Dive

A technical deep dive into Terraform's dependency graph engine: how the DAG is constructed, how implicit and explicit dependencies work, and how Terraform walks the graph to execute plans with parallelism.

Read more

Terraliths are the natural shape of infrastructure

Terraform Terralith Infrastructure

The Terraform Terralith isn't an anti-pattern. It's the natural shape of infrastructure. The real anti-pattern is accepting broken tooling.

Read more

Why we're building Stategraph: Terraform state as a distributed systems problem

Terraform Infrastructure Distributed Systems

Terraform state is a distributed systems problem masquerading as file storage. Stategraph models it as a graph with ACID transactions and subgraph isolation.

Read more