Anil Madhavapeddy @anil.recoil.org · 05/10/2026Been trying to capture the seasons with my new notes page design. Still not quite there but getting better... anil.recoil.org/notes 150
Anil Madhavapeddy @anil.recoil.org · 02/10/2026Frontier agents can build interactive tutorials from papers now. I've done a refresh of the LIFE metric (which measures the impact of land conversion on species extinctions) not only as a static video, but also an interactive explorer with live data at life-metric.org. Put sound on :-) 🌏 3101
Anil Madhavapeddy @anil.recoil.org · 21/09/2026Just added support for searching for info about threatened species near you to the Dash of Life! dashoflife.org/near-me 🌎 042
Anil Madhavapeddy @anil.recoil.org · 16/09/2026If AI's moving too fast for you, then consider training your agent with a hugging skill and deliver optimal load-bearing intra-hug squeezes regularly dl.acm.org/doi/10.1145/... 020
Anil Madhavapeddy @anil.recoil.org · 29/08/2026The directed graph of voting results for LLM usage is very Debian (and perhaps something applicable to mainstream voting on complex issues!) vote.debian.org/~secretary/g... 020
Anil Madhavapeddy @anil.recoil.org · 27/08/2026GeoTessera 0.10 is out now, a year after our first release! Highlights: switches to the @source.coop for hosting, adds support for v2 beta (with matryoshka), and much better Zarr streaming support (see tze.geotessera.org for this in the browser). anil.recoil.org/notes/geotes... 041
Anil Madhavapeddy @anil.recoil.org · 14/08/2026The results are extremely encouraging. For 5 climatically diverse regions spanning over 9k stations, adding @geotessera.org improved every metric for temperature and wind at stations and years the model had never seen. Probabilistic skill improved by ~11.5% for 2m temp and ~6.2% for 10m wind speed. 100
Anil Madhavapeddy @anil.recoil.org · 14/07/2026This is an adorably retro take on rewilding community that made me yearn for geocities guestbooks of old (especially the callout to Tayside). Thanks Paul! rewilding.domain0.org /cc @kathrynnave.eurosky.social 041
Anil Madhavapeddy @anil.recoil.org · 03/07/2026Current status: second into the Ryberg Fjord in Greenland this season and engaging in polar diplomacy 040
Anil Madhavapeddy @anil.recoil.org · 02/07/2026Just passed the arctic circle! Looking for polar bears using the 'very carefully' technique. 🌍 2112
Anil Madhavapeddy @anil.recoil.org · 22/06/2026I gave a talk on AI for Science at the Cambridge Union this morning and by the end of it the prime minister had resigned. Coincidence? I think so 0110
Anil Madhavapeddy @anil.recoil.org · 12/06/2026There's going to be a full 2016-2025 global run over the coming months, but we can generate tiles for you on-demand for reasonable ROIs if you need something urgently. For the majority of users, v1.0 works just fine. ucam-eo.github.io/tessera-cove... 🌏 020
Anil Madhavapeddy @anil.recoil.org · 12/06/2026We've released the @geotessera.org v1.1 geospatial foundation model, with wider coastal coverage, improved sparse observation accuracy and greater year-on-year temporal stability. anil.recoil.org/notes/tesser... 🌏 2269
Anil Madhavapeddy @anil.recoil.org · 18/05/2026So very sad to hear of the passing of Peter Neumann. He was an epic pioneer in computer science, but also such a wonderfully cheerful, supportive person at any hour. If I didn't rhyme with Peter, he wouldn't write my tenure letter, so I got straight down to rhyming! www.nytimes.com/2026/05/17/o... 030
Anil Madhavapeddy @anil.recoil.org · 09/05/2026Back in Cam to so many early morning running buddies 1130
Anil Madhavapeddy @anil.recoil.org · 08/05/2026A very, very happy 100th birthday to David Attenborough from the @conservation.cam.ac.uk crew, via @billsutherland.bsky.social! 1122
Anil Madhavapeddy @anil.recoil.org · 20/04/2026In order to dispel persistent rumours that Hamed Haddadi and I are the same person, we used the selfie sofa in Christ's College Cambridge to provide evidence to the contrary. Also, my other weeknotes anil.recoil.org/notes/2026w16 1100
Anil Madhavapeddy @anil.recoil.org · 16/04/2026Delighted to win Paper of the Year last night for "Functional Networking for Millions of Docker Containers" at the Cambridge Ring Hall of Fame Awards last night! Read about the other nominees and winners over at www.cst.cam.ac.uk/news/celebra... and find the paper at anil.recoil.org/papers/2025-... 1210
Anil Madhavapeddy @anil.recoil.org · 31/03/2026Really like this dashboard from the @rogue-scholar.bsky.social that shows metadata quality for blog feeds with DOIs rogue-scholar.org/communities/... 000
Anil Madhavapeddy @anil.recoil.org · 27/03/2026Friday fun getting TESSERA to support the new Zarr v3 geo-embeddings convention. Instead of islands of Zarr arrays, we now have a "MegaZarr!" that provides a unified store across years, coordinates and 128 dimensions. Try it for yourself at tze.geotessera.org and anil.recoil.org/notes/tesser... 🌍 061
Anil Madhavapeddy @anil.recoil.org · 08/03/2026.plan-26-w10: Streaming TESSERA embeddings straight into the browser with wasm is ridiculously good fun. Release next week if I can get enough oxcaml written to finish the transcoding of embeddings into Zarr! Never thought I'd enjoy frontend coding so much... anil.recoil.org/notes/2026w10 0141
Anil Madhavapeddy @anil.recoil.org · 08/03/2026Blimey I'm in the top 10 of @standard.site blogs by domain standard-search.octet-stream.net/stats (just like in school sports, "top 10" for me means "at the 10th spot just sneaking in by a whisker") 081
Anil Madhavapeddy @anil.recoil.org · 24/02/2026Made the cover of @acm.org 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 has been a long time coming cacm.acm.org/research/a-d... w/ @justincormack.bsky.social djs55 47114
Anil Madhavapeddy @anil.recoil.org · 23/02/2026Some more great signs as the crowd swells! @camvetschool.bsky.social 020
Anil Madhavapeddy @anil.recoil.org · 23/02/2026Save the Cambridge Vet School march today morning in Cambridge with some splendid signs savethevetschool.co.uk @camvetschool.bsky.social 274
Anil Madhavapeddy @anil.recoil.org · 15/02/2026Wow I added support for text/markdown format responses to agents on my website, and within less than 10 minutes one quarter of traffic are agents. E.g. anil.recoil.org/notes/2026w7 is the html and anil.recoil.org/notes/2026w7... is the text version 160
Anil Madhavapeddy @anil.recoil.org · 31/01/2026Watching @ryan.freumh.org give his unified formal calculus talk for package management to an overflowing room at #fosdem! Livestream stream.fosdem.org/k3201.m3u8 and preprint at arxiv.org/pdf/2506.10803 amok.recoil.org/system/media... amok.recoil.org/system/media... 0103
Anil Madhavapeddy @anil.recoil.org · 16/01/2026Good news is that we made it there. Bad news is it’s not open at 9 so I’m going to go again tomorrow! 030
Anil Madhavapeddy @anil.recoil.org · 16/01/2026That's good news; the _design quality_ of the new revisions is also very low compared to what was there before. E.g. I find the new forced header page on every PDF to be terribly ugly typesetting after they put so much good work into the acmart style for the rest of the content! 160
Anil Madhavapeddy @anil.recoil.org · 14/01/2026Haha this was me in the BBC article! My @cst.cam.ac.uk office is freezing as the heating there been broken since the pandemic. Nice in the summer though www.bbc.co.uk/news/article... 2110
Anil Madhavapeddy @anil.recoil.org · 10/11/2025While idly waiting for a train, I realise that Kings Cross is pretty metal 3100
Anil Madhavapeddy @anil.recoil.org · 31/10/2025With that many type theorists in one place it had a Raphael feel to it for sure 010
Anil Madhavapeddy @anil.recoil.org · 17/10/2025@xvw.lol notes just how complex modern editor tooling is, esp with agentic workflows #icfpsplash25 - he’s also done the coolest OCaml use of effects I’ve seen to help fix this! discuss.ocaml.org/t/ann-an-exp... 1165
Anil Madhavapeddy @anil.recoil.org · 17/10/2025Every OCaml talk needs a pun, and @sadiq.toao.com is no exception #icfpsplash25 082
Anil Madhavapeddy @anil.recoil.org · 17/10/2025A type by type comparison of Haskell vs OCaml! When does each fail at inference? #icfpsplash25 020
Anil Madhavapeddy @anil.recoil.org · 17/10/2025Completely full house for this talk! #icfpsplash25 100
Anil Madhavapeddy @anil.recoil.org · 17/10/2025Completely full house for this talk! #icfpsplash25 010
Anil Madhavapeddy @anil.recoil.org · 17/10/2025Great to see Richard Eisenberg giving this talk to OCamlers AND Haskellers AND still grinning! #icfpsplash25 290
Anil Madhavapeddy @anil.recoil.org · 17/10/2025Extremely cool work on a mechanically verified garbage collector for OCaml using F* by Sheera Samsu, @kcsrk.info and colleagues at the OCaml Workshop #icfpsplash25 0257
Anil Madhavapeddy @anil.recoil.org · 15/10/2025This was the best conference talk I’ve seen in years!! 020
Anil Madhavapeddy @anil.recoil.org · 14/10/2025The most important fact i learnt at @icfp-conference.bsky.social from @yminsky.bsky.social is that Kitty supports variable sized text and it took no time at all to build an OCaml version of this protocol 261
Anil Madhavapeddy @anil.recoil.org · 13/10/2025To be clear, @satnam6502.bsky.social is talking about chip design here but feel free to meme this as you wish #icfpsplash25 0384
Anil Madhavapeddy @anil.recoil.org · 12/10/2025Completely full house for our OxCaml tutorial at #icfpsplash25! conf.researchr.org/details/icfp... 0212