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-deca…. 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-d… with @mugofsoup and @justincormack

I'm enjoying playing around with UMAP algorithms for dimensionality reduction in @geotessera; you can make some fine art like this Cambridgeshire vector map! Trying to get it realtime is trickier... cl.cam.ac.uk/~avsm2/cb2-puma…

I facepalmed when I got to the MirageOS bit and it's like the thing I spent years building by hand like a savage. Very cool agentic hacking!

The slowest part of adding Windows support to an app is now installing Windows to get a dev env, not the actual code

Tessera v1.1 is here — cleaner embeddings, fewer artefacts, and coastal coverage for the mangrove fans 🌿 Drop-in replacement for v1.0. geotessera.org/blog/2026-06-… #EarthObservation #RemoteSensing #Geospatial

Phew our packaged artefact evaluation submission for our @icfp_conference paper on package management passed review. Would have been an embarrassing fail if that hadn't worked...

ok, I need to spelunk more into the latest linux syscalls. There's a whole new world of dirfds now available to make manipulating mounts much more flexible than using mount(2) manpages.debian.org/unstable…

how am i just running across Linux's preadv2/pwritev2 just now? they seem to allow non-blocking disk i/o without pthreads via RWF_NOWAIT! manpages.debian.org/testing/…

Jane Street is turning into a Lean, Clean, Rocq-and-roll theorem machine!

.plan-2026-w23: Earth Embeddings, Emails Everywhere, and ERRNOOOs anil.recoil.org/notes/2026w2…

How we've hosted our email "the hard way", by registering our own IPv4 block allocation with RIPE and then going through everything involved in receiving, delivering and accessing email on the modern public Internet. anil.recoil.org/notes/recoil…

Surfing random cities in Tessera is fun while figuring out what a good global UMAP false colour algorithm is

Adventuring deep into the depths of io_uring, our hero discovers horrific Linux errnos: EOWNERDEAD, ENOTRECOVERABLE, ERFKILL, EHWPOISON github.com/torvalds/linux/bl…

Just prepping a release of TESSERA v1.1 embeddings, and we've expanded the coastal coverage due to much demand. It's looking good on the 'eyeball test' tze.geotessera.org/?store=v1…

Tessera, the AI tool that lets anyone monitor environmental change from a laptop, is to be presented at #CVPR26, the world's leading AI and computer vision conference! 🛰️ geotessera.org/blog/2026-06-… @CVPR @Cambridge_CL @esa #EarthObservation #RemoteSensing

Having the @esa promote our @geotessera foundation model is something my space-loving teenage self would never have dreamt of! Jovana is presenting our paper on Tessera at @CVPR this week, in case you're there! esa.int/Applications/Observi…

Yo dawg, I heard you like interpreters. So here's your OCaml program, running in a bytecode interpreter, running on an emulated x86 CPU, JIT-compiled to Wasm, running in your browser, JIT-compiled to run on your local machine.