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
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
With that many type theorists in one place it had a Raphael feel to it for sure
October 31, 2025 at 10:36 AM
With that many type theorists in one place it had a Raphael feel to it for sure
@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...
October 17, 2025 at 9:05 AM
@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...
Every OCaml talk needs a pun, and @sadiq.toao.com is no exception #icfpsplash25
October 17, 2025 at 8:32 AM
Every OCaml talk needs a pun, and @sadiq.toao.com is no exception #icfpsplash25
A type by type comparison of Haskell vs OCaml! When does each fail at inference? #icfpsplash25
October 17, 2025 at 6:21 AM
A type by type comparison of Haskell vs OCaml! When does each fail at inference? #icfpsplash25
@kcsrk.info torn between being lazy and strict
October 17, 2025 at 6:02 AM
@kcsrk.info torn between being lazy and strict
Completely full house for this talk! #icfpsplash25
October 17, 2025 at 6:02 AM
Completely full house for this talk! #icfpsplash25
Completely full house for this talk! #icfpsplash25
October 17, 2025 at 5:47 AM
Completely full house for this talk! #icfpsplash25
Great to see Richard Eisenberg giving this talk to OCamlers AND Haskellers AND still grinning! #icfpsplash25
October 17, 2025 at 5:44 AM
Great to see Richard Eisenberg giving this talk to OCamlers AND Haskellers AND still grinning! #icfpsplash25
Extremely cool work on a mechanically verified garbage collector for OCaml using F* by Sheera Samsu, @kcsrk.info and colleagues at the OCaml Workshop #icfpsplash25
October 17, 2025 at 3:32 AM
Extremely cool work on a mechanically verified garbage collector for OCaml using F* by Sheera Samsu, @kcsrk.info and colleagues at the OCaml Workshop #icfpsplash25
This was the best conference talk I’ve seen in years!!
October 14, 2025 at 11:47 PM
This was the best conference talk I’ve seen in years!!
The 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
October 14, 2025 at 7:19 AM
The 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
To be clear, @satnam6502.bsky.social is talking about chip design here but feel free to meme this as you wish #icfpsplash25
October 13, 2025 at 1:29 AM
To be clear, @satnam6502.bsky.social is talking about chip design here but feel free to meme this as you wish #icfpsplash25
Completely full house for our OxCaml tutorial at #icfpsplash25! conf.researchr.org/details/icfp...
October 12, 2025 at 6:53 AM
Completely full house for our OxCaml tutorial at #icfpsplash25! conf.researchr.org/details/icfp...
Singapore’s airport is really something else
October 10, 2025 at 11:21 AM
Singapore’s airport is really something else
poor @sadiq.toao.com didn't get in on the picture as he was taking it so here's a bonus one
September 27, 2025 at 2:51 PM
poor @sadiq.toao.com didn't get in on the picture as he was taking it so here's a bonus one
While it was a delight to visit my colleagues in Oxford today, I’m really not sure what’s going with their sofa placements. Is this their latest ploy to get an edge over Cambridge in the boat race?!
September 26, 2025 at 3:58 PM
While it was a delight to visit my colleagues in Oxford today, I’m really not sure what’s going with their sofa placements. Is this their latest ploy to get an edge over Cambridge in the boat race?!
Fun day talking global sustainability and biodiversity at the @royalsociety.org and @iiasa.ac.at meeting. Lots of work to do, and Martin Rees is urging us on! iiasa.ac.at/events/sep-2...
September 9, 2025 at 4:46 PM
Fun day talking global sustainability and biodiversity at the @royalsociety.org and @iiasa.ac.at meeting. Lots of work to do, and Martin Rees is urging us on! iiasa.ac.at/events/sep-2...
I also knocked up a fun interactive global explorer where you can check out your favorite country and food choices to compare risks quantifyearth.github.io/food-globe/
September 9, 2025 at 11:15 AM
I also knocked up a fun interactive global explorer where you can check out your favorite country and food choices to compare risks quantifyearth.github.io/food-globe/
Just published GeoTessera to pypi, a simple CLI interface and library to our new geospatial foundation model. If you want to play with some gloriously fun satellite tech, instructions at anil.recoil.org/notes/geotes.... Python now, OxCaml version coming next! 🌍
September 1, 2025 at 12:44 PM
Just published GeoTessera to pypi, a simple CLI interface and library to our new geospatial foundation model. If you want to play with some gloriously fun satellite tech, instructions at anil.recoil.org/notes/geotes.... Python now, OxCaml version coming next! 🌍
1.58 bits is all you need arxiv.org/pdf/2402.17764
August 30, 2025 at 2:52 PM
1.58 bits is all you need arxiv.org/pdf/2402.17764
Office biodiversity getting slightly out of control but I’m rolling with the ecosystem flow you know
August 28, 2025 at 2:36 PM
Office biodiversity getting slightly out of control but I’m rolling with the ecosystem flow you know
Returned to Cambridge from Botswana at the crack of dawn and before I could even brush my teeth @billsutherland.bsky.social had me filming horses and hay outside Kings for his next Conservation Concepts episode! I do love Cambridge summers
August 7, 2025 at 12:19 PM
Returned to Cambridge from Botswana at the crack of dawn and before I could even brush my teeth @billsutherland.bsky.social had me filming horses and hay outside Kings for his next Conservation Concepts episode! I do love Cambridge summers
And they’re off!! Don’t trip on your gowns, don’t trip on your gowns, don’t trip on your gowns…
July 2, 2025 at 3:11 PM
And they’re off!! Don’t trip on your gowns, don’t trip on your gowns, don’t trip on your gowns…
The traditional cheering procession has begun to gather, with our lovely catering staff cheering on the students they’ve taken care of for the last three years
July 2, 2025 at 3:07 PM
The traditional cheering procession has begun to gather, with our lovely catering staff cheering on the students they’ve taken care of for the last three years