Patrick Ferris 2026 2 9 https://patrick.sirref.org/outreachy-ocaml-tiff/ outreachy-ocaml-tiff /outreachy-ocaml-tiff/ Write support in OCaml TIFF library I am mentoring Tambe Salome during the December 2025 Outreachy round to add support for writing TIFF files in the ocaml-tiff library. You can now see the video of the demonstration day presentation: References Context Patrick Ferris 2026 3 30 https://patrick.sirref.org/weekly-2026-w13/ weekly-2026-w13 /weekly-2026-w13/ Ppxlib release and Merry updates Patrick Ferris 2026 3 30 https://patrick.sirref.org/ppxlib-release-0-38-0/ ppxlib-release-0-38-0 /ppxlib-release-0-38-0/ Ppxlib Releases › 0.38.0 Nathan and I released ppxlib.0.38.0 last week. Its main feature is full migration support for the upcoming OCaml 5.5 compiler (currently in its alpha3 release). This means supporting the handful of new features landing in OCaml 5.5: modular explicits, external type declarations and arbitrary "local" structure items. As Nathan and I continue to find a plausible maintenance story for ppxlib, Nathan has opened an issue on the OCaml compiler to discuss the idea of adding additional extension points to the language. This comes from the desire to be able to store encoded versions of new OCaml features inside older abstract syntax trees. There are also some nice bug fixes in there too: A potential OOM loop has now been removed. Locations have been restored to long identifiers! Patrick Ferris 2026 3 30 Merry updates It turns out writing a POSIX(ish) shell is hard; at least, there is a vast number of slightly obscure features that one needs to support. I think this is surprising because most people writing shell scripts write simple shell scripts; scripts that use a much smaller subset of features. In the same breath, those same developers are likely to use something like apt-get install bash which runs a plethora of more advanced (and non-POSIX) shell scripts! Patrick Ferris 2026 3 30 Exec redirects In a shell script, you can use the built-in command exec to replace the current process with a new one (e.g. exec vim). However, there is a different mode of operation for exec: If exec is specified with no operands, any redirections associated with the exec command shall be made in the current shell execution environment. One of my litmus tests for Merry is the Debian debootstrap scripts (h/t Anil). One thing that it does is the following: err printf " err $ 1 " >&4 exec 4>&1 A lot of detail has been elided for clarity. exec 4>&1 sets up a redirection for the shell's execution environment in which file descriptor 4 is now an alias for standard output. So, writing to 4 (by redirecting a command's standard output to 4 i.e. >&4) will output to where standard output is going (most likely the terminal). For this to work, shell's must dup2 the relevant file descriptors which have the following condition: If the file descriptor newfd was previously open, it is closed before being reused; the close is performed silently (i.e., any errors during the close are not reported by dup2()). This is all very well, unless your program has an important file already open that happens to have file descriptor 4. The Eio Linux and POSIX backends suffer from this problem. Both make use of a file-based synchronisation mechanism for waking up the eventloop should another domain push a completion to the scheduler's run queue. On Linux this is via an eventfd and in POSIX, a pipe. This dup2 will close the eventfd and will likely grind Eio to a halt (or an assert false). For now, I have resorted to vendoring Eio and moving the eventfd file descriptors to higher values, though I have opened a PR to make this more configurable. This bug is quite easy to write up... it was not so easy to find! As a random example, consider the debconf/confmodule script which offers very little room for a buggy implementation! Patrick Ferris 2026 3 30 Outreachy The presentations from the demonstrations for this round of Outreachy are now online! Patrick Ferris 2026 2 9 https://patrick.sirref.org/outreachy-ocaml-tiff/ outreachy-ocaml-tiff /outreachy-ocaml-tiff/ Write support in OCaml TIFF library I am mentoring Tambe Salome during the December 2025 Outreachy round to add support for writing TIFF files in the ocaml-tiff library. You can now see the video of the demonstration day presentation: https://patrick.sirref.org/outreachy/ outreachy /outreachy/ Outreachy Project https://www.outreachy.org/ Outreachy provides internships in open source and open science. Outreachy provides internships to people subject to systemic bias and impacted by underrepresentation in the technical industry where they are living. I am one of the coordinators for the OCaml community for Outreachy. I have also mentored multiple three-month internships for the community. Patrick Ferris 2026 2 9 https://patrick.sirref.org/outreachy-ocaml-tiff/ outreachy-ocaml-tiff /outreachy-ocaml-tiff/ Write support in OCaml TIFF library I am mentoring Tambe Salome during the December 2025 Outreachy round to add support for writing TIFF files in the ocaml-tiff library. You can now see the video of the demonstration day presentation: 2022 12 1 https://patrick.sirref.org/topojson-0001/ topojson-0001 /topojson-0001/ Implement a non-blocking, streaming codec for TopoJSON https://github.com/geocaml/ocaml-geojson GeoJSON is a JSON standardised format for handling simple geographical data. One common use of GeoJSON is to add map overlays such as with the popular JavaScript library leaflet. One issue with GeoJSON is redundant data, for example when two polygons share boundaries ideally only one would contain the full data about the boundary, however, with GeoJSON the data is duplicated. TopoJSON is an extension to GeoJSON to encode topology. This allows for redundant data to be removed and file sizes to be greatly reduced. This is often very desirable especially when working with data in the browser. In a previous Outreachy internship a new OCaml library was implemented to provide an OCaml library for TopoJSON, this project will build on this adding more functionality to the library and providing a non-blocking, streaming codec version similar to the geojsone library. 2022 6 1 https://patrick.sirref.org/topojson-0002/ topojson-0002 /topojson-0002/ Extend OCaml's GeoJSON library to support TopoJSON https://github.com/geocaml/ocaml-geojson GeoJSON is a JSON standardised format for handling simple geographical data. One common use of GeoJSON is to add map overlays such as with the popular JavaScript library leaflet. One issue with GeoJSON is redundant data, for example when two polygons share boundaries ideally only one would contain the full data about the boundary, however, with GeoJSON the data is duplicated. TopoJSON is an extension to GeoJSON to encode topology. This allows for redundant data to be removed and file sizes to be greatly reduced. This is often very desirable especially when working with data in the browser. In a previous Outreachy internship a new OCaml library was implemented to provide an OCaml library for TopoJSON, this project will build on this adding more functionality to the library and providing a non-blocking, streaming codec version similar to the geojsone library. 2021 6 1 https://patrick.sirref.org/ocamlorg-0001/ ocamlorg-0001 /ocamlorg-0001/ Improve the ocaml.org Website https://ocaml.org OCaml.org is the main website for OCaml, a functional, typed, high-level programming language. This project revolves around improving the website on multiple different fronts including: layout, accessibility and content. Because a lot of the content of the website is about OCaml and the website itself is written in OCaml, this would be a great opportunity for interns to learn the language and functional programming concepts. Backlinks Patrick Ferris 2026 2 9 https://patrick.sirref.org/fellowship-roundup/ fellowship-roundup /fellowship-roundup/ Fellowship Roundup Patrick Ferris 2026 2 9 Overview February is the final month of my current six-month fellowship work with Tarides. A lot of the work can be summarised by reading the roundups (see October, November, December and January). I have been writing throughout the fellowship. However, they do not quite capture all the work I have been doing. Below, I pick individual projects and expand on them more holistically rather than pointing at individual PRs or issues. Patrick Ferris 2026 2 9 Ppxlib Most of my time over the past six months has been devoted to ppxlib maintenance. A large proportion of this time has been solo development work. Ppxlib is a cornerstone library of the OCaml ecosystem (whether people like it or not). Moreover, it is completely invaluable to Jane Street too. Like other AST-based tools (e.g. ocamlformat, merlin), ppxlib must follow a regular release schedule to support newer compilers. During the years of multicore OCaml development, ppxlib maintenance was a little easier as the Parsetree rarely changed. However, since then, the same cannot be said. Since OCaml 5.2, here are just some of the Parsetree changes: Functions are represented according to their arity. Local module opens on types. Effect syntax. Modular explicits. External types. Locations for all parts of long identifiers. Labeled tuples. In a perfect world, each of these require a codec for serialising the feature into ASTs that do not support the feature, plenty of tests and new Ast_builder/Ast_pattern functions for using the feature. Nathan and I have been managing pretty well I would say, though we are not getting any technical debt work done. Patrick Ferris 2026 2 9 Outreachy As the OCaml coordinator for Outreachy I have been running the latest December 2025 round. We are lucky to have four projects on the go! Thibaut Mattio is mentoring two projects: an ML dashboard for Raven and an OxCaml backend for Raven. Xvw is mentoring a Yocaml project. I am mentoring a Geocaml project. Patrick Ferris 2026 2 9 Eio During my work on tools like Shelter I have made a few improvements to Eio including: A draft PR for incremental reading of directories. New fork actions for processes: setgid, setuid and process groups. Utility functions for overriding standard environments. Fixing documentation. Patrick Ferris 2026 2 9 OxCaml I have enjoyed my work on OxCaml went it has happend. I think a few tools have been useful including the try-oxcaml work. David and I also had fun at ICFP discussing some quick experiments related to io_uring and OxCaml. One road-blocker here is the comparative amount of time spent trying to keep the OxCaml ecosystem working. Given my limited time working on fellowship projects, the rate of change of OxCaml (including the opam ecosystem) meant most of the time was spent making it just work, not exploring or experimenting with the features themselves. I think this has got better in recent months and perhaps jumping back in I would be surprised at the progress that has been made there. Patrick Ferris 2026 2 9 Forester Tarides are funding some work on forester. This site uses forester by way of graft and I have spent some time working on these tools during the fellowship. This includes a bytesrw-based bibtex library in OCaml that could be released soon. Patrick Ferris 2026 2 9 Papers I had the great fortune of attending ICFP where I presented two talks and was co-author on a few others too. Anil Madhavapeddy David J. Scott Patrick Ferris Ryan T. Gibb Thomas Gazagnaire 2025 https://patrick.sirref.org/madhavapeddy2025docker/ madhavapeddy2025docker /madhavapeddy2025docker/ Functional Networking for Millions of Docker Desktops (Experience Report) Reference https://dl.acm.org/doi/10.1145/3747525 Proc. ACM Program. Lang. 10.1145/3747525 Anil Madhavapeddy David J. Scott Patrick Ferris Ryan T. Gibb Thomas Gazagnaire 2025 Abstract Docker is a developer tool used by millions of developers to build, share and run software stacks. The Docker Desktop clients for Mac and Windows have long used a novel combination of virtualisation and OCaml unikernels to seamlessly run Linux containers on these non-Linux hosts. We reflect on a decade of shipping this functional OCaml code into production across hundreds of millions of developer desktops, and discuss the lessons learnt from our experiences in integrating OCaml deeply into the container architecture that now drives much of the global cloud. We conclude by observing just how good a fit for systems programming that the unikernel approach has been, particularly when combined with the OCaml module and type system. Patrick Ferris 2025 https://patrick.sirref.org/ferris2025scientific_programming/ ferris2025scientific_programming /ferris2025scientific_programming/ What we talk about when we talk about scientific programming Reference https://watch.eeg.cl.cam.ac.uk/w/aYXqXLtgQawYMjVXjSQtjx Patrick Ferris 2025 Abstract Programming for the planet undoubtedly involves programming scientifically, but what kind of programming are we talking about and what makes it scientific? In what ways does it differ from other forms of programming, if at all? Is scientific programming, data science or machine learning fundamentally different to constructing a compiler or building a high-throughput web server? By considering how the scientific method (with its falsifiable hypotheses and repeatable and reproducible experiments) relates to scientific programming, I hope to explore how computer science and traditional programming techniques are coming up short in meeting the requirements of scientific programmers. Patrick Ferris Anil Madhavapeddy 2025 https://patrick.sirref.org/ferris2025hazel_of_ocaml/ ferris2025hazel_of_ocaml /ferris2025hazel_of_ocaml/ Generating a corpus of Hazel programs from ill-typed OCaml programs Reference https://patrick.sirref.org/var/tyde2025.pdf Patrick Ferris Anil Madhavapeddy 2025 Abstract When developing a new programming language, having a large corpus of both correct and incorrect programs allows language designers to test and explore the capabilities of their new language. However, bootstrapping such a corpus of incorrect programs is time-consuming and arduous. We therefore explore how to reuse code from more mature languages to generate a corpus of ill-typed code for newer ones. We have developed a compiler to Hazel, an emerging language with typed holes, from the more mature OCaml ecosystem. We find it practical to generate a comprehensive corpus of ill-typed programs for Hazel development, and discuss future larger scale efforts towards bridging ecosystems. See also the online hazel of ocaml compiler Max Carroll Anil Madhavapeddy Patrick Ferris 2025 https://patrick.sirref.org/carroll2025decomposable_type_highlighting/ carroll2025decomposable_type_highlighting /carroll2025decomposable_type_highlighting/ Decomposable Type Highlighting for Bidirectional Type and Cast Systems Reference https://maxcarroll0.github.io/papers/workshops/HATRA-decomposable-type-highlighting/ Max Carroll Anil Madhavapeddy Patrick Ferris 2025 Abstract We explore how to provide programmers with an interactive interface for explaining the process by which static types and dynamic casts are derived, with the goal of improving the debugging of static and dynamic type errors. To this end, we define mathematical foundations for a decomposable highlighting system within a bidirectional system, and show how these can be propagated through dynamic types in a cast system. Our prototype implementation in the gradually typed Hazel language includes a web-based user interface, through which we highlight the importance of type level debugging. Michael Winston Dales Alison Eyres Patrick Ferris Francesca A. Ridley Simon Tarr Anil Madhavapeddy 2025 https://patrick.sirref.org/dales2025yirgacheffe/ dales2025yirgacheffe /dales2025yirgacheffe/ Yirgacheffe: A Declarative Approach to Geospatial Data Reference https://dl.acm.org/doi/10.1145/3759536.3763806 10.1145/3759536.3763806 Michael Winston Dales Alison Eyres Patrick Ferris Francesca A. Ridley Simon Tarr Anil Madhavapeddy 2025 Abstract We present Yirgacheffe, a declarative geospatial library that allows spatial algorithms to be implemented concisely, supports parallel execution, and avoids common errors by automatically handling data (large geospatial rasters) and resources (cores, memory, GPUs). Our primary user domain comprises ecologists, where a typical problem involves cleaning messy occurrence data, overlaying it over tiled rasters, combining layers, and deriving actionable insights from the results. We describe the successes of this approach towards driving key pipelines related to global biodiversity and describe the capability gaps that remain, hoping to motivate more research into geospatial domain-specific languages. I had some great conversations with KC too with respect to my current research. Patrick Ferris 2026 2 9 Future Work As I enter my final year of the PhD, my goal would be to try and align more of my fellowship work with my own research wherever it makes sense. This research focuses on the following hypothesis: Embedding deep provenance tracking, reversible execution and mergeable histories directly into an interactive programming environment (a POSIX-like shell) greatly decreases the gap between exploratory scientific work and reproducible, publishable results; all whilst leaving existing workflows intact and being programming language agnostic. I want to focus on building these tools using Irmin, Eio, OxCaml etc. There are other projects I wish to continue regardless, like Outreachy, though just as a coordinator (not a mentor). Patrick Ferris 2026 2 9 Overlapping PhD Work There are multiple projects that overlap with my work. For example, Irmin, which I wrote a retrospective for. This is at the core of Shelter and suggests an extremely valid use case for a brancheable, mergeable database. In addition to this, continuing to work on Eio makes sense to me too. Eio currently has no maintainer and no active development, but the issues are piling up. In particular, I am making heavy use of Eio in Merry, a POSIX(ish) shell written in OCaml. Aside from research angles on brancheable and mergeable shells, I am also quite interested in how this might look in terms of OxCaml. I met with Anil and Thomas recently to discuss the future of Eio and there was some agreement that we are all heavy users of it and hope to keep up its maintenance and set of features. One large piece of work that is sorely needed here is moving Eio to bytes and not bigarray-backed Cstructs. Any libraries using bytesrw (e.g. jsont) incur an extra copy of data into and out of the bytes. Anil has been working on some of the pieces recently to make this better! Patrick Ferris 2026 2 9 Maintaining and Releasing my own libraries I have published quite a few OCaml libraries in my time, below is just a few libraries (filtered to not include OCurrent projects). Some of these are used in the community including hilite, ppx_deriving_yaml and the multi-codecs. I would like to do some general maintenance of some of these tools and release a few iterations of graft which now makes use of bib. Patrick Ferris 2026 2 9 Ppxlib Maintenance By far, maintenance of ppxlib takes up a majority of my time. I think, given the other work I need to focus on, it would be great to try to minimise the amount of time working on ppxlib. In particular, perhaps only maintaining ppxlib as far as OCaml release-readiness is a possibility and important bug fixes (like the OOM bug reported by Jane Street). Patrick Ferris 2026 2 9 Forester, Graft and Writing With all of this work, I am eager to communicate what I am up to and my thoughts on open source, OCaml, OxCaml etc. I am glad to be using Forester to do this, particularly as it is written in OCaml (and could make great use of my own work on Eio). I hope to continue working on Graft and related tools like bib. But I would also like to start writing some long-form content similar to the Irmin retrospective. Related https://patrick.sirref.org/tambe-salome/ tambe-salome /tambe-salome/ Tambe Salome Outreachy Intern https://dev.to/giftcup/ https://patrick.sirref.org/ocaml-tiff/ ocaml-tiff /ocaml-tiff/ ocaml-tiff https://github.com/geocaml/ocaml-tiff Part of the geocaml suite of geospatial libraries for OCaml. Contributions