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.)
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.
Iceland Climate Minister Johannsson: "It is a direct threat to our national resilience and security. (This) is the first time a specific climate-related phenomenon has been formally brought before the National Security Council as a potential existential threat."
www.reuters.com/sustainabili...
www.reuters.com/sustainabili...
Iceland deems possible Atlantic current collapse a security risk
Iceland has designated the potential collapse of a major Atlantic Ocean current system a national security concern and an existential threat, enabling its government to strategize for worst-case scenarios, the country's climate minister told Reuters.
www.reuters.com
November 19, 2025 at 6:56 PM
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.
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
- 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
@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
- 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
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
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...
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
#IndiaAIImpactSummit2025 #IndiaAI #AIforIndia #ImpactSummit
November 19, 2025 at 12:30 PM
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
#IndiaAIImpactSummit2025 #IndiaAI #AIforIndia #ImpactSummit
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
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...
Prepping for the upcoming Indian AI Summit in London with @openuk.bsky.social anil.recoil.org/notes/path-t...
On the path to the UK/India AI Summit with OpenUK and the ATI
Reflections on UK-India AI collaboration from meetings at the Alan Turing Institute and OpenUK, discussing ethical AI deployment, open source infrastructure, and the challenges of building community i...
anil.recoil.org
November 14, 2025 at 4:37 PM
Prepping for the upcoming Indian AI Summit in London with @openuk.bsky.social anil.recoil.org/notes/path-t...
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
More @tangled.org packages heading into opam @ocaml.org. It's getting easier and easier! tangled.org/@anil.recoil...
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
A rough and ready, online Hazel of OCaml compiler: patricoferris.github.io/hazel_of_oca...
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
@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
'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
@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
While idly waiting for a train, I realise that Kings Cross is pretty metal
November 10, 2025 at 6:36 PM
While idly waiting for a train, I realise that Kings Cross is pretty metal
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
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/ 🌎
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
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...
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
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?
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
Discovered this custom papers feed based on who you follow: bsky.app/profile/did:... , via lab.leaflet.pub/3lz2rud4d3s2...
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
wrote down some thoughts justifying @tangled.org's existence & planned trajectory.
building for the future
on tangled's existence and direction
icy.leaflet.pub
October 30, 2025 at 11:18 AM
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
This is exactly what I need and why I love the lazyweb. Thanks @runlevel0.me !
October 29, 2025 at 2:46 PM
This is exactly what I need and why I love the lazyweb. Thanks @runlevel0.me !
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
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
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
1/3
October 29, 2025 at 1:47 PM
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
1/3
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
#opensource #openuk
October 28, 2025 at 4:02 PM
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
#opensource #openuk
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
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...
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...
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
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...
My talk at the OCaml workshop gave some actionable steps to mitigate that: toao.com/blog/ai-exis...
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
TIL you can use @quarto.org markdown to generate ACM format compliant journal articles... github.com/quarto-journ...
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...
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
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...
Less excitingly it has revealed bugs in my Atom generation...
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
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...