Sign in

Thomas Gazagnaire

@gazagnaire.org
687 followers 78 following 36 posts

#ocaml #mirageOS - CEO of @tarides.com - CTO of parsimoni.co ex Docker, Unikernel Systems, Citrix DMs open for collaboration on OCaml, Irmin or MirageOS projects!

PostsRepliesMedia
Thomas Gazagnaire @gazagnaire.org · 23/09/2026
Rewriting TailwindCSS in OCaml: gazagnaire.org/blog/2026-09...
gazagnaire.org
Thomas Gazagnaire :: Rewriting Tailwind CSS in OCaml: Is It (Pixel-)Correct?
How do you know a second Tailwind compiler is right? Byte comparisons, then a CSS-aware diff, and finally Chrome comparing pixels, with mutation tests to check the checker. The oracles behind tw 1.1.0...
092
Reposted by Thomas Gazagnaire
David Engelmann @david-engelmann.bsky.social · 14/09/2026
Proud to announce a full featured OCaml client for Bluesky and the AT Protocol. Built so you or an agent can pick it up and get integrated immediately without the headache opam install atproto github.com/david-engelm...
github.com
GitHub - david-engelmann/atproto: OCaml AT Protocol client — opam install atproto
OCaml AT Protocol client — opam install atproto. Contribute to david-engelmann/atproto development by creating an account on GitHub.
072
Thomas Gazagnaire @gazagnaire.org · 22/07/2026
I have rewritten from scratch a CSS minifier/differ in pure OCaml, and it seems to be competitive with the best minifiers out there! gazagnaire.org/blog/2026-07... #ocaml #css #web
gazagnaire.org
Thomas Gazagnaire :: Cascade: A Typed CSS Toolkit in OCaml
Porting Tailwind to OCaml needed a CSS parser. The parser grew a typed AST, and a structural diff and a minifier fell out of it. Cascade 1.0.0 is that toolkit, and it turns out to be competitive with ...
0125
Thomas Gazagnaire @gazagnaire.org · 21/04/2026
Tailiwind with Node: here is tw, my port of Tailwind CSS v4 to OCaml! With a live demo of tailwind classes compilation running in the browser: gazagnaire.org/blog/2026-04...
gazagnaire.org
Thomas Gazagnaire :: Tailwind Without Node
A pure OCaml implementation of Tailwind CSS v4, matching the reference binary byte for byte. Drops the Node dependency from my OCaml web stack, and the same library compiles the classes in your browse...
094
Thomas Gazagnaire @gazagnaire.org · 07/04/2026
Predicting satellite collisions in OCaml! The screening pipeline matches the TraCSS answer key, and the 3D globe runs in the browser via js_of_ocaml. gazagnaire.org/blog/2026-04... #space #OCaml
gazagnaire.org
Thomas Gazagnaire :: Predicting Satellite Collisions in OCaml
Open test data for predicting satellite collisions. I built the full screening pipeline in OCaml, validated it against the answer key, and put a 3D globe in the browser.
092
Thomas Gazagnaire @gazagnaire.org · 02/04/2026
I've finally managed to write why I'm doing a bit more regularly. Hint: it took a while because I had first to rewrite the world in #OCaml ... gazagnaire.org/blog/2026-04...
gazagnaire.org
Thomas Gazagnaire :: A CSS Engine in OCaml
A typed CSS parser covering Level 3 through 5, a structural diff tool, and an optimiser. With a live browser demo via js_of_ocaml.
2218
Reposted by Thomas Gazagnaire
Terrateam @terrateam.io · 14/11/2025
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...
1124
Reposted by Thomas Gazagnaire
ferramentaslinux.bsky.social @ferramentaslinux.bsky.social · 08/11/2025
Just published a comprehensive guide to the OCaml programming language. Tried to go beyond the "what" and into the "why" – covering its foundational concepts, the fascinating case study of Jane Street, and its modern use in blockchain and security. Read more: 👉 tinyurl.com/yyrywrvb #Programming
tinyurl.com
What is OCaml? A Deep Dive into the High-Assurance Functional Programming Language
Blog com notícias sobre, Linux, Android, Segurança , etc
152
Reposted by Thomas Gazagnaire
xvw @xvw.lol · 07/11/2025
Very cool article! "Why I love OCaml" mccd.space/posts/ocaml-... (which is a much more concise and digestible version of my indigestible: xvw.lol/en/articles/...) #OCaml
mccd.space
Why I love OCaml
Personal blog of Marc Coquand.
072
Reposted by Thomas Gazagnaire
Terrateam @terrateam.io · 07/11/2025
We chose #OCaml for Stategraph because "move fast and break state" didn't sound like a great product strategy. stategraph.dev/blog/why-we-...
stategraph.dev
Why we chose OCaml to write Stategraph
OCaml's type system catches state corruption at compile time. Type-safe SQL, automatic serialization, and immutability by default prevent entire categories of bugs.
132
Reposted by Thomas Gazagnaire
sabine 🐫🦀 / "use ocaml"; @sabine.sh · 12/09/2025
FUN OCaml schedule is now live on the website, and I put the link to the scheduled YouTube live stream there as well! fun-ocaml.com#schedule
fun-ocaml.com
Fun OCaml 2025: Warsaw - September 15+16, 2025
Fun OCaml 2025 is a 2 days open source hacking event dedicated to OCaml enthusiasts and professionals around the globe! Let's get together for an exhilarating event packed with creativity, innovation,...
196
Reposted by Thomas Gazagnaire
xvw @xvw.lol · 13/08/2025
Here is a rather lengthy write-up (in English) explaining why I chose #OCaml as my main programming language for my personal and professional projects! xvw.lol/en/articles/... I hope you find this interesting, and I welcome any feedback!
xvw.lol
Why I chose OCaml as my primary language
A detailed explanation of why I chose OCaml as the ‘default’ programming language for every project.
12611
Thomas Gazagnaire @gazagnaire.org · 02/08/2025
Looking forward to use this to improve the UX of using Irmin and MirageOS
010
Reposted by Thomas Gazagnaire
FUN OCaml @fun-ocaml.com · 09/07/2025
Join Thibaut Mattio at FUN OCaml 2025 for "Build Language Models with Raven"! 📅 Sep 15-16, Warsaw 🇵🇱 Learn to build transformer models using OCaml & Raven's JAX-like ecosystem. We'll explore autodiff, attention mechanisms & leverage OCaml's type system for ML.
Conference announcement slide for FUNOCaml 2025 workshop. Dark blue background with orange FUNOCaml logo. Shows circular headshot photo of Thibaut Mattio, a young man with dark hair and beard smiling at camera. Title reads 'Build Language Models with Raven' with subtitle describing hands-on workshop for building transformer language models using OCaml and Raven's JAX-like ecosystem. Event details show September 15 + 16 in Warsaw, Poland
263
Reposted by Thomas Gazagnaire
xvw @xvw.lol · 30/06/2025
Fun with Include and Open in #OCaml to encode import schemas. A questionable use of the module language! xvw.lol/en/articles/...
xvw.lol
OCaml, modules, and import schemes
Using the module system open and include statements to reproduce common import patterns from other languages
084
Reposted by Thomas Gazagnaire
Yaron Minsky @yminsky.bsky.social · 24/06/2025
A gem from Stephen Dolan, which proposes replacing the "generational hypothesis" that drives the design of generational GCs with a notion of lifetime dispersion as measured by the gini coefficient. Nice to see economics playing a role here! dl.acm.org/doi/pdf/10.1...
1347
Reposted by Thomas Gazagnaire
Ty Overby @tyoverby.com · 22/06/2025
Something I predict will happen soon is using LLMs to port large test suites from one language / framework to another. Imagine starting a graphics or networking project and having hundreds of thousands of test cases already implemented!
1132
Reposted by Thomas Gazagnaire
Anil Madhavapeddy @anil.recoil.org · 13/06/2025
Been having much fun over at @eeg.cl.cam.ac.uk and @tarides.com helping Jane Street with this release. Here's the online release party (starring multicore-the-fluffy-camel, our beloved mascot). Blog post incoming soon, but in the meanwhile, enjoy browsing oxcaml.org
0102
Reposted by Thomas Gazagnaire
Yaron Minsky @yminsky.bsky.social · 13/06/2025
I'm pleased to announce OxCaml! OxCaml is Jane Street's branch of OCaml. We've given it a new name and a snazzy logo, and done a bunch of work to make it easy for people to try.
510840
Reposted by Thomas Gazagnaire
Martin Kleppmann @martin.kleppmann.com · 08/04/2025
Upcoming events on local-first: • Local-first Conf Berlin, Germany, 26–28 May www.localfirstconf.com – for industry folks • Workshop on Theory and Practice of Decentralized and Local-First Software, Bergen, Norway, 3 July 2025.ecoop.org/home/plf-pla... – for academics (industry crossover welcome)
localfirstconf.com
Local-First Conf 2025
Join us for the second edition of Local-First Conf. Connect with a rapidly-growing community in an intimate setting. Berlin 27th - 28th May 2025.
35719
Reposted by Thomas Gazagnaire
KC Sivaramakrishnan @kcsrk.info · 05/04/2025
👀 Oleg Kiselyov's compilers course in OCaml 👀 okmij.org/ftp/tagless-...
okmij.org
Compiler
The materials for the course on compilers: built incrementally and fully in tagless-final style
03916
Reposted by Thomas Gazagnaire
Anil Madhavapeddy @anil.recoil.org · 28/03/2025
...and @dra27.uk successfully showed off the relocatable compiler to the core OCaml devs yesterday. It'll be awesomely useful to have this in the core toolchain when it comes to playing well with package managers. www.dra27.uk/blog/platfor...
dra27.uk
OCaml Core Dev Meeting
OCaml Core Dev meeting at Inria yesterday. These are roughly biannual synchronous catchups which provide a chance to find out what others are up to, get feedback on any major ongoing work, and attempt...
052
Reposted by Thomas Gazagnaire
Yaron Minsky @yminsky.bsky.social · 04/04/2025
A great new talk from Chris Casinghino, about making OCaml a better language for performance engineering. youtu.be/g3qd4zpm1LA?...
youtu.be
Making OCaml Safe for Performance Engineering
YouTube video by Jane Street
0165
Reposted by Thomas Gazagnaire
Programming for the Planet @propl.dev · 03/04/2025
The 2nd Programming for the Planet workshop will be hybrid and co-located with ICFP/SPLASH in October in Singapore! Our call for papers is out at conf.researchr.org/home/icfp-sp..., submission deadline 3rd July 2025.
conf.researchr.org
PROPL 2025 - Programming for the Planet 2025 - ICFP/SPLASH 2025
There are simultaneous interlinked crises across the planet due to human actions: climate change, biodiversity loss, and desertification. Addressing these challenges requires, amongst other things, a ...
12311
Reposted by Thomas Gazagnaire
David Allsopp @dra27.uk · 27/03/2025
Initial idea - July 2019 Design proposal (before any code! 😇) - November 2019 Initial prototype - September 2021 Working prototype - September 2022 Candidate implementation - April 2025 #RAD 🫣
github.com
Relocatable OCaml by dra27 · Pull Request #53 · ocaml/RFCs
Rendered version. The first proof-of-concept of this work was presented at OCaml Workshop 2022. The OCaml compiler distribution requires the Standard Library to be stored in a fixed location, speci...
1113
Reposted by Thomas Gazagnaire
Terrateam @terrateam.io · 26/03/2025
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
github.com
GitHub - terrateamio/openinfraquote: Fast, open-source tool for estimating infrastructure costs from Terraform plans and state files
Fast, open-source tool for estimating infrastructure costs from Terraform plans and state files - terrateamio/openinfraquote
1165
Reposted by Thomas Gazagnaire
Jms Dnns @jmsdnns.bsky.social · 26/03/2025
🐪 OpenInfraQuote (oiq) Malcolm just did a presentation on our new tool (oiq) from @terrateam.io for computing the cost of infrastructures. It's written in Ocaml and it's open source! github.com/terrateamio/...
162
Reposted by Thomas Gazagnaire
GOTO Conferences @gotocon.com · 21/03/2025
Why are companies quietly using Elm, OCaml, and Haskell? Evan Czaplicki explores how typed functional languages offer competitive advantages to businesses like Jane Street & Standard Chartered, and how to evaluate their potential for your company.
youtu.be
A Decision Maker's Guide to Typed Functional Languages • Evan Czaplicki • GOTO 2024
This presentation was recorded at GOTO Copenhagen 2024. #GOTOcon #GOTOcphhttps://gotocph.comEvan Czaplicki - Creator and developer of Elm @EvanCzaplicki RESO...
1193
Reposted by Thomas Gazagnaire
BOB Konferenz @bobkonf.de · 14/03/2025
Xavier van de Woystene presents on "Beyond the Basics of LSP: Advanced IDE services for OCaml" at #BOBkonf2025
Xavier van de Woestyne holds a presentation in front of a crowded room
1114
Reposted by Thomas Gazagnaire
BOB Konferenz @bobkonf.de · 14/03/2025
And we're off! #BOBkonf2025 starts with Annette Bieniusa's keynote "Local-first Software".
A light-skinned woman with blonde hair and glasses, speaks at BOB conference 2025. A slide with a picture of a light-skinned man with grey hair and a grey beard, are up on the projector.
076
Reposted by Thomas Gazagnaire
KC Sivaramakrishnan @kcsrk.info · 14/03/2025
If all goes well, OCaml 5 code will ride into space in < 24 hrs. www.dphispace.com/post/parsimo...
55612
Reposted by Thomas Gazagnaire
Manuel Chakravarty @tacticalgrace.justtesting.org · 14/03/2025
The keynote at @bobkonf.bsky.social is by Annette Bieniusa on “Local-first Software”.
043
Reposted by Thomas Gazagnaire
Hyeseong Kim @hyeseong.kim · 12/03/2025
Experimented with wasm_of_ocaml build for @rescript-lang.org compiler It gave almost 3x faster performance than the original js_of_ocaml build! 🔥
rescript built w/ wasm_of_ocaml compiled a demo code in 453.4msrescript built w/ js_of_ocaml compiled a demo code in 1284ms
1183
Reposted by Thomas Gazagnaire
David Allsopp @dra27.uk · 01/03/2025
Finally - Relocatable OCaml in “fully relocatable” mode is also reproducible (as long as the C compiler is reproducible) and passes its testsuite 😮‍💨🥳🎉🍾🎊
3489
Reposted by Thomas Gazagnaire
Yaron Minsky @yminsky.bsky.social · 26/02/2025
This is a fun talk by our very own John Crepezzi, at the AI Engineering Summit. If you're interested in doing this kind of work, you should apply! www.youtube.com/watch?v=D7Bz...
youtube.com
AI Engineer Summit 2025: Agent Engineering (Day 2)
YouTube video by AI Engineer
183
Reposted by Thomas Gazagnaire
Anil Madhavapeddy @anil.recoil.org · 28/02/2025
Oooh Unikraft has been selected for GSoC again this year -- would be very fun to have someone get Zig+OCaml+MirageOS+Unikraft work so that we could cross-compile OCaml straight onto embedded devices again summerofcode.withgoogle.com/programs/202...
summerofcode.withgoogle.com
Google Summer of Code
Google Summer of Code is a global program focused on bringing more developers into open source software development.
1103
Reposted by Thomas Gazagnaire
patrick @patrick.sirref.org · 28/02/2025
I took MirageOS's new "defunctorised" approach for a spin by upgrading VPNKit to the latest suite of MirageOS libraries. I wrote a little about the experience here. patrick.sirref.org/vpnkit-upgra...
patrick.sirref.org
296
Reposted by Thomas Gazagnaire
Martin Kleppmann @martin.kleppmann.com · 24/02/2025
Self-sufficiency can certainly be taken too far, and it would be inefficient for every country to try to build its own sovereign tech stack. But I do wonder how the new geopolitical reality may shape technology choices. Maybe local-first has a role to play in de-risking the use of US cloud services?
1413217
Reposted by Thomas Gazagnaire
KC Sivaramakrishnan @kcsrk.info · 25/02/2025
Is it possible to build a formally verified GC for OCaml that can be plugged into the compiler? We should how to in: "A Mechanically Verified GC for OCaml" kcsrk.info/papers/verif... This has been accepted to the Journal of Automated Reasoning. Code: github.com/prismlab/ver...
kcsrk.info
77323
Reposted by Thomas Gazagnaire
Anil Madhavapeddy @anil.recoil.org · 23/02/2025
Got pretty far with Zig/OCaml cross compilation in a couple of hours of messing around. I can now build binaries for my rPi from my mac with a dune build thanks to @chrisarmstrong.link's work! github.com/chris-armstr... for WIP
github.com
shift to a single package for selecting cross-target by avsm · Pull Request #4 · chris-armstrong/opam-cross-lambda
I&#39;ve successfully got this cross-compiling some binaries to my raspberry pi, from my mac now! I experimented with a different layout here to make it easier to add targets, added here as a draft...
2225
Reposted by Thomas Gazagnaire
patrick @patrick.sirref.org · 19/02/2025
The #OCaml community has signed up to Outreachy! Please do consider signing up to be a mentor, it's a lot of fun and a really great way to help grow the community :)) discuss.ocaml.org/t/outreachy-...
discuss.ocaml.org
Outreachy June 2025
Hi everyone! Once again, the OCaml community has signed up to Outreachy (see past posts)! What is Outreachy? Outreachy is a paid, remote internship program. Outreachy promotes diversity in open sou...
132
Reposted by Thomas Gazagnaire
Solomon Hykes @shykes.bsky.social · 16/02/2025
Just like we containerized webapps, we'll have to containerize AI agents... but how? What first principles led to containers in the first place, and how do they transpose to LLMs? This was my first talk at an AI meetup, but I doubt it will be the last! youtu.be/XWO_3My2eVU?...
22311
Reposted by Thomas Gazagnaire
KC Sivaramakrishnan @kcsrk.info · 16/02/2025
"Automatically Verifying Replication-aware Linearizability" has been accepted to OOPSLA 25. Draft: kcsrk.info/papers/mrdtc... This work is a substantial improvement over our prior work (dl.acm.org/doi/10.1145/...) on verifying MRDTs.
kcsrk.info
1274
Reposted by Thomas Gazagnaire
Nitrokey @nitrokey.bsky.social · 02/02/2025
New NetHSM 2 available now - after releasing NetHSM just over a year ago. NetHSM 2 offers more powerful hardware and therefore even better speed (over 50% faster). 😎 See the details here: www.nitrokey.com/news/2025/ne... #opensource
nitrokey.com
New NetHSM 2 Hardware, Over 50 % Faster, Redundant PSU
021
Reposted by Thomas Gazagnaire
KC Sivaramakrishnan @kcsrk.info · 03/02/2025
retreat.mirageos.org
191
Reposted by Thomas Gazagnaire
KC Sivaramakrishnan @kcsrk.info · 31/01/2025
. @anil.recoil.org doing what he does best -- stitching together bleeding edge technologies into impressive stunts :-) anil.recoil.org/notes/bushel...
0113
Reposted by Thomas Gazagnaire
Yaron Minsky @yminsky.bsky.social · 30/01/2025
A post about the long and winding road that lead to the Dune build system for OCaml, and, eventually, to Dune replacing our old internal build system, Jenga. blog.janestreet.com/how-we-accid...
blog.janestreet.com
How we accidentally built a better build system for OCaml
A “build system” is one of the most important tools in a developer’stoolbox. Roughly, it figures out how to create runnable programs froma bunch of different...
1438
Reposted by Thomas Gazagnaire
sabine 🐫🦀 / "use ocaml"; @sabine.sh · 28/01/2025
have you seen github.com/ocaml-multicore/saturn? it's a package that provides lock-free data structures for OCaml (and they are multicore-safe) do you have a project where this could be useful? I would love to chat
github.com
GitHub - ocaml-multicore/saturn: Lock-free data structures for multicore OCaml
Lock-free data structures for multicore OCaml. Contribute to ocaml-multicore/saturn development by creating an account on GitHub.
0344
Reposted by Thomas Gazagnaire
KC Sivaramakrishnan @kcsrk.info · 24/01/2025
Chennai OCaml is meeting again, this time at IIT Madras. www.meetup.com/chennai-ocam...
meetup.com
Chennai OCaml Meetup - January 2025, Thu, Jan 30, 2025, 5:30 PM | Meetup
Join us for the January Chennai OCaml Meetup! This month, we’ll have a few talks on OCaml topics, followed by informal discussions. It’s a chance to learn something new, s
093
Reposted by Thomas Gazagnaire
KC Sivaramakrishnan @kcsrk.info · 23/01/2025
dl.acm.org/doi/full/10....
dl.acm.org
It Is Time to Standardize Principles and Practices for Software Memory Safety | Communications of the ACM
0112