Anil Madhavapeddy

Made the cover of @CACMmag with "A Decade of Docker Containers", recapping much systems work! Docker grew so fast in those early days that we never got a chance to write an academic paper about it, so this writeup has been a long time coming: cacm.acm.org/research/a-dec…. A heady mix of Go, OCaml, Swift, Linux, nested kernels, ancient network protocols like SLIRP, all mixed up into a container cauldron... The article also comes with cool art and a video interview that was a lot of fun to film around @pembroke1347 and my overgrown office. I left some musings on my blog too anil.recoil.org/notes/cacm-doc… with @mugofsoup and @justincormack

Oh this is so useful for quick scripts: octx, a CLI tool to generate type-safe OCaml serialisers for various formats. You can just check in the output to an existing project. tangled.org/patrick.sirref…

@natefoster Thats HOLarious

Q. What do you call a Rocq expert? A. A rocque-fort! And after eating so much cheese, they will certainly not be very Lean! (H/T Clément Pit-Claudel)

💫 GM Tanglers! It's release time 💫 Here's whats new: - Full text code-search - Focus mode - Tangled XRPC API - A new homepage - MicroVM powered CI engine

Existing Tessera users should stick with the tried and tested v1 series for now, but when v2 drops in a release all you need to do is to refresh your tiles and rerun your downstream tasks. Everything else will remain compatible, and your task performance should just improve.

The student/teacher architecture also means we can distill down from the 1B parameters down to a range of encoders that can be smaller (!) than Tessera v1, leading to efficient inference of the embedding tiles for the whole world.

Our progress update on Tessera v2 is out now! We used loads of UKRI AIRR GPUs on a hero run to scale our geospatial model, and early results are spectacular. The 1B model is done and the 2B mode ongoing so more this summer as it finishes... arxiv.org/pdf/2607.03949

A smashing morning off an icy Greenland coast

Current status: second into the Ryberg Fjord in Greenland this season and engaging in polar diplomacy

Just passed the arctic circle! Looking for polar bears using the 'very carefully' technique.

.plan-2026-w26 weeknotes: Gelato, geospatial, and players of games anil.recoil.org/notes/2026w26

@natefoster @krismicinski As the years tick on, I am increasingly a PC with many parts replaced and overclocked

@krismicinski "I'm a PC"

The number of PCs I’m on this year is getting kind of absurd (I think 10!?) but it’s still better than being a Mac I guess

@ShriramKMurthi @HerrDreyer I’m packing for a trip to the Arctic circle in the middle of the UJ heatwave. Gonna be weird showing up to airport wearing a sweater 😅

@HerrDreyer Good thing this heatwave isn't supposed to last, or I might have considered commuting in from FRA. (It's 27.5°C in the room this AM.)

The heat was supposed to have left Brussels yesterday, but didn't, so today has been terrible too. Fortunately I'm staying in a nice, modern, "design" hotel w/ A/C. Turns out it's "A/C". It's *sweltering*. Thought it's just my room…no, the whole hotel is muggy…AND no windows.

@g__j @pembroke1347 @eddisonj @Cambridge_Uni Welcome (back) to Pembroke!

I met my cofounders just over 30 years ago at @pembroke1347 college Cambridge. Last night, they were made honorary fellows and this seems a very fitting photo Congratulation @eddisonj and Stuart (no relation) Jackson

5 days to ICFP camera ready, and SPJ is helping 'red ink' our package management calculus paper! The heat is on!

I attended the Cloud-Native Geospatial Forum in London, with 50 geospatial geeks from across industry and academia and policy descending on the Jellicoe. I introduced @geotessera there and made notes: anil.recoil.org/notes/cng-lond… It's brilliant to be part of a growing geospatial community focusing on openness, interoperability, federation and trustworthiness in everything they build. This is all seeded by the Source Coop which hosts 6 petabytes+ of data, and hopefully will have TESSERA available from there soon as well!

This is a really fun listen so far, but particularly that having a single point of (temporary) failure is a *feature* in their database. Seems like having controllable kill switches in distributed systems is going to be increasingly important in a world with agents running amok

Finding FreeBSD jails pretty hard to use in practise for OCaml CI; the latest is a leak from double forking processes, which is kind of a surprising default tunbury.org/2026/06/24/lea…

The "before" and "after" of whether my desktop OS is working well or not always seems to be correlated to the installation of Adobe Acrobat

I should not have started an attempt to port OxCaml to Windows while sitting on the London to Cambridge train in a giant heatwave. Laptop is literally melting