OCaml Planet

Emulating inheritance without classes

2026-05-13T00:00:00-00:00

The O in OCaml is for its object-oriented extension, but I needed a way to emulate the constraints of inheritance without it. This raised some interesting design questions about how to do it using only the core ML language.

Odd opam update behaviour

2026-05-12T18:00:00-00:00

A few days after retiring opam 2.0 from the build pipeline, ocaml-ci Jon noticed that some jobs were failing. I immediately concluded that the removal was to blame, but it wasn’t.

OCaml Weekly News, 12 May 2026

2026-05-12T12:00:00-00:00

What is Functional Programming? A Look at the Programming Style from an OCaml Perspective

2026-05-12T00:00:00-00:00

Get a comprehensive overview of the definitions, benefits, trade-offs, and use cases of functional programming.

.plan-26-19: Ancient oaks, parliamentary evidence, and TESSERA in the City

2026-05-10T00:00:00-00:00

Celebrating David Attenborough's 100th birthday at a Conservation Research Institute retreat in Norwich, a Parliament POST briefing on Evidence for Nature Recovery lands, and a TESSERA talk at the Cambridge Ring alumni evening at Jane Street.

A review about ptt

2026-05-08T00:00:00-00:00

Machine Learning in OxCaml

2026-05-07T16:00:00-00:00

The inspiration for this post came from Dave’s Garage YouTube Channel. It featured dbrll/ATTN-11, which used machine learning on a PDP-11 to reverse a sequence of numbers. I’m not (quite) old enough to remember the PDP-11, but the idea of a minimal machine learning example was intriguing, particularly as an aid to understanding.

Retiring opam 2.0 from the build pipeline

2026-05-07T14:00:00-00:00

ocurrent/docker-base-images publishes the ocaml/opam:* Docker images which the OCaml CI systems use. For each distro, it tracks 2.0, 2.1, 2.2, 2.3, 2.4, 2.5, and master opam release branches in parallel and produces both an opam-version-suffixed tag (e.g. debian-13-ocaml-5.4_opam-2.5) and an un-suffixed default that points at the oldest tracked version.

OCaml Weekly News, 05 May 2026

2026-05-05T12:00:00-00:00

Weird Windows container version numbers

2026-05-05T09:00:00-00:00

Running ver in a Windows container doesn’t report the version number that you expect.

.plan-26-18: From tropical forest protection to oi swallowing its oxcaml tail

2026-05-03T00:00:00-00:00

Our REDD+ over-crediting paper hits Nature Communications just as Microsoft retreats from removals, we talk responsible evidence synthesis while LLMs appear in UK planning, and oi grows a self-update bootstrap.

Deriving QCheck Generators for External Types in OCaml

2026-05-01T00:00:00-00:00

Tackling multiple namespaces in ocgtk

2026-05-01T00:00:00-00:00

Even though I was focussed only on generating GTK bindings for OCaml, I still had to consider all the other libraries it depends on.

Update solver-service in OCaml-CI local mode

2026-04-30T21:00:00-00:00

When I (mostly) unvendored ocaml-ci’s submodules a few days ago. Four out of the five were published in the opam-repository, but solver-service was not, so it ended up as a pin-depends block in ocaml-ci.opam.template pinned at the same SHA the submodule had pointed at.

Using `day10` to build an OxCaml project

2026-04-30T20:00:00-00:00

Today, looking at my OxCaml inference engine, I wanted to see whether day10 build . could build an OxCaml project.

FreeBSD 15.0 Upgrade

2026-04-29T13:30:00-00:00

FreeBSD 15.0 has been out for a while, with issue#1036 pending resolution. The CI update is easy, but the CI worker rosemary needed an upgrade and new base images first.

ocaml-ci moves to significant versions

2026-04-29T08:00:00-00:00

The same OCaml build matrix updates which where deployed in opam-repo-ci have now been applied to ocaml-ci.

OCurrent on Eio

2026-04-28T21:00:00-00:00

OCurrent has always been Lwt-based but what would it take to migrate it to Eio? The pipeline DSL itself is incremental computation over Current.t, but the engine, the cache, every plugin’s BUILDER/PUBLISHER, the web UI, and capnp-rpc were all built on Lwt.t.

OCaml Weekly News, 28 Apr 2026

2026-04-28T12:00:00-00:00

Weeknotes 2026 weeks 16-17

2026-04-28T00:00:00-00:00

opam-repo-ci and OCaml significant versions

2026-04-27T07:30:00-00:00

Updates to opam-repo-ci which pull in the latest ocaml-version and ocaml-dockerfile releases trim the build matrix and add in the latest releases of Alpine and Ubuntu.

.plan-26-17: Unwedging kernels, dogfood deployments, and managing beef leakage

2026-04-26T00:00:00-00:00

Welcoming Akshay to Cambridge, TESSERA AWS sync done, oi now self-hosts this site, and a new 4C forest leakage preprint appears.

A month of Elisp

2026-04-23T00:00:00-00:00

Library Operating Systems for the Desktop

2026-04-23T00:00:00-00:00

Our 2025 ICFP paper was named Publication of the Year by the Cambridge Ring. The story behind how OCaml unikernels ended up running the networking stack inside Docker Desktop.

Prefetch opam files for day10 –fork

2026-04-21T19:00:00-00:00

Last month, I wrote a walkthrough on using mtelvers/day10 and while stuck in traffic yesterday, I was thinking about all those individual opam files which are read for every solve.

OCaml Weekly News, 21 Apr 2026

2026-04-21T12:00:00-00:00

AI, science and the UK–EU relationship at the Royal Society

2026-04-21T00:00:00-00:00

Notes from a Royal Society policy meeting with the European Commission on responsible AI, interoperable data and UK–EU alignment in AI for science; covering AI-poisoned literature, federated TESSERA-scale infrastructure, disclosure standards and the practical value of sustained UK–EU dialogue.

ocgtk preview1 now on opam

2026-04-21T00:00:00-00:00

ocgtk, a set of GTK4 bindings for OCaml, is now available on opam as preview1 release

Tailwind Without Node

2026-04-21T00:00:00-00:00

A pure OCaml implementation of Tailwind CSS v4, matching the reference binary byte for byte. Drops the Node dependency from my OCaml web stack, and the same library compiles the classes in your browser via js_of_ocaml.

.plan-26-16: Chennai, Cambridge, Belfast: a week on the wing

2026-04-19T00:00:00-00:00

A week of hops between Chennai, Cambridge and Belfast for the FP Launchpad takeoff at IIT Madras, a surprise Publication of the Year at the Cambridge Ring Hall of Fame, meeting the VC on the upcoming Rokos School of Governance, mirroring half a petabyte of TESSERA tiles and hacking on oi

Building a STAC server to avoid scanning 3.8 million tiles

2026-04-17T16:30:00-00:00

The GeoTessera project produces 128-channel geospatial embeddings from Sentinel satellite imagery. The dataset is tiled at 0.1-degree resolution across the globe, covering 9 years and comprising roughly 3.8 million tiles, each containing embeddings and scale-factor files.

Day10: local development builds

2026-04-17T16:00:00-00:00

My typical OCaml development workflow starts with git clone ..., then opam switch create . 5.4.1 --deps-only followed by dune build. This creates a local _opam directory containing the compiler and all dependencies. It works well, but the _opam directories add up, and the build takes time.

VSCode Walkthrough: Installing OCaml in 1 Click

2026-04-16T00:00:00-00:00

We have created a VSCode walkthrough guiding users through installing OCaml with opam.

Mollymawk supporting other virtual machines

2026-04-15T00:00:00-00:00

Reimplementing the Space Protocol Stack from Scratch

2026-04-15T00:00:00-00:00

The full stack from Space Packets to SDLS encryption, with an interactive demo and interop tests that found bugs in two reference implementations.

OCaml Weekly News, 14 Apr 2026

2026-04-14T12:00:00-00:00

Weeknotes 2026 week 15

2026-04-14T00:00:00-00:00

The FP Launchpad takes off at IIT Madras

2026-04-13T00:00:00-00:00

A day at the launch of the FP Launchpad at IIT Madras, covering talks on hardware design, trusted execution on Shakti, verifiable Indian tax law, precise JIT analysis, AI-assisted Lean metatheory, constraint-based diagramming, and my own TESSERA talk.

.plan-26-15: Banyan trees, (anti)botnets and Bose-Einstein bases

2026-04-12T00:00:00-00:00

Travelling from Ireland to IIT Madras for the FP Launchpad launch, mirroring half a petabyte of TESSERA embeddings to AWS Open Data, antibotty discussions, and Tangled trust boundaries for AI code review.

Introducing ocgtk: GTK4 bindings for OCaml

2026-04-12T00:00:00-00:00

Introducing ocgtk, a new set of GTK4 bindings for OCaml generated from GObject Introspection data.

OCI image export from day10

2026-04-09T15:15:00-00:00

mtelvers/day10 can now export build results as multi-layer OCI images, where each opam package becomes its own layer.

The CVE fix that broke CI

2026-04-09T14:30:00-00:00

Recently opam-repo-ci jobs started failing on openSUSE Leap 15.6. The error looked like a disk space problem with thousands of lines of tar: Cannot mkdir: No such file or directory during the copy step. However, the file system wasn’t full.

A mailing list as unikernels

2026-04-09T00:00:00-00:00

Can a CPU with Intel AMX Match a GPU for ML Inference?

2026-04-08T21:00:00-00:00

GPU acceleration is the default assumption for machine learning inference. But Intel’s AMX (Advanced Matrix Extensions) may close the gap. AMX is built into recent Xeon processors, which are available from Azure. Can they compete with similarly priced GPU-based machines for the Tessera pipeline?

The Internet needs an antibotty immune system, stat

2026-04-08T00:00:00-00:00

Anthropic's Mythos makes autonomous vulnerability chaining across devices a sudden reality, so I've been thinking about how digital 'antibotty' inoculation networks may be needed far sooner than I expected.

Coding a Digital Clock in OCaml 5 on the Raspberry Pi Pico 2 W

2026-04-07T21:22:00-00:00

While developing a Raspberry Pi GPIO library for the HD44780, mtelvers/gpio, I noticed that 8 custom characters could be used to create the elements of a 7-segment display. I wanted this clock on the Pi Pico RP2350 dual-core ARM Cortex-M33 using my ARM 32 native compiler backend.

OCaml Weekly News, 07 Apr 2026

2026-04-07T12:00:00-00:00

Predicting Satellite Collisions in OCaml

2026-04-07T00:00:00-00:00

Open test data for predicting satellite collisions. I built the full screening pipeline in OCaml, validated it against the answer key, and put a 3D globe in the browser.

OCaml Clock on Pi Pico 2W

2026-04-06T21:22:00-00:00

After playing with the Pi Pico 2W at the New Year, I had a little time today and made an OCaml-powered clock in a 3D-printed case.

Odoc and OCaml Notebooks

2026-04-06T00:00:00-00:00

.plan-26-14: Tracking AI screen time and escaping to pen and paper

2026-04-05T00:00:00-00:00

On cognitive DDoS and AI screen time for code, a proposal for voluntary disclosure in OCaml, iOS misery, releasing GeoTessera 0.8 and spatial indexing and the FP Launchpad launch at IIT Madras.

A Proposal for Voluntary AI Disclosure in OCaml Code

2026-04-03T00:00:00-00:00

Proposing a voluntary, machine-readable AI content disclosure scheme for OCaml spanning opam packages, dune, and per-module attributes, aligned with the W3C AI Content Disclosure vocabulary.

Day10 TUI Results Tool

2026-04-02T18:00:00-00:00

A while back, I wrote mtelvers/day10-tui, which displayed custom mtelvers/day10 log files held in Apache Parquet format.

CI for opam overlay repositories with day10 and GitHub merge queue

2026-04-02T14:00:00-00:00

This post describes how to set up a CI for an opam overlay repository using day10 on a self-hosted GitHub Actions runner, with GitHub’s merge queue to gate PRs on build regressions.

A CSS Engine in OCaml

2026-04-02T00:00:00-00:00

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.

From Scaleway to Cambridge

2026-04-01T16:00:00-00:00

Over the past few days, I migrated several OCaml CI services from Scaleway to Cambridge, consolidating them onto fewer machines with fewer services.

OCaml Weekly News, 31 Mar 2026

2026-03-31T12:00:00-00:00

Weeknotes 2026 week 13

2026-03-31T00:00:00-00:00

Describing Binary Formats in OCaml

2026-03-31T00:00:00-00:00

EverParse generates verified C parsers for Microsoft. I wrote an OCaml front-end to use it for satellite protocols.

.plan-26-13: Oxidised, standardised, and syndicated

2026-03-29T00:00:00-00:00

Publishing the OxCaml Labs year-one review, POSSE and AI content disclosure for the web, adopting the geo-embeddings Zarr convention for TESSERA, action PROPL at PLDI, the death of the grant application, and NASA's new swathe lidar mission.

Linux input devices (with libinput-ocaml)

2026-03-28T09:00:00-00:00

TESSERA now supports the Zarr geo-embeddings convention proposal

2026-03-27T00:00:00-00:00

Community feedback reshaped our Zarr store layout — years became a dimension, shards got bigger, and we retired the TESSERA-specific convention in favour of a shared geo-embeddings standard that also covers other models.

Email as an interface to Claude

2026-03-26T20:00:00-00:00

In my previous post, I described running Claude Code as a non-interactive agent by feeding it a runbook via NOTES.md, letting it SSH into workers, diagnose problems, and commit its findings back to git.

Dynamic DNS with DHCP

2026-03-25T18:40:00-00:00

DHCP-assigned addresses are very convenient, except when they change, and your DNS server becomes out of sync.

Neocaml 0.6: Opam, Dune, and More

2026-03-25T08:00:00-00:00

When I released neocaml 0.1 last month, I thought I was more or less done with the (main) features for the foreseeable future. The original scope was deliberately small — a couple of Tree-sitter-powered OCaml major modes (for .ml and .mli), a REPL integration, and not much else. I was quite happy with how things turned out and figured the next steps would be mostly polish and bug fixes.

Quick Hardware Performance Counters on macOS ARM64

2026-03-25T00:00:00-00:00

OCaml Weekly News, 24 Mar 2026

2026-03-24T12:00:00-00:00

Outreachy Demo Day December 2025 Round

2026-03-23T14:25:53-00:00

The OCaml community participated in the December 2025 round of Outreachy internships. We had four interns working on Raven, OCaml-TIFF and YOCaml. This meeting was an opportunity for the interns to present their work and for the community to as...

Watch video

Weeknotes 2026 week 12

2026-03-23T00:00:00-00:00

.plan-26-12: Zarr across space and TESSERA time

2026-03-22T00:00:00-00:00

Reworking the TESSERA Zarr store layout after community feedback, Springer's API woes for evidence synthesis, vibecoding introspection, and git remote helpers for ATProto.

How big is Europe?

2026-03-21T18:20:00-00:00

Tessera produces global land-cover embeddings at 0.1-degree resolution, roughly 11 km square at the equator. For each year and each grid tile, there is a directory containing NumPy files of the embeddings.

A different way to interact with Claude

2026-03-18T15:20:00-00:00

We’ve all been using Claude via the prompt, and some have even ventured into running claude --dangerously-skip-permissions in a nice sandbox like avsm/claude-ocaml-devcontainer.

Weeknotes 2026 week 11

2026-03-18T00:00:00-00:00

OCaml Weekly News, 17 Mar 2026

2026-03-17T12:00:00-00:00

Comparing opam package builds across compiler variants with day10

2026-03-16T19:30:00-00:00

This post walks through how to use mtelvers/day10 to compare which opam packages build successfully under two different compiler configurations.

.plan-26-11: Bins, bollards, bots and biodiversity boffins

2026-03-15T00:00:00-00:00

Evidence synthesis at the DEFRA science conference, TESSERA transcoding and building a new SPA, OpenStreetMap/DuckDB bindings in OxCaml, and early thoughts on vibecoding etiquette.

Pi Day 2026: OCaml vs OxCaml

2026-03-14T03:14:15-00:00

For Pi Day, I have implemented the same algorithm in both OCaml and OxCaml and compared the generated assembly and runtime performance.

Streaming millions of TESSERA tiles over HTTP with Zarr v3

2026-03-14T00:00:00-00:00

How we restructured TESSERA's geospatial embeddings from millions of individual numpy files into sharded Zarr v3 stores for efficient HTTP streaming, enabling everything from single-pixel mobile lookups to regional-scale analysis with just a couple of range requests.

ONNX inference engine using OxCaml’s SIMD intrinsics

2026-03-13T18:30:00-00:00

Following my previous CPU vs GPU post I started thinking about what the ONNX inference engine actually did and if it could be replicated in OxCaml with SIMD.

Building a UK Fuel Price Finder in OCaml

2026-03-13T14:00:00-00:00

The UK government recently launched the Fuel Finder API, providing real-time pricing data for over 7,000 petrol stations across the country.

Apt.robur.coop key re-signed

2026-03-13T00:00:00-00:00

From Cannes to Los Angeles: Visiting the People Who Build Satellites

2026-03-12T00:00:00-00:00

Visiting satellite production lines in Los Angeles, and why the questions have changed since 2022.

GPU vs CPU for ONNX Inference: NVIDIA L4 vs AMD EPYC 9965

2026-03-11T13:00:00-00:00

In a previous post, I compared the ONNX Runtime with PyTorch on the CPU and GPU. In this post, I take this to the extreme to see if a CPU can outpace the NVIDIA L4 GPU.

OCaml Weekly News, 10 Mar 2026

2026-03-10T12:00:00-00:00

OCaml Roundup: February 2026

2026-03-10T00:00:00-00:00

Apparently I Have Been Writing Flight Software All Along

2026-03-10T00:00:00-00:00

I wrote the MirageOS configuration tool. NASA's FPP does the same job for flight software. So I pointed FPP at MirageOS. It works.

Work distribution with OCluster

2026-03-09T12:00:00-00:00

We use OCluster to manage the build cluster for the CI services backing OCaml-CI and opam-repo-ci. However, it is a general-purpose tool and isn’t tied to being a build system; it can distribute any jobs across multiple worker machines.

Weeknotes 2026 week 10

2026-03-09T00:00:00-00:00

.plan-26-10: Streaming TESSERA working, biodiversity action papers, and FPL takes off

2026-03-08T00:00:00-00:00

TESSERA streaming in the browser, planetary programming at WG2.8, biodiversity action papers, FP Launchpad opens, and Docker CACM buzz

Announcing `ciao-lwt`: A Library for Migrating Lwt to Eio

2026-03-05T00:00:00-00:00

Announcing a new collection of tools to automate the migration from Lwt to Eio!

OCaml-CI and native Windows builds

2026-03-03T22:20:00-00:00

Following from post last week about obuilder and Windows Host Compute Services, I am pleased to report that this is now running on OCaml-CI. In this early phase, I have enabled testing only on Windows 2025 with OCaml 5.4 and opam 2.5 using the MinGW toolchain.

OCaml 5 native 32-bit backends: i386 and PPC32

2026-03-03T14:30:00-00:00

Following on from the Arm32 multicore backend, I have now ported the remaining two 32-bit architectures to OCaml 5 with multicore support: i386 and PowerPC 32-bit (PPC32).

OCaml Weekly News, 03 Mar 2026

2026-03-03T12:00:00-00:00

Learning OCaml: String Interpolation

2026-03-03T10:00:00-00:00

Most programming languages I’ve used have some form of string interpolation. Ruby has "Hello, #{name}!", Python has f-strings, JavaScript has template literals, even Haskell has a few popular interpolation libraries. It’s one of those small conveniences you don’t think about until it’s gone.

Learning OCaml: PPX for Mere Mortals

2026-03-03T08:00:00-00:00

When I started learning OCaml I kept running into code like this:

Weeknotes 2026 week 9

2026-03-02T01:00:00-00:00

Learning OCaml: Printing Data Structures

2026-03-01T16:00:00-00:00

If there’s one thing that frustrated me early on in my OCaml journey, it was printing stuff. In Ruby I can p anything and get a useful representation. In Clojure, prn just works on every data structure. In OCaml? There’s no generic print that works on any type – the type information is erased at runtime, so the language simply doesn’t know how to stringify an arbitrary value.

Learning OCaml: Working with Records

2026-03-01T09:30:00-00:00

Records are one of those things that look almost identical across ML-family languages, so I didn’t expect many surprises when I started using them in OCaml. For the most part I was right – but there were a few things worth noting, especially if you’re coming from a language where records/structs are mutable by default.

.plan-26-09: Browser TESSERA, package management and Docker in the CACM

2026-03-01T00:00:00-00:00

Got TESSERA working in Zarr and the browser, and a preprint of package management a la carte pushed out

Building Emacs Major Modes with TreeSitter: Lessons Learned

2026-02-27T08:00:00-00:00

Over the past year I’ve been spending a lot of time building TreeSitter-powered major modes for Emacs – clojure-ts-mode (as co-maintainer), neocaml (from scratch), and asciidoc-mode (also from scratch). Between the three projects I’ve accumulated enough battle scars to write about the experience. This post distills the key lessons for anyone thinking about writing a TreeSitter-based major mode, or curious about what it’s actually like.

Building Emacs Major Modes with Tree-sitter: Lessons Learned

2026-02-27T08:00:00-00:00

Over the past year I’ve been spending a lot of time building Tree-sitter-powered major modes for Emacs – clojure-ts-mode (as co-maintainer), neocaml (from scratch), and asciidoc-mode (also from scratch). Between the three projects I’ve accumulated enough knowledge (and battle scars) to write about the experience. This post distills the key lessons for anyone thinking about writing a Tree-sitter-based major mode, or curious about what it’s actually like.

Is Running Untrusted Code on a Satellite a Good Idea?

2026-02-25T00:00:00-00:00

The problem statement: no isolation, no standard packaging, no OTA updates. Three missing pieces for multi-tenant satellite payloads.

OCaml Weekly News, 24 Feb 2026

2026-02-24T12:00:00-00:00

Setting up Emacs for OCaml Development: Neocaml Edition

2026-02-24T10:00:00-00:00

A few years ago I wrote about setting up Emacs for OCaml development. Back then the recommended stack was tuareg-mode + merlin-mode, with Merlin providing the bulk of the IDE experience. A lot has changed since then – the OCaml tooling has evolved considerably, and I’ve been working on some new tools myself. Time for an update.

Weeknotes weeks 7-8

2026-02-24T01:00:00-00:00

A Decade of Docker Containers on the CACM cover!

2026-02-24T00:00:00-00:00

Our CACM cover article reflects on a decade of Docker, from the early days of hacking Docker for Mac on a French farm to today's AI-driven sandboxing, covering the technical origins, cross-platform challenges, and the vibrant open-source community that made it all possible.

From ASPLOS to Orbit: Unikernels Twelve Years Later

2026-02-23T00:00:00-00:00

The ASPLOS unikernels paper won its test-of-time award in 2025. Twelve years later, where does the thesis hold?

.plan-26-08: At AI summit, Shriram's PL opinions, Zarr hacking

2026-02-22T00:00:00-00:00

TESSERA paper accepted at CVPR 2026, went to the AI Impact Summit, OCaml Zarr hacking, Shriram's talk on human factors of formal methods, and discussions on teaching OxCaml to agents.

At the AI Impact Summit in Delhi: people, planet, progress

2026-02-21T00:00:00-00:00

Trip report from the Indian AI Impact Summit in New Delhi, covering the massive expo, a conversation with Yann LeCun, a hackathon/talk at IIT-Delhi, networking at the British High Commission, and reflections on the summit declaration's shift from safety to progress and equitable access.

OBuilder on Windows: Bringing Native Container Builds with the HCS Backend

2026-02-19T19:25:00-00:00

Following from my containerd posts last year and my previous work on obuilder backends for macOS and QEMU, this post extends obuilder to use the Host Compute System (HCS) and containerd on Windows.

1st TESSERA/CoRE hackathon at the Indian AI Summit

2026-02-19T00:00:00-00:00

First TESSERA hackathon held at the Indian AI Impact Summit in Delhi, exploring integration with IIT-Delhi's CoRE Stack for geospatial analysis and testing TESSERA labeling workflows.

F Prime Looks a Lot Like MirageOS (but in C++)

2026-02-19T00:00:00-00:00

Comparing NASA's F Prime flight framework with OCaml's MirageOS: state machines, type safety, and wiring patterns.

OCaml Weekly News, 17 Feb 2026

2026-02-17T12:00:00-00:00

New Year, New Blog

2026-02-17T00:00:00-00:00

Launching a new blog about OCaml, systems programming, and space software.

Day10: opam package testing tool

2026-02-16T19:30:00-00:00

ocurrent/obuilder is the workhorse of OCaml CI testing, but the current deployment causes packages to be built repeatedly because the opam switch is assembled from scratch for each package, leading to common dependencies being frequently recompiled. day10 uses an alternative model whereby switches are assembled from their component packages.

Tessera pipeline in OCaml

2026-02-15T19:30:00-00:00

The Tessera pipeline is written in Python. What would it take to have an OCaml version?

.plan-26-07: Storage, Lego, Echo, and the IUCN

2026-02-15T00:00:00-00:00

Growing the Ceph cluster for TESSERA embeddings, a Lego brainstorming session for the Evidence TAP, hosting Echo Labs from ARIA, and Shane's IUCN Red List seminar.

Neocaml 0.1: Ready for Action

2026-02-14T16:34:00-00:00

neocaml 0.1 is finally out! Almost a year after I announced the project, I’m happy to report that it has matured to the point where I feel comfortable calling it ready for action. Even better - neocaml recently landed in MELPA, which means installing it is now as easy as: