Invariant Systems
Founder
Building safe foundations for AI-built software and infrastructure, with a focus on agents, model tooling, and runtime systems.
Founder of Invariant Systems. Building Raven, an independent open-source AI ecosystem for OCaml. Previously led the OCaml Platform at Tarides.
Email Invariant GitHubI enjoy building products and developer tools. I'm the founder of Invariant Systems, where I'm building safe foundations for AI-built software and infrastructure. In parallel, I build Raven, an independent open-source AI ecosystem for OCaml.
With Raven, I'm exploring what a modern ML ecosystem could look like in OCaml. The goal is to make scientific computing in OCaml as productive as Python, while leveraging OCaml's strengths in type safety and performance. I'm also exploring paths to sustainable development around this ecosystem. Previously, I led the OCaml Platform initiative at Tarides.
Founder
Building safe foundations for AI-built software and infrastructure, with a focus on agents, model tooling, and runtime systems.
Participant
Selective programmers' retreat for self-directed research and learning. During my batch, I focused on building Raven, an open-source AI ecosystem bringing machine learning tooling to the OCaml language.
Director of Engineering/Engineering Manager
Tarides is on a mission to make software development more secure through OCaml.
I started as Principal Engineer and grew into leading 6 engineering teams as we scaled from a small tooling team to 40+ engineers. My main focus was the OCaml Platform - making OCaml's developer experience rival mainstream languages.
The highlight was launching the new OCaml.org. We went from a static site to a modern platform with package docs, job board, and playground.
I also drove our push to unify OCaml tooling through Dune package management and presented a community roadmap at ICFP 2023. I'm very proud of all the progress we made, shipping huge developer experience improvements across 10+ developer tools used by 400K+ developers.
CTO (Interim)
I was the interim CTO at Docent Art, where I built the technical foundation for an AI-powered art discovery platform. I designed and implemented a scalable infrastructure that became our competitive advantage: a data pipeline processing 300+ art websites daily, a crawling system, and a labeling platform for training our recommendation algorithms. The infrastructure allowed us to quickly prototype both web and mobile versions of our platform, supporting our product-market fit exploration and investor and client demos.
Thoughts on building developer tools, open-source communities, and the future of scientific computing in OCaml.
@inproceedings{2023_ocaml_platform,
author = {Thibaut Mattio and Anil Madhavapeddy and Thomas Gazagnaire and David Allsopp},
booktitle = {proceedings of the 2023 OCaml Users and Developers Workshop},
month = {sep},
title = {State of the OCaml Platform 2023},
url = {https://icfp23.sigplan.org/details/ocaml-2023-papers/15/State-of-the-OCaml-Platform-2023},
year = {2023}
}
@book{real_world_ocaml_2nd,
author = {Yaron Minsky and Anil Madhavapeddy and JD Unicorn},
title = {Real World OCaml: Functional Programming for the Masses},
year = {2024},
edition = {2},
publisher = {O'Reilly Media},
url = {https://dev.realworldocaml.org/}
}