@donalddinkenfelter.bsky.social is the modern-day Aristotle. If you don't follow him, you're dead to me.

I think a good metric for if you've made the right decision is if you feel a sense of clarity after, and I do. terrateam.io/pricing

We're hosting our next Stategraph demo day on Wednesday. If you like faster plan and applies, you should join. stategraph.dev/demo-day #terraform

Stategraph demo day was absolute madness. Huge turnout and great questions. Next one in December. You can watch the recording here: stategraph.dev/blog/enginee... #terraform

No, hiring isn't hard for #OCaml. The Blub paradox is real. I have 30 resumes in my Inbox. The hard part is saying no. terrateam.io/blog/is-ocam...

Woo!

We chose #OCaml for Stategraph because "move fast and break state" didn't sound like a great product strategy. stategraph.dev/blog/why-we-...

Hi #OCaml people. We're hiring. You should apply. Infrastructure is the mind-killer. terrateam.io/careers

Stategraph starts with losslessness. #Terraform state transforms four times: JSON to #OCaml to Postgres to OCaml to JSON. Each step can lose data. We built a round trip test to prove it doesn't. Not glamorous work, just correctness. stategraph.dev/blog/enginee...

Every layer of the stack is getting faster. #Terraform isn't. We're building Stategraph in #OCaml to change that. stategraph.dev/blog/terrafo...

Inside Terraform's DAG: How Dependency Ordering Really Works stategraph.dev/blog/terrafo... #terraform

Terrateam is looking for an OCaml developer for a 3-month contract. Remote, paid, interesting infra problems. DM if interested or know someone who might be. #ocaml

Terraform state has been a flat file for too long. What if it was a graph? We're exploring that idea with Stategraph stategraph.dev #terraform

So excited that our Co-Founder and CTO Malcolm Matalka is speaking at @fun-ocaml.com about why Terrateam is absolutely bonkers, no frameworks only libraries. Don't try this at home. #OCaml

Declarative programming keeps code composable and predictable. Recursion, iteration, data structures, and even security when state creeps in all through a pragmatic lens any Ocamler will appreciate. pid1.dev/posts/ctm-ch... #ocaml

This is our most frequently asked question in sales calls: how does Terrateam compare to a rock? Finally, we have an in-depth answer.

We just open sourced Terrateam's new UI. Our old one was barely usable, but customers didn’t pick us for that. They chose us for flexibility and fast support. Most OSS tools gatekeep UIs for enterprise. We're bootstrapped, so we don’t have to. Real value should be open. #opensource #terraform

🎉 Excited to announce Malcolm Matalka (from @terrateam.io ) will be speaking at #FUNOCaml 2025 in Warsaw! 🧡🐫 📅 September 15-16, 2025 📍 Warsaw, Poland

At Terrateam we're shipping a lot: new UI, GitLab support, PR summaries, blog posts. Next week we're taking a break from all AI talk. Fun rabbit hole, but time to lock in and crank out some #OCaml.

We shared a feedback form in the Terraform Users LinkedIn group. One response to "What’s stopped you from trying Terrateam?" "OCaml." Truth is, it's one of the reasons we move fast and ship safer. github.com/terrateamio/... #Terraform #OCaml

We're writing an RFD about how we write RFDs. Good decisions come from clear thinking and real discussion. As Terrateam grows, we want a process that supports diversity of thought and makes it safe to speak up. Inspired by @oxide.computer github.com/terrateamio/...

@yminsky.bsky.social did say it several years ago on Jane Street YT Video.

Contrary to popular belief, it is not difficult to hire for #OCaml. We just recently hired two fantastic engineers and had quite a few resumes come in.

This most recent podcast that appeared on (they’ve done quite a few) was worth a listen podcasts.apple.com/au/podcast/s...

How we're beating $359M in funding with two people and OCaml. Terrateam is a two-person startup, built in OCaml, competing with HashiCorp. We've bootstrapped it, open-sourced it, and stayed lean. terrateam.io/blog/punchin... #OCaml

Cory O’Daniel is the CEO of @massdriver.cloud and Malcolm Matalka is a Co-Founder at ‪Terrateam‬, and both are founding members of OpenTofu which is a fork of Terraform. They join @seanfalconer.bsky.social to talk about OpenTofu. @coryodaniel.com softwareengineeringdaily.com/2025/05/27/o...

Terraform Weekly #226 (sponsored by @terrateam.io) - ECS for Minecraft Server, Lambda Functions in Rust, Serverless LocalStack, Azure Verified Modules, Azure Landing Zones, Terratags Terrateam - Terraform CI/CD Without Limits ( github.com/terrateamio/... ) www.weekly.tf/p/issue-226-...

Is anything that's unsolved a mystery?

We just released OpenInfraQuote (oiq), an open source cost estimation tool built with OCaml. It runs in CI, reads Terraform plans and state files, and gives cost estimates from the CLI. No servers. More docs soon. We love building real tools in OCaml. github.com/terrateamio/... #ocaml #terraform

I feel so lucky getting to learn Ocaml with the folks at @terrateam.io Not only is @donalddinkenfelter.bsky.social (cofounder) one of my oldest friends, he is one of the best programmers I've ever known, and I've known at least a bobdyllion Can't wait to release the tool we've been building

If I designed Ocaml, there's be skateboarders everywhere val ( :[>-{o ) : 'a -> ('a -> 'b) -> 'b val ( o}-<]: ) : 'a -> ('a -> 'b) -> 'b And this would evaluate to true foo :[>-{o bar :[>-{o baz == baz o}-<]: bar foo

HashiCorp is now part of IBM. We wrote about what we think that means (not much). They lost their way a while ago. Now they are part of a company that is not exactly known for innovation. Meanwhile, OpenTofu is growing, and Terrateam is on a different path. terrateam.io/blog/hashico...

retry: My Favorite API pid1.dev/posts/retry-... #ocaml #api #pid1

We switched Terrateam from Cohttp to libcurl and ran into some unexpected issues integrating it into our custom event loop. Debugging socketfunction was fun! Here's the post: terrateam.io/blog/cohttp-... #ocaml

SQLite on the server? Sure, if you love to debug leader elections, babysit backups, and eventually migrate to Postgres anyway. Shrug. pid1.dev/posts/siren-... #sqlite #databases #infrastructure

🐫 Learn Programming with Ocaml New Ocaml book just dropped! usr.lmf.cnrs.fr/lpo/

We just moved from cohttp to libcurl. Should we blog about this? #ocaml

Looks like HashiCorp accidentally deleted their pgp-key.txt. Oops. Here's a mirror: github.com/terrateamio/... If you're using tenv, you can set the TFENV_HASHICORP_PGP_KEY environment variable to the file. #terraform

How should you organize your Terraform/OpenTofu code? We hear this question a lot, so we wrote a blog post to help answer it. However, context matters. Every environment has its own unique requirements. terrateam.io/blog/terrafo... #devops #sre #opentofu #terraform #infrastructureascode

❤️ Happy holidays! May your Terraform plans always succeed on the first try.

Thrilled to see Terrateam Open Source highlighted here as a solution that makes it simple to deploy a full Terraform/OpenTofu GitOps pipeline with just one config file. www.youtube.com/watch?v=rj1h... #infrastructureascode #terraform #opentofu #devops #sre

just published a new OCaml success story about @terrateam.io, the Open Source infrastructure as code platform 🤩 ocaml.org/success-stor...

We built a custom DSL in OCaml for Terrateam to filter and organize infra configs using structured "tag queries." Using Menhir and Sedlex, we developed the parser, AST, and matcher entirely from scratch. github.com/terrateamio/... #OCaml

We’re big fans of polymorphic variants, especially for result monads (Ok | Error). They enable flexibility by being modular and composable. That means you can combine calls from modules that don't know about each other in a single monadic flow. #OCaml

The Terrateam Console uses OCaml's type system and PostgreSQL's array capabilities to handle dynamic user-generated queries. By encoding inputs into arrays and referencing them in SQL, we ensure compile-time type safety without losing flexibility. Details: terrateam.io/blog/ocaml-t... #OCaml

OCaml vs. Haskell: youtu.be/ALk2-U_XD60 OCaml balances academic influences with practical considerations, making it well-suited for commercial use compared to Haskell. #OCaml #Haskell

Here's a short clip from our co-founder @donalddinkenfelter.bsky.social on why Terrateam chose OCaml. Functional purity and getting things done! It's all about compromise. www.youtube.com/watch?v=BUpR... #OCaml

The Terrateam repo is full of OCaml goodies, and we're starting to share them! Explore our pgsql_io library, our PostgreSQL interface built from the ground up: github.com/terrateamio/... Love what we're doing? Give us a star! ⭐️🙏 #OCaml #PostgreSQL

15 years ago, when OCaml's build system options were limited, our founder created pds: a TOML-based build system that integrates with Makefiles and simplifies tasks like ctypes bindings. Its flexible design supports other languages too. We even use it to generate Tailwind CSS files. #OCaml