Sign in

patrick

@patrick.sirref.org
81 followers 56 following 44 posts

PhD Student @ Uni of Cam patrick.sirref.org github.com/patricoferris

PostsRepliesMedia
Reposted by patrick
Shriram Krishnamurthi @shriram.bsky.social · 09/09/2026
Super excited to share "A Design Space Exploration of Async/Await". How differently does async/await behave across today's languages? (More than you might expect!) And what *is* "structured concurrency"? Check out our ~interactive~ blog post introducing the paper: cel.cs.brown.edu/blog/design-...
cel.cs.brown.edu
A Design Space Exploration of Async/Await
Every language pitches async/await as synchronous-looking code, and the same two keywords appear everywhere. But behind the shared syntax hide nine independent design decisions, and no two of seven mo...
310327
Reposted by patrick
Thomas Gazagnaire @gazagnaire.org · 02/04/2026
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...
gazagnaire.org
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.
2218
Reposted by patrick
Yaron Minsky @yminsky.bsky.social · 29/03/2026
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...
anil.recoil.org
OxCaml Labs
OxCaml Labs
3274
patrick @patrick.sirref.org · 02/03/2026
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-...
discuss.ocaml.org
Outreachy May 2026
Hello everyone, The OCaml community has signed up to Outreachy May 2026 (see past posts)! What is Outreachy? Outreachy is a paid, remote internship program. Outreachy promotes diversity in open sou...
043
patrick @patrick.sirref.org · 11/11/2025
A rough and ready, online Hazel of OCaml compiler: patricoferris.github.io/hazel_of_oca...
patricoferris.github.io
hazoo
296
Reposted by patrick
Eoghan Daltun 🌍 @irishrainforest.bsky.social · 06/11/2025
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!!
1336449
patrick @patrick.sirref.org · 26/09/2025
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-...
discuss.ocaml.org
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...
185
patrick @patrick.sirref.org · 20/09/2025
The #OCaml community are looking for mentors and projects for the next round of Outreachy. More details at: discuss.ocaml.org/t/outreachy-...
discuss.ocaml.org
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...
194
Reposted by patrick
David Allsopp @dra27.uk · 15/09/2025
3 years since I finalised the demo of it for the OCaml Workshop in Ljubljana, Relocatable OCaml is finally submitted for review! 🥳🍾🎊
2205
patrick @patrick.sirref.org · 02/09/2025
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
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...
163
patrick @patrick.sirref.org · 08/08/2025
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
0103
Reposted by patrick
Sam Westrick @shwestrick.bsky.social · 04/08/2025
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...
conf.researchr.org
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...
182
Reposted by patrick
Ink & Switch @inkandswitch.com · 23/07/2025
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)
inkandswitch.com
Automerge TypeScript Maintainer
Industrial research lab working on digital tools for creativity and productivity
05822
Reposted by patrick
Anil Madhavapeddy @anil.recoil.org · 23/07/2025
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
1104
Reposted by patrick
David Allsopp @dra27.uk · 20/07/2025
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!)
Terminal screenshot showing an existing opam switch being cloned in under 5 seconds on Linux, with the new compiler reporting its new location
2134
Reposted by patrick
FUN OCaml @fun-ocaml.com · 16/07/2025
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.
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.
095
Reposted by patrick
Marcello Seri @mseri.me · 06/07/2025
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-ml.dev
raven: Modern scientific computing for OCaml
modern scientific computing for OCaml
0114
Reposted by patrick
Anil Madhavapeddy @anil.recoil.org · 27/06/2025
"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-... 🌍
anil.recoil.org
Steps towards an ecology of the Internet
054
Reposted by patrick
Anil Madhavapeddy @anil.recoil.org · 24/06/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…
0171
Reposted by patrick
Yaron Minsky @yminsky.bsky.social · 24/06/2025
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...
1347
Reposted by patrick
KC Sivaramakrishnan @kcsrk.info · 04/06/2025
A follow up post on linearity and uniqueness: kcsrk.info/ocaml/modes/....
kcsrk.info
Linearity and uniqueness · KC Sivaramakrishnan
193
patrick @patrick.sirref.org · 04/06/2025
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
121
Reposted by patrick
ryan.freumh.org @ryan.freumh.org · 08/05/2025
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.
241
patrick @patrick.sirref.org · 09/05/2025
You can try Janestreet's #OCaml with modes in your browser at patrick.sirref.org/oxcaml
patrick.sirref.org
Try OxCaml
An OCaml toplevel supporting Janestreet's Modes
285
Reposted by patrick
Kiran @kirancodes.me · 28/04/2025
Reminder for the #OCaml workshop! Deadline is in 2 months, July 3rd AoE! Please consider submitting this year!!
032
patrick @patrick.sirref.org · 04/05/2025
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
2206
patrick @patrick.sirref.org · 02/05/2025
This is great! I've been a happy beta-user for a while :))
040
patrick @patrick.sirref.org · 22/04/2025
I finally got around to redeploying sherlorocq.sirref.org -- a search index over all of the sources in Rocq's main opam repository 🐓
sherlorocq.sirref.org
Sherlorocq
032
patrick @patrick.sirref.org · 17/04/2025
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
Outreachy December 2024 Demo
The OCaml community participated in the December 2024 round of Outreachy internships. One intern worked on a tool for diffing OCaml APIs. This meeting was an opportunity for our intern to present t...
042
patrick @patrick.sirref.org · 08/04/2025
Join us next week for the OCaml community's Outreachy Demo Day! discuss.ocaml.org/t/outreachy-...
discuss.ocaml.org
Outreachy December 2024 Round
With the June 2025 round about to begin, it is time to celebrate the awesome work @abdulaziz.alkurd has been doing on ocaml-api-watch mentored by @NathanReb and @panglesd! Please join us on 2025-04-1...
021
patrick @patrick.sirref.org · 03/04/2025
Great work my good friend ~Ryan Gibb~ handle.invalid :))
030
Reposted by patrick
David Allsopp @dra27.uk · 01/04/2025
This is not an April Fool! #IYKYK #ocaml
061
patrick @patrick.sirref.org · 09/03/2025
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
patrick.sirref.org
1122
Reposted by patrick
Emily Lines @emilyrlines.bsky.social · 24/02/2025
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
jobs.cam.ac.uk
Research Associate (Fixed Term) - Job Opportunities - University of Cambridge
Research Associate (Fixed Term) in the Department of Geography at the University of Cambridge.
13736
patrick @patrick.sirref.org · 03/03/2025
Eio 🤝 Picos
An OCaml program showing two fibers being run a Picos effects handler. The program uses functions from Eio to create fibers and promises.
040
patrick @patrick.sirref.org · 02/03/2025
A reminder that the deadline for mentors to sign up with a project is this Friday (March 7th 2025)!
012
patrick @patrick.sirref.org · 28/02/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...
patrick.sirref.org
296
Reposted by patrick
KC Sivaramakrishnan @kcsrk.info · 25/02/2025
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...
kcsrk.info
77323
patrick @patrick.sirref.org · 19/02/2025
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-...
discuss.ocaml.org
Outreachy June 2025
Hi everyone! Once again, the OCaml community has signed up to Outreachy (see past posts)! What is Outreachy? Outreachy is a paid, remote internship program. Outreachy promotes diversity in open sou...
132
patrick @patrick.sirref.org · 31/01/2025
Hello! This post is from the OCaml library: github.com/patricoferris/atproto
2244
Reposted by patrick
Energy & Environment Group, Cambridge Computer Science @eeg.cl.cam.ac.uk · 30/01/2025
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...
talks.cam.ac.uk
talks.cam : Decoding Fungal Trade Algorithms for Carbon Drawdown
033