patrick
@patrick.sirref.org
A rough and ready, online Hazel of OCaml compiler: patricoferris.github.io/hazel_of_oca...
hazoo
patricoferris.github.io
November 11, 2025 at 4:11 PM
A rough and ready, online Hazel of OCaml compiler: patricoferris.github.io/hazel_of_oca...
Reposted by patrick
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!!
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!!
November 6, 2025 at 6:52 AM
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!!
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-...
Outreachy Mentors Wanted
I have submitted two projects for this round: Create an OxCaml backend for Raven Create a monitoring dashboard for Raven For 1., the title is descriptive enough: the goal is to implement a new OxCa...
discuss.ocaml.org
September 26, 2025 at 12:36 PM
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-...
Outreachy Mentors Wanted
I’m excited to share that the OCaml community has secured funding for the next round of Outreachy. Thanks to Jane Street and Tarides, we have funding for 3 mentees in the next cohort of Outreachy inte...
discuss.ocaml.org
September 20, 2025 at 9:55 AM
The #OCaml community are looking for mentors and projects for the next round of Outreachy. More details at: discuss.ocaml.org/t/outreachy-...
Reposted by patrick
3 years since I finalised the demo of it for the OCaml Workshop in Ljubljana, Relocatable OCaml is finally submitted for review! 🥳🍾🎊
September 15, 2025 at 11:45 AM
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...
watch.ocaml.org/w/kZJRFM6iw9...
Outreachy May 2025 Demo Day
The OCaml community participated in the May 2025 round of Outreachy internships. Two interns worked on a range of projects including Claudius and Dune. This meeting was an opportunity for the inter...
watch.ocaml.org
September 2, 2025 at 9:51 AM
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...
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
patrick.sirref.org/irmin-retro
patrick.sirref.org
August 8, 2025 at 8:21 AM
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
patrick.sirref.org/irmin-retro
Reposted by patrick
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...
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
August 4, 2025 at 6:36 PM
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...
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...
Reposted by patrick
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)
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
www.inkandswitch.com
July 23, 2025 at 10:05 PM
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)
www.inkandswitch.com/jobs/automer...
(Remote role, 🇬🇧 UK-based preferred but not required)
Reposted by patrick
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...
patrick.sirref.org
July 23, 2025 at 5:59 PM
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...
Reposted by patrick
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!)
July 20, 2025 at 3:11 PM
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!)
Reposted by patrick
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.
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.
July 16, 2025 at 1:00 PM
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.
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.
Reposted by patrick
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!!
raven: Modern scientific computing for OCaml
modern scientific computing for OCaml
raven-ml.dev
July 6, 2025 at 1:27 PM
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!!
Reposted by patrick
"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
June 27, 2025 at 12:44 PM
"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-... 🌍
Reposted by patrick
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…
June 24, 2025 at 12:48 PM
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…
Reposted by patrick
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...
dl.acm.org/doi/pdf/10.1...
June 24, 2025 at 8:57 AM
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...
dl.acm.org/doi/pdf/10.1...
Reposted by patrick
A follow up post on linearity and uniqueness: kcsrk.info/ocaml/modes/....
June 4, 2025 at 6:08 AM
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
patrick.sirref.org/open-trace
patrick.sirref.org
June 4, 2025 at 1:10 PM
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
patrick.sirref.org/open-trace
Reposted by patrick
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.
May 8, 2025 at 2:46 PM
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
Try OxCaml
An OCaml toplevel supporting Janestreet's Modes
patrick.sirref.org
May 9, 2025 at 1:58 PM
You can try Janestreet's #OCaml with modes in your browser at patrick.sirref.org/oxcaml
Reposted by patrick
Reminder for the #OCaml workshop! Deadline is in 2 months, July 3rd AoE!
Please consider submitting this year!!
Please consider submitting this year!!
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
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
OCaml 2025 - OCaml Users and Developers Workshop 2025 - ICFP/SPLASH 2025
The OCaml Users and Developers Workshop brings together industrial users of OCaml with academics and hackers who are working on extending the language, type system, and tools. Previous editions have b...
conf.researchr.org
April 28, 2025 at 2:22 AM
Reminder for the #OCaml workshop! Deadline is in 2 months, July 3rd AoE!
Please consider submitting this year!!
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
patrick.sirref.org/hazel-of-ocaml
patrick.sirref.org
May 4, 2025 at 12:37 PM
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
patrick.sirref.org/hazel-of-ocaml
This is great! I've been a happy beta-user for a while :))
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
Opam's Nix system dependency mechanism
Ryan Gibb
ryan.freumh.org
May 2, 2025 at 12:00 PM
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 🐓
Sherlorocq
sherlorocq.sirref.org
April 22, 2025 at 5:55 AM
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...
watch.ocaml.org/w/eWRikkpwoo...
April 17, 2025 at 9:52 AM
Thank you everyone who joined the OCaml community's Outreachy Demo day, the meeting is now online
watch.ocaml.org/w/eWRikkpwoo...
watch.ocaml.org/w/eWRikkpwoo...