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

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)

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

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

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

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 :))

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

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 :))

This is not an April Fool! #IYKYK #ocaml

Ppxlib.0.36.0 has been released which bumps the internal AST to OCaml 5.2.0! I wrote a little about the release and the chaos it has caused for downstream ppxlib users patrick.sirref.org/ppxlib-5-2.xml

I'm #hiring: PDRA to join my #ukriflf project to understand how forest structure, function and dynamics are linked in Europe, using high resolution remote sensing data (TLS, UAV-LS). Based in Cambridge. Please share! 🌳⚡🛰️🌲 Full details: www.jobs.cam.ac.uk/job/50447/ #pdra #forests #lidar

Eio 🤝 Picos

A reminder that the deadline for mentors to sign up with a project is this Friday (March 7th 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...

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

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

Hello! This post is from the OCaml library: https://github.com/patricoferris/atproto

Our EEG seminars are mushrooming again: Toby Kiers shows how imaging robots let us measure the dynamics of nutrient flows through fungal networks underground. She co-founded the Society for the Protection of Underground Networks! Public at @cst.cam.ac.uk FW11 tomorrow talks.cam.ac.uk/talk/index/2...