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...

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.

gazagnaire.org

This is a fairly wild post about OxCaml Labs from @avsm . It's hard to summarize the stuff they're doing, but, some examples: - Some wild vibecoding - A formal semantics for package managers - A decade of docker containers (including OxCaml!?!) anil.recoil.org/projects/oxc...

OxCaml Labs

OxCaml Labs

anil.recoil.org

The #OCaml community will be taking part in #outreachy in May 2026. You can read more about it and consider signing up as a mentor at the following link 🐫 discuss.ocaml.org/t/outreachy-...

A rough and ready, online Hazel of OCaml compiler: patricoferris.github.io/hazel_of_oca...

Records of great spotted woodpecker, extinct in Ireland for centuries, but which reintroduced itself naturally to the east coast and has been moving west ever since. Still waiting for them to make it down to my place in Beara, but looks like it's only a matter of time! Nature CAN come back!!

A great opportunity to help work on OCaml's modern scientific computing ecosystem, Raven, with a fantastic co-mentor Thibaut! discuss.ocaml.org/t/outreachy-...

The #OCaml community are looking for mentors and projects for the next round of Outreachy. More details at: discuss.ocaml.org/t/outreachy-...

3 years since I finalised the demo of it for the OCaml Workshop in Ljubljana, Relocatable OCaml is finally submitted for review! 🥳🍾🎊

We just wrapped another very successful round of Outreachy with the OCaml community. The presentations from our fantastic interns are online now! watch.ocaml.org/w/kZJRFM6iw9...

I recently wrote a retrospective on Irmin, an OCaml library for building mergeable, branchable distributed data stores. It mainly focuses on the pain points I have found developing multiple applications using Irmin over the past few years. patrick.sirref.org/irmin-retro

happy to announce that we have 8 accepted submissions for the ML Family Workshop this year! 🎉 Topics include type systems, type-guided domain modeling, compilers IRs and optimization, module systems, successor MLs, and scripting languages. Check it out! conf.researchr.org/home/icfp-sp...

ML Family Workshop 2025 - Higher-order, Typed, Inferred, Strict: ML Family Workshop 2025 - ICFP/SPLASH 2025

ML is a large family of programming languages that includes Standard ML, OCaml, F#, CakeML, SML#, Manticore, MetaOCaml, JoCaml, Alice ML, Dependent ML, Flow Caml, Reason ML, Flix, MaPLe, and many othe...

conf.researchr.org

Do you write TypeScript? Enjoy Automerge? Love building both tools and community? You might be a great fit for our ✨new✨ Automerge TypeScript Maintainer role! www.inkandswitch.com/jobs/automer... (Remote role, 🇬🇧 UK-based preferred but not required)

Automerge TypeScript Maintainer

Industrial research lab working on digital tools for creativity and productivity

inkandswitch.com

Right this is how I’m going to do our ICFP talk @patrick.sirref.org! Very cool to see OCaml web components to make executable notebooks online really easy patrick.sirref.org/slipshow-x-x...

Testing opam packages for Relocatable OCaml which actually take advantage of it. Creating a new switch using the same version as one you've already built in another switch now takes 5 seconds, rather than 2 minutes (cloning the compiler itself takes just 100ms of that 5 seconds!)

Paul-Elliot Angles d'Auriac: Slipshow: A Full-Featured Presentation Tool in OCaml FUN OCaml 2025 | Warsaw | Sept 15-16 How one developer rewrote a JavaScript presentation tool in OCaml, creating a platform with runtime engine, collaborative editing, VSCode extension & app.

Raven (raven-ml.dev ) is a new framework for scientific computing in #OCaml. Still in alpha, but from a brief look at it, I am very energized: the API is quite clean, and they are avoiding some of the main pitfalls that affected owl. I am looking forward to play with this at the first opportunity!!

"Steps to the Ecology of the Internet" will appear in the decennial Aarhus 2025, where we go on a wild ride merging concepts from ecology into the heart of Internet architecture and the end-to-end principle. Read more at anil.recoil.org/news/2025-in... and paper at anil.recoil.org/papers/2025-... 🌍

Steps towards an ecology of the Internet

anil.recoil.org

Well done to undergrad Max Carroll on presenting his research on the Hazel live functional language to @neurocy.bsky.social and team in Michigan! Conditions were sweltering in Cambridge…

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...

A follow up post on linearity and uniqueness: kcsrk.info/ocaml/modes/....

KC Sivaramakrishnan@kcsrk.info · last yr.

Using uniqueness mode for improving behavioural types: kcsrk.info/ocaml/modes/...

I've been experimenting with OCaml and eBPF to build an "opentrace" tool for monitoring which files your program reads and writes. patrick.sirref.org/open-trace

This afternoon was spent #vibecoding a Matrix bot to listen in on our computer lab occupancy channel and reply to queries with a local Ollama hosted LLM on one of our GPU machines. Of questionable utility, but kind of neat.

You can try Janestreet's #OCaml with modes in your browser at patrick.sirref.org/oxcaml

Reminder for the #OCaml workshop! Deadline is in 2 months, July 3rd AoE! Please consider submitting this year!!

Kiran@kirancodes.me · last yr.

Calling for Presentations!!! The OCaml Workshop 2025 welcomes presentations on any topic related to OCaml (such as multicore, algebraic effects, testing, ppxs, etc.) Have fun!! Submissions due: July 3rd AoE Workshop: Oct 17th Here's the link to website: conf.researchr.org/home/icfp-sp... #OCaml

I wrote up a quick post about the OCaml to Hazel transpiler I've been hacking on recently. Reusing OCaml's type inference to handle Hazel's explicit polymorphism has been pretty fun! patrick.sirref.org/hazel-of-ocaml

This is great! I've been a happy beta-user for a while :))

@ryan.freumh.org · last yr.

The next release of OCaml's package manager, opam, will have support for dependency management with Nix! ryan.freumh.org/opam-nix.html #nix #ocaml

I finally got around to redeploying sherlorocq.sirref.org -- a search index over all of the sources in Rocq's main opam repository 🐓

Thank you everyone who joined the OCaml community's Outreachy Demo day, the meeting is now online watch.ocaml.org/w/eWRikkpwoo...

patrick@patrick.sirref.org · last yr.

Join us next week for the OCaml community's Outreachy Demo Day! discuss.ocaml.org/t/outreachy-...

Join us next week for the OCaml community's Outreachy Demo Day! discuss.ocaml.org/t/outreachy-...

Great work my good friend ~Ryan Gibb~ handle.invalid :))

@ryan.freumh.org · last yr.

I've written a command line-calendar client for vdir [0]: (the calendar maildir [0]): github.com/RyanGibb/cal... [0] pimutils.org/specas/vdir/ [1] en.wikipedia.org/wiki/Maildir