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
Yes I looked at styled-ppx - but I really didn’t want to have ppx involved (at least at this stage). Wanted support for variables and all what’s needed by tailwind v4 too
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...
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...
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
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
We chose #OCaml for Stategraph because "move fast and break state" didn't sound like a great product strategy.
stategraph.dev/blog/why-we-...
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
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!
Looking forward to use this to improve the UX of using Irmin and MirageOS
My approach so far is to treat AI code assistants as an extension of “a large team with communication challenges working on the same codebase.” You need better tools to clean up the local optima that individual agents get stuck in. See prune and merlint:
discuss.ocaml.org/t/ann-new-to...
Happy to do so whenever you are free :-)
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
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.
Fun with Include and Open in #OCaml to encode import schemas. A questionable use of the module language!
xvw.lol/en/articles/...
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...
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!
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
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.
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)
...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...
A great new talk from Chris Casinghino, about making OCaml a better language for performance engineering.
youtu.be/g3qd4zpm1LA?...
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.
Initial idea - July 2019
Design proposal (before any code! 😇) - November 2019
Initial prototype - September 2021
Working prototype - September 2022
Candidate implementation - April 2025 #RAD 🫣
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
🐪 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/...
a space camel jumping out of a spacecraft
I've edited your picture to make it more real 🐫
The satellite is now in orbit, and the hardware is working fine. We can run the software tests in May to ensure everything works as expected. It's interesting to see the latency for such checks!
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.
🐫🏖️
Sorry for the bazaar 🤣