Blog

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

RSS Feed
All Terraform 204 Infrastructure 142 GitHub 70 Security 53 DevOps 46 State Management 36 GitOps 34 OpenTofu 31 CI/CD 25 Automation 20 Policy 20 Infrastructure As Code 19 Open Source 18 AWS 16 OCaml 8

What build systems taught us about Terraform automation

How an academic paper about build systems helped us rethink Terraform automation and build a better execution engine.

Infrastructure Engineering Terraform

Is OCaml a hiring hindrance?

We get asked constantly if OCaml makes hiring impossible. The answer is no. The smaller pool filters for quality, people are eager to learn, and we're not competing with FAANG for the same candidates.

OCaml Hiring Engineering

Why we chose OCaml to write Stategraph

When managing infrastructure, state corruption must be impossible. OCaml's type system catches entire categories of bugs at compile time.

OCaml Type Systems Functional Programming

Engineering Log: Testing round-trip validation for lossless ingestion

Stategraph ingests Terraform state through four transformations. We built a round-trip validation test to prove every transformation is lossless.

Engineering Log Data Integrity Stategraph

How we're beating $359M in funding with two people and OCaml

Terrateam has done a lot with a little.

OCaml Infrastructure GitHub

Cohttp vs. libcurl: Why Terrateam switched to libcurl

Terrateam switched its HTTP library to libcurl but we ran into some unique issues during development

GitHub OCaml Monitoring

Ocaml to PostgreSQL: Building Dynamic Queries with Type Safety

Learn how we implemented dynamic query execution in PostgreSQL for our Audit Trail feature, balancing type safety and performance.

OCaml GitHub Performance

The Scavenger Method of Refactoring

How I refactor big pieces of code.

OCaml