Anil Madhavapeddy
@anil.recoil.org
Professor of Planetary Computing at the University of Cambridge @cst.cam.ac.uk, where I co-lead the @eeg.cl.cam.ac.uk and work on computing for global biodiversity and climate change with @conservation.cam.ac.uk.
Homepage at https://anil.recoil.org
Homepage at https://anil.recoil.org
Pinned
Anil Madhavapeddy
@anil.recoil.org
· Nov 28
I've also started the refresh cycle for Real World OCaml v3 w/ @yminsky.bsky.social in preparation for being on a sabbatical year in 2025! What would you all like to read more about in the latest OCaml 5 goodies? (aside from parallelism; there'll be lots about parallelism.)
Big credit to @futur.blue who started me off with tangled.org/futur.blue/pegasus/ !
January 16, 2026 at 6:57 AM
Big credit to @futur.blue who started me off with tangled.org/futur.blue/pegasus/ !
It worked!!! this is so much fun. Onto figuring out thumbnails and blob uploads next :-)
January 15, 2026 at 7:39 PM
It worked!!! this is so much fun. Onto figuring out thumbnails and blob uploads next :-)
Reposted by Anil Madhavapeddy
This is getting pretty good. Ideally I think what's next is for the owners of bsky.social to publish a webfinger entry (try logging into the app as [email protected] to get the webfinger instructions), and for Tailscale to treat bsky.social and atlogin.net as "single-user-per-tailnet" domains.
Bluesky
Social media as it should be. Find your community among millions of users, unleash your creativity, and have some fun again.
bsky.social
January 15, 2026 at 6:18 PM
This is getting pretty good. Ideally I think what's next is for the owners of bsky.social to publish a webfinger entry (try logging into the app as [email protected] to get the webfinger instructions), and for Tailscale to treat bsky.social and atlogin.net as "single-user-per-tailnet" domains.
Reposted by Anil Madhavapeddy
It still surprises me you can get good performance with even tiny models on top of TESSERA embeddings. Here's how to find solar farms in the UK with a small ~42k CNN: toao.com/blog/earth-o...
Earth Observation on a Budget: Finding Solar Farms with a 42k-Parameter Model
- Sadiq Jaffer
toao.com
January 15, 2026 at 6:51 PM
It still surprises me you can get good performance with even tiny models on top of TESSERA embeddings. Here's how to find solar farms in the UK with a small ~42k CNN: toao.com/blog/earth-o...
the danger of a from scratch implementation: I'd missed the seconds fraction. Records now fixed and updated but I guess aren't being picked up -- time to write a new blog post to see if this works ;-)
January 15, 2026 at 5:51 PM
the danger of a from scratch implementation: I'd missed the seconds fraction. Records now fixed and updated but I guess aren't being picked up -- time to write a new blog post to see if this works ;-)
Using TESSERA really feels like science fiction sometimes; @sadiq.toao.com's been using it to spot all the solar panels with just a simple CNN (just 42000 parameters!) built over our foundation model toao.com/blog/earth-o... 🌎
Earth Observation on a Budget: Finding Solar Farms with a 42k-Parameter Model
- Sadiq Jaffer
toao.com
January 15, 2026 at 5:25 PM
Using TESSERA really feels like science fiction sometimes; @sadiq.toao.com's been using it to spot all the solar panels with just a simple CNN (just 42000 parameters!) built over our foundation model toao.com/blog/earth-o... 🌎
Yikes thanks, I missed that tab; I’ll fix that shortly!
January 15, 2026 at 3:30 PM
Yikes thanks, I missed that tab; I’ll fix that shortly!
this is very cool! I've implemented my own @standard.site publisher in OCaml, but I'm not seeing my document show up in your surf index; pdsls.dev/at://did:plc... -- it's passing validation on site-validator.fly.dev though
Standard.site - One schema. Every platform.
Standard.site provides shared lexicons for long-form publishing on AT Protocol. Making content easier to discover, index, and move across the ATmosphere.
standard.site
January 15, 2026 at 1:51 PM
this is very cool! I've implemented my own @standard.site publisher in OCaml, but I'm not seeing my document show up in your surf index; pdsls.dev/at://did:plc... -- it's passing validation on site-validator.fly.dev though
just figuring out my schedule in March -- I need to be in India that week, but I'd love to pop in to the #ATmosphereConf too!
January 15, 2026 at 8:59 AM
just figuring out my schedule in March -- I need to be in India that week, but I'd love to pop in to the #ATmosphereConf too!
I have recently welcomed my email-by-cli overlords anil.recoil.org/notes/aoah-2...
AoAH Day 17: OCaml JMAP to plaster my painful email papercuts
Building an OCaml JMAP client that runs in browsers and CLI, then using it to build personalised email workflows for taming notification overload.
anil.recoil.org
January 15, 2026 at 7:29 AM
I have recently welcomed my email-by-cli overlords anil.recoil.org/notes/aoah-2...
@standard.site I'm just adding support to my website, and I was wondering if there's any way to also add a DOI identifier as an alternate URL. Only the main site would be verified, but the DOI redirects (immutably) to the main site and has a bunch of scholarly metadata associated with it...
January 14, 2026 at 6:55 PM
@standard.site I'm just adding support to my website, and I was wondering if there's any way to also add a DOI identifier as an alternate URL. Only the main site would be verified, but the DOI redirects (immutably) to the main site and has a bunch of scholarly metadata associated with it...
yes there was a decade between "CRT monitors" and "GPUs" that was a fallow period for temperature. Unfortunately, my specific office also has a giant crack in it which means that it's a few degrees colder than outside usually ;-)
January 14, 2026 at 1:57 PM
yes there was a decade between "CRT monitors" and "GPUs" that was a fallow period for temperature. Unfortunately, my specific office also has a giant crack in it which means that it's a few degrees colder than outside usually ;-)
Reposted by Anil Madhavapeddy
Not every day that I say it but run don't walk to ... LinkedIn for this important statement and the clear, deeply informed, forceful but respectful discussion in comments below it on how to combine a realism (indeed captial R Realism) of network analysis with an optimism of engineering will.
Joint Statement: Internet Architects & Leaders Condemn the Iran Shutdown www.linkedin.com/pulse/joint-...
LinkedIn Pulse
www.linkedin.com
January 14, 2026 at 1:34 PM
Not every day that I say it but run don't walk to ... LinkedIn for this important statement and the clear, deeply informed, forceful but respectful discussion in comments below it on how to combine a realism (indeed captial R Realism) of network analysis with an optimism of engineering will.
Haha 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...
January 14, 2026 at 11:26 AM
Haha 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...
Reposted by Anil Madhavapeddy
This is too funny: every time I try to renew, ieee.org seems to work but then it stops immediately when I validate my card details. It can't actually be me breaking ieee.org, right? Right?
downforeveryoneorjustme.com/ieee.org
downforeveryoneorjustme.com/ieee.org
January 13, 2026 at 4:33 PM
This is too funny: every time I try to renew, ieee.org seems to work but then it stops immediately when I validate my card details. It can't actually be me breaking ieee.org, right? Right?
downforeveryoneorjustme.com/ieee.org
downforeveryoneorjustme.com/ieee.org
Reposted by Anil Madhavapeddy
Please consider supporting our first #ATScience workshop! We have a great opportunity to capitalize on all the wonderful work being done in the @atproto.science space, and the more people can participate in the IRL magic the better :)
We already have several speakers and volunteers in need of travel support to attend #ATScience - if you’re able to pitch in with event sponsorship, please be in touch with us here or [email protected]! Tons of great energy swirling around ATScience, let’s make it the best possible for everyone!
January 13, 2026 at 3:02 PM
Please consider supporting our first #ATScience workshop! We have a great opportunity to capitalize on all the wonderful work being done in the @atproto.science space, and the more people can participate in the IRL magic the better :)
Kind of surreal seeing Claude Code Cowork use the same Linux-as-a-library-VM trick on macOS we first shipped in Docker for Desktop a decade ago (anil.recoil.org/papers/2025-...). Looks like the architecture of embedding Linux on any non-Linux desktop is now everywhere!
anil.recoil.org
January 13, 2026 at 8:36 AM
Kind of surreal seeing Claude Code Cowork use the same Linux-as-a-library-VM trick on macOS we first shipped in Docker for Desktop a decade ago (anil.recoil.org/papers/2025-...). Looks like the architecture of embedding Linux on any non-Linux desktop is now everywhere!
tough call; the TSO support makes a huge difference in the reliability and perf of rosetta 2 (which is a very user friendly feature)
January 12, 2026 at 1:46 PM
tough call; the TSO support makes a huge difference in the reliability and perf of rosetta 2 (which is a very user friendly feature)
Reposted by Anil Madhavapeddy
I guess you can turn on CONFIG_ANON_VMA_NAME (off by default on Debian) and then use PR_SET_VMA_ANON_NAME. That adds an anon_vma_name field to vm_area_struct. You can grab it out again from proc/maps.
January 12, 2026 at 1:42 PM
I guess you can turn on CONFIG_ANON_VMA_NAME (off by default on Debian) and then use PR_SET_VMA_ANON_NAME. That adds an anon_vma_name field to vm_area_struct. You can grab it out again from proc/maps.
that's perfect actually, i run a custom kernel already. thanks!
January 12, 2026 at 1:45 PM
that's perfect actually, i run a custom kernel already. thanks!
yeah some proprietary but arm64 has had memory domains for some time - would have thought Linux would have some way to expose these by now
January 12, 2026 at 1:36 PM
yeah some proprietary but arm64 has had memory domains for some time - would have thought Linux would have some way to expose these by now
macOS having memory tagging in mmap(2) caught my attention the blog post on fixing ghostty's memory leaks. Looks like it's used heavily in macOS already, but I can't find a Linux arm64 equivalent anywhere
January 12, 2026 at 1:27 PM
macOS having memory tagging in mmap(2) caught my attention the blog post on fixing ghostty's memory leaks. Looks like it's used heavily in macOS already, but I can't find a Linux arm64 equivalent anywhere
I must read that! It wasn't doi.org/10.1207/s153... perchance was it?
How Many Subjects Does It Take To Do A Regression Analysis
Numerous rules-of-thumb have been suggested for determining the minimum number of subjects required to conduct multiple regression analyses. These rules-of-thumb are evaluated by comparing their r...
doi.org
January 12, 2026 at 11:21 AM
I must read that! It wasn't doi.org/10.1207/s153... perchance was it?
Fieldwork gathers fresh data, which is crucial if we're going to rely on AI models to do predictions about nature! The earth of the future is changing rapidly, and the past is increasingly a less good indicator of the future. We must maintain our sense of reality while developing nature tech...
As someone trained as both a field ecologist and quantitative scientist, this tension runs deep for me. Some of my group are entrenched in the field whereas others work with models for a living.
‘I rarely get outside’: scientists ditch fieldwork in the age of AI www.nature.com/articles/d41...
1/4
‘I rarely get outside’: scientists ditch fieldwork in the age of AI www.nature.com/articles/d41...
1/4
Client Challenge
www.nature.com
January 12, 2026 at 9:10 AM
Fieldwork gathers fresh data, which is crucial if we're going to rely on AI models to do predictions about nature! The earth of the future is changing rapidly, and the past is increasingly a less good indicator of the future. We must maintain our sense of reality while developing nature tech...
Reposted by Anil Madhavapeddy
I am pleased to have been selected as the @greenparty.org.uk candidate for Mayor of Newham.
As Mayor, I will root out the corruption and incompetence in the Council and ensure we have the best possible environment to live in.
Share this video and help us build a Newham we can be proud of.
As Mayor, I will root out the corruption and incompetence in the Council and ensure we have the best possible environment to live in.
Share this video and help us build a Newham we can be proud of.
January 7, 2026 at 11:28 AM
I am pleased to have been selected as the @greenparty.org.uk candidate for Mayor of Newham.
As Mayor, I will root out the corruption and incompetence in the Council and ensure we have the best possible environment to live in.
Share this video and help us build a Newham we can be proud of.
As Mayor, I will root out the corruption and incompetence in the Council and ensure we have the best possible environment to live in.
Share this video and help us build a Newham we can be proud of.