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
I got the last copy!!
January 17, 2026 at 2:40 PM
I got the last copy!!
Good news is that we made it there. Bad news is it’s not open at 9 so I’m going to go again tomorrow!
January 16, 2026 at 9:37 PM
Good news is that we made it there. Bad news is it’s not open at 9 so I’m going to go again tomorrow!
That's good news; the _design quality_ of the new revisions is also very low compared to what was there before. E.g. I find the new forced header page on every PDF to be terribly ugly typesetting after they put so much good work into the acmart style for the rest of the content!
January 16, 2026 at 2:26 PM
That's good news; the _design quality_ of the new revisions is also very low compared to what was there before. E.g. I find the new forced header page on every PDF to be terribly ugly typesetting after they put so much good work into the acmart style for the rest of the content!
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...
Birmingham: more bull less roof
November 18, 2025 at 11:57 PM
Birmingham: more bull less roof
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! 🌍