Published 16 Jul. 2025. Tags: technology. I often find myself coming across new words that I look up in a dictionary and promptly forget about. I’ve been using Anki to learn Mandarin with my HSK stroke order deck, and I want an easy way to use the same approach for English.
Previous: 12 May. 2025 The Package Calculus I’ve been updating the package management paper, which I include a snippet of below. I’m extending this core Package Calculus to support modelling real-world package managers, and showing a reduction to the core. I’m going to use this as the basis for bi-directional translations between package management ecosystems.
Previous: 5 May. 2025 Next: 19 May. 2025 X uvx OxCaml experiment Can we use uv to package python? Part of Enki. X Read Solving the Bottom Turtle They’re thinking about a similar problem, but are much more focused on the corporate side. X Read Secrets at Scale: Automated Bootstrapping of Secrets &
Previous: 28 Apr. 2025 Next: 12 May. 2025 See logs for the key on what the item icons (O > X ~ # -) mean. X Read How Froc Works Froc, functional reactive programming in OCaml, defines a Monad for expressing data dependencies.
Published 25 Apr. 2025. Last update 2 May. 2025. Tags: projects. On 22 Apr 2022, three years ago, I opened an issue in the OCaml package manager, opam, ‘depext does not support nixOS’. Last week, my pull request fixing this got merged!
Published 21 Apr. 2025. Tags: research. Following my undergraduate dissertation on network support for resource-constrained highly mobile embedded devices, my masters project moved on to the exact opposite scenario: supporting physically static devices. There are a broad class of network-connected devices with a physical presence to which location is an intrinsic part of their identity.
Published 21 Apr. 2025. Tags: research, projects, self-hosting. 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 ideas from the Spatial Name System.
Published 21 Apr. 2025. Tags: research, projects. I started using the Nix package manager and software deployment system as it was great for declaratively defining software deployments for Eilean. But I quickly ran into issues with Nix’s operating system-centric view of packages; like other system packages managers (see Debian’s APT, Arch’s pacman, or OpenBSD’s pkg_add) it maintains a coherent package set.
Published 21 Apr. 2025. Tags: research, projects, self-hosting. Our digital lives are increasingly fragmented across numerous centralised online services. This model concentrates power, leaving us with minimal technical control over our personal data and online identities.
Published 21 Apr. 2025. I tried using Claude Code while writing Caledonia, and these are the notes I took on the experience. It’s possible some of the deficiencies are due to the model’s smaller training set of OCaml code compared to more popular languages, but there’s work being done to improve this situation. It needs a lot of hand-holding, often finding it very difficult to get out of simple mistakes.