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
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...
A five part roundup of my @icfp-conference.bsky.social experience, covering chairing @propl.dev, holding an OxCaml tutorial, speaking about Docker, and what I learnt from everyone! anil.recoil.org/notes/icfp25; above all, huge thanks to @ilyasergey.bsky.social for making this ICFP/SPLASH so good
A Roundup of ICFP/SPLASH 2025 happenings
anil.recoil.org
October 23, 2025 at 1:12 PM
A five part roundup of my @icfp-conference.bsky.social experience, covering chairing @propl.dev, holding an OxCaml tutorial, speaking about Docker, and what I learnt from everyone! anil.recoil.org/notes/icfp25; above all, huge thanks to @ilyasergey.bsky.social for making this ICFP/SPLASH so good
Reposted by Anil Madhavapeddy
I'm honoured to have been appointed Chief Scientific Adviser to the UK Department of Energy Security and Net Zero:
www.gov.uk/government/n...
www.gov.uk/government/n...
New DESNZ Chief Scientific Adviser appointed
The Department for Energy Security and Net Zero has appointed Professor Emily Shuckburgh to the role of Chief Scientific Adviser.
www.gov.uk
October 22, 2025 at 4:44 PM
I'm honoured to have been appointed Chief Scientific Adviser to the UK Department of Energy Security and Net Zero:
www.gov.uk/government/n...
www.gov.uk/government/n...
Reposted by Anil Madhavapeddy
Did u know? Queen bumblebees are looking for places to hibernate, right now: loose mud, leaf piles, plant pots or, in this case, my ceramic organic wool-filled skep. If you do accidentally disturb a sleeping beauty, just gently cover her back up again, so she can complete her winter's rest.🌿🌱🇬🇧🌱🌍🪲🐝
October 22, 2025 at 4:58 AM
Did u know? Queen bumblebees are looking for places to hibernate, right now: loose mud, leaf piles, plant pots or, in this case, my ceramic organic wool-filled skep. If you do accidentally disturb a sleeping beauty, just gently cover her back up again, so she can complete her winter's rest.🌿🌱🇬🇧🌱🌍🪲🐝
What's the best way to get a RISCV Linux on the cloud that runs a reasonably recent kernel? The @scaleway.com RV5 are great, but still stuck on Linux 5.5 and so can't run io_uring
October 22, 2025 at 6:45 AM
What's the best way to get a RISCV Linux on the cloud that runs a reasonably recent kernel? The @scaleway.com RV5 are great, but still stuck on Linux 5.5 and so can't run io_uring
Reposted by Anil Madhavapeddy
October 22, 2025 at 1:51 AM
I would have commented sooner on the AWS outage, but I've only just managed to free myself from my $2000 smart bed www.dexerto.com/entertainmen...
AWS crash causes $2,000 Smart Beds to overheat and get stuck upright - Dexerto
The AWS outage caused chaos for owners of Eight Sleep’s Pod3 mattresses as they had no offline mode and were stuck at high temperatures.
www.dexerto.com
October 22, 2025 at 4:46 AM
I would have commented sooner on the AWS outage, but I've only just managed to free myself from my $2000 smart bed www.dexerto.com/entertainmen...
Reposted by Anil Madhavapeddy
A great opportunity to help work on OCaml's modern scientific computing ecosystem, Raven, with a fantastic co-mentor Thibaut! discuss.ocaml.org/t/outreachy-...
Outreachy Mentors Wanted
I have submitted two projects for this round: Create an OxCaml backend for Raven Create a monitoring dashboard for Raven For 1., the title is descriptive enough: the goal is to implement a new OxCa...
discuss.ocaml.org
September 26, 2025 at 12:36 PM
A great opportunity to help work on OCaml's modern scientific computing ecosystem, Raven, with a fantastic co-mentor Thibaut! discuss.ocaml.org/t/outreachy-...