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-...
Neat! Reminds me a little of patrick.sirref.org/part-ii-udsl too :)
They are similar (e.g. see references to Idris in [1]). One of the key differences, I think, is that Hazel programs can evaluate around typed holes, see [2] for an example of that!
(cc @neurocy.bsky.social and @disconcision.com)
[1] arxiv.org/pdf/1805.00155
[2] hazel.org/build/dev/?n...
h/t to @anil.recoil.org for the hazoo name
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...
I stand by it :)
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)
Yep! I believe there is support for saving the state of the cells locally in the works too which would be a good feature!
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...
Terminal screenshot showing an existing opam switch being cloned in under 5 seconds on Linux, with the new compiler reporting its new location
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!)
Conference presentation slide for FUNOCaml 2025 event in Warsaw, Poland on September 15-16. Features a circular photo of Paul-Elliot Angles d'Auriac, a person with shoulder-length wavy hair wearing round glasses and drinking from a blue cup. The slide announces a talk titled "Slipshow: A Full-Featured Presentation Tool in OCaml" and describes how Slipshow is a presentation tool originally written in JavaScript but rewritten in OCaml, featuring a runtime engine, compiler, collaborative editing website, VSCode extension, and standalone application. The talk explores how OCaml enabled a single developer to create and maintain such a comprehensive project.
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/....
It was pretty frustrating come up mostly short on a solution for io-uring that was reliable and that would remain stable across kernel versions. Any pointers there would be appreciated :)
This has additional support for tracking subprocesses and io-uring which bypasses the common syscall tracepoints.
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.
(( seems a bit broken on safari... ))
There's a little post about it here patrick.sirref.org/try-oxcaml
You can try Janestreet's #OCaml with modes in your browser at patrick.sirref.org/oxcaml
