Anil Madhavapeddy
banner
anil.recoil.org
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
Pinned
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.)
Reposted by Anil Madhavapeddy
It's consistently remarkable to me that Ireland - surely just as strategically and economically fucked as Iceland if the gulf stream collapses - has a government that barely even things about this, let alone mention it, God forbid do anything.
November 19, 2025 at 6:56 PM
Reposted by Anil Madhavapeddy
@tangled.org is such a great role model for projects in this moment

- actually does the thing: useful, accessible
- innovates/differentiates at *product* level: stacked review
- hybrid at proto layer (git and AT), pulls in bsky profile data
- built in europe by small amitious team

#eurosky
November 19, 2025 at 10:47 AM
geotessera 0.7.1 is out to meet all your planetary geospatial hacking needs. It now has an efficient Parquet registry for the 1.2m+ tiles of CC-BY licensed global embeddings, and Zarr format support for more efficient chunking and distributed processing. Enjoy! 🌍 anil.recoil.org/notes/geotes...
GeoTessera 0.7 out with efficient sampling and Zarr support
anil.recoil.org
November 19, 2025 at 3:49 PM
Reposted by Anil Madhavapeddy
The "Road to the AI Impact Summit: AI Openness Report is now live with updates on the global data before deep diving into India and the UK with new ecosystem data, thought leadership and case studies. Report link: openuk.uk/stateofopen/...
#IndiaAIImpactSummit2025 #IndiaAI #AIforIndia #ImpactSummit
November 19, 2025 at 12:30 PM
Kathleen Fisher is an inspired choice as the next ARIA CEO. And I was *just* reading her papers on PADS to send to @patrick.sirref.org as ideas for our time travelling shell! ariaresearch.substack.com/p/introducin...
Introducing ARIA’s next CEO
Kathleen Fisher will join us in February 2026.
ariaresearch.substack.com
November 19, 2025 at 8:23 AM
More @tangled.org packages heading into opam @ocaml.org. It's getting easier and easier! tangled.org/@anil.recoil...
tags · @anil.recoil.org/ocaml-jsonfeed
OCaml library for JSONfeed parsing and creation
tangled.org
November 12, 2025 at 3:59 PM
Reposted by Anil Madhavapeddy
A rough and ready, online Hazel of OCaml compiler: patricoferris.github.io/hazel_of_oca...
hazoo
patricoferris.github.io
November 11, 2025 at 4:11 PM
Reposted by Anil Madhavapeddy
'From research lab to newsroom: deploying secure whistleblower technology'.
@arberesford.bsky.social & @lambda.bsky.social
discuss their secure comms technology CoverDrop which now helps whistleblowers contact @theguardian.com journalists safely.
🗓️ Weds 12 Nov
🕒 15:05 (GMT)
👉🏼 shorturl.at/FbMWc
November 11, 2025 at 2:23 PM
While idly waiting for a train, I realise that Kings Cross is pretty metal
November 10, 2025 at 6:36 PM
Nice @cam.ac.uk article on our biodiversity impacts of food consumption at www.cam.ac.uk/stories/food... with an interactive explorer here quantifyearth.github.io/food-globe/ 🌎
Food and the long-term risk to life: How your dinner affects 30,875 species
Cambridge researchers have developed a new way to measure the impact of food production on other species’ survival around the world.
www.cam.ac.uk
November 6, 2025 at 10:45 AM
Very good fun shaking Jensen Huang's hand after he was award the Hawking Fellowship at the Cambridge Union... and did he just advise us to abolish exams? anil.recoil.org/notes/jensen...
Jensen Huang receives the Hawking Fellowship at Cambridge
anil.recoil.org
November 4, 2025 at 11:26 PM
I like the direction @leaflet.pub is going, and am wondering if I could use Leaflet as the commenting/quoting platform for my own blog. It would need some sort of Atom/RSS bridging; I could create a Leaflet pub with just the URL to my blog as the only entry; any better way?
October 30, 2025 at 1:08 PM
Discovered this custom papers feed based on who you follow: bsky.app/profile/did:... , via lab.leaflet.pub/3lz2rud4d3s2...
Towards Leaflet for Scientists - Leaflet Lab Notes
Lab Notes 011: ideas for now we might make Leaflet better for scientists, researchers, and academic communities
lab.leaflet.pub
October 30, 2025 at 1:04 PM
I'll add:: the future is having the agency of extensibility for code management. I want to be able to render executable notebooks that aren't Jupyter, to coordinate large datasets outside of git LFS, to track provenance of code+data. Federation is the means to this end. icy.leaflet.pub/3m47cll72hs25
October 30, 2025 at 11:18 AM
This is exactly what I need and why I love the lazyweb. Thanks @runlevel0.me !
October 29, 2025 at 2:46 PM
One thing I'm missing in my self-hosting stack is a service that can track all the changelogs/releases of software I depend on, and give me an Atom feed. I can poll the Docker registry for them, but I never know what migrations need to run for each service
October 29, 2025 at 2:41 PM
Reposted by Anil Madhavapeddy
Today, the @ec.europa.eu has announced the creation of the #EDIC #DigitalCommons — a major milestone in a multi-year European effort that the Sovereign Tech Agency helped shape from the start.
1/3
October 29, 2025 at 1:47 PM
Reposted by Anil Madhavapeddy
We’ve been working hard with the UK public sector at OpenUK, looking not just at funding of open source software but at the overall landscape needed as a user and funder of sustainable software through open source. Read the blog post here openuk.uk/theuksfuture...
#opensource #openuk
October 28, 2025 at 4:02 PM
The UK *really* needs to set up a sovereign tech fund to support the vibrant open source scene here. Kudos to @openuk.bsky.social for pushing this in their recommendations to @ukri.org openuk.uk/theuksfuture...
The UK’s future leadership in open source - OpenUK
Today OpenUK is sharing our first public update on the work we have been commissioned to undertake by UK Research and Innovation (UKRI). This was procured through a competitive tendering process, and ...
openuk.uk
October 28, 2025 at 6:19 PM
Reposted by Anil Madhavapeddy
6 months of Tangled
a quick recap, and notes on the future
blog.tangled.org
October 21, 2025 at 12:21 PM
Reposted by Anil Madhavapeddy
There's relatively little LLM training data for niche languages and this causes poorer coding agent performance. I think this is an existential threat for smaller language communities like OCaml.

My talk at the OCaml workshop gave some actionable steps to mitigate that: toao.com/blog/ai-exis...
Three Steps for OCaml to Crest the AI Humps - Sadiq Jaffer
toao.com
October 25, 2025 at 12:39 PM
TIL you can use @quarto.org markdown to generate ACM format compliant journal articles... github.com/quarto-journ...
Quarto Journals
Journals Custom Formats for Quarto by the Quarto Team - Quarto Journals
github.com
October 25, 2025 at 9:01 AM
omg my blog got into @rogue-scholar.bsky.social and now has a permanent DOI per entry. I am DISPROPORTIONATELY EXCITED by this. E.g. my @icfp-conference.bsky.social blog post roundup now has its own DOI! doi.org/10.59350/4jf...

Less excitingly it has revealed bugs in my Atom generation...
A Roundup of ICFP/SPLASH 2025 happenings
doi.org
October 24, 2025 at 11:09 AM
I was in the audience, and I loved this talk! Although it did lead to late night conversations about why we're allocating external memory in the first place in OCaml, instead of going full zero-copy. My thoughts here: anil.recoil.org/notes/icfp25...
October 23, 2025 at 2:03 PM