ryan.freumh.org

Package managers are numerous and diverse, yet all fundamentally solve the same problem, while remaining ad hoc and non-interoperable.

Package managers generally use SAT solvers1 for dependency resolution, walking the solution space, backtracking on conflicts, to find a resolution.

Aug. 2026 Ryan Gibb.

Aug. 2026 Ryan T.

Jun. 2026 Ryan Gibb.

Jan. 2026 Ryan Gibb.

Jan. 2026 Ryan Gibb.

Jan. 2026 Ryan Gibb.

I attended the co-located International Conference on Functional Programming (ICFP) and International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) as a co-author of a couple of papers, and was presenting ‘…

Oct. 2025 Sadiq Jaffer, Jon Ludlam, Ryan Gibb, Thomas Gazagnaire, and Anil Madhavapeddy.

Aug. 2025 Anil Madhavapeddy, David J.

I often find myself coming across new words that I look up in a dictionary and promptly forget about.

Jul. 2025 Josh Millar, Ryan Gibb, Roy Ang, Anil Madhavapeddy, and Hamed Haddadi.

Jun. 2025 Anil Madhavapeddy, Sam Reynolds, Alec P.

Jun. 2025 Ryan Thomas Gibb, Patrick Ferris, David Allsopp, Michael Winston Dales, Mark Elvers, Thomas Gazagnaire, Sadiq Jaffer, Thomas Leonard, Jon Ludlam, and Anil Madhavapeddy.

On 22 Apr 2022, three years ago, I opened an issue in the OCaml package manager, opam, ‘depext does not support nixOS’.

Following my undergraduate dissertation on network support for resource-constrained highly mobile embedded devices, my master’s project moved on to the exact opposite scenario: supporting physically static devices.

I started using the Nix package manager and software deployment system as it was great for declaratively defining software deployments for Eilean.

Eon is an Effects-based OCaml Nameserver using MirageOS’s functionally pure Domain Name System (DNS) library with direct-style IO (as opposed to monadic IO) using OCaml 5’s effect handlers [1] created as the basis to implement some of the ideas from the S…

Eilean (ˈelan) – Scots Gaelic: island.

I tried using Claude Code while writing Caledonia, and these are the notes I took on the experience.

Caledonia is a calendar client with command-line and Emacs front-ends.

Update: I’ve since extracted the site generator into its own project, meur, a static site generator built with Hakyll and Pandoc.

I use the sway Wayland compositor, which is a clone of the X11 i3 window manager for Wayland.

I developed RSI symptoms at the tail end of writing my master’s project and started looking for ways to work more ergonomically.

I use Firefox as my default browser.

I started using Emacs for the mu4e mail client after using and liking the mu mail indexer on the command line (read more about my mail client setup).

I used to use Neovim as my main development environment.

Dec. 2024 Ryan Thomas Gibb and Anil Madhavapeddy.

At the start of this year I built a Network-Attached Storage (NAS) server to store backups, photos & videos, digitised VHS tapes, cached builds, and more.

I attended the Free and Open source Software Developers’ European Meeting (FOSDEM) in Brussels, Belgium last weekend.

Nov. 2023 Ryan Thomas Gibb, Anil Madhavapeddy, and Jon Crowcroft.

Lately, I’ve been writing a significant amount of OCaml as part of my PhD.

I recently received a request to outline my process for managing bibliographies.

I’ve recently had the good fortune to come into possession of a reMarkable 2 E-Ink writing tablet.

I originally wrote this as an explainer for Hillingar before separating it into its own page.

Hillingar, an arctic mirage [1] The Domain Name System (DNS) is a critical component of the modern Internet, allowing domain names to be mapped to IP addresses, mailservers, and more1.

I recently had the good fortune to attend a talk by Simon Peyton Jones titled “Immutability changes everything: 40 years of functional programming” which chronicled Simon’s life and research career.

Jun. 2022 Ryan Thomas Gibb.

I’ve been interested in virtual reality (VR) and augmented reality (AR) recently as the use case for the system(s) I’m working on in my MPhil project.

The Domain Name System (DNS) has a little known ‘LOC’ resource record (RR) defined in 1996 for encoding location information purportedly for hosts, networks, and subnets[0].

My dissertation involved implementing an Identifier-Locator Network Protocol (ILNP) overlay network in Python which can be found at github.com/RyanGibb/ilnp-overlay-network.

I was teaching myself Unity the week after the last exam for my undergrad and ended up creating this.

Jun. 2021 Ryan Thomas Gibb.

My undergraduate dissertation, “Ubiquitous Communication for the Internet of Things: An Identifier-Locator addressing split overlay network”, explored how we can modify the Internet Protocol to better support resource-constrained highly mobile embedded de…

Aug. 2020 Ryan Thomas Gibb and Steve Linton.