Anil Madhavapeddy

superb piece of work getting merlin's typing recovery upstreamed into the OCaml compiler; it might even make 5.5! "the typer won't stop at the first error. Instead it will continue typing as much as possible, reporting other errors along the way" https://github.com/ocaml/ocaml/pull/14241

This is such an ingenious Apr 1st PR from Stephen Dolan I feel like it's the exact opposite of AI slop https://github.com/ocaml/ocaml/pull/14701

after being on the radio on all of the four nations this week, BBC Wales wins my inaugural "best pronunciation of Madhavapeddy" award

been resurrecting my system packaging scripts to remember how it all works again https://anil.recoil.org/notes/oxcaml-packages

So very sad to hear of the passing of Peter Neumann. He was an epic pioneer in computer science, but also such a wonderfully cheerful, supportive person at any hour. This was an example of a typical email exchange with him to grab coffee, in an age before AI. If I didn't rhyme with Peter, he wouldn't write my tenure letter, so I got straight down to rhyming! RIP after a life wonderfully lived https://www.nytimes.com/2026/05/17/obituaries/peter-g-neumann-dead.html

Here's my proposal for voluntary disclosure of AI tool usage in published OCaml code. Are any other language ecosystems doing this? I'd love to hear about them if so! https://anil.recoil.org/notes/opam-ai-disclosure

adding lots of the latest io_uring goodies to the OCaml bindings enroute to trying out zerocopy/zeroalloc IO in OxCaml https://github.com/ocaml-multicore/ocaml-uring/pull/147

Running in Scotland isn't the same as running in Cambridge; can't feel my legs this morning due to all the 3D ups and downs!

The Internet needs an antibotty immune system, stat! My musings on the implications of the Mythos preview, and that we need to shake up how we approach building software beyond formal specification https://anil.recoil.org/notes/internet-immune-system

My quote that "I for one welcome our digihog overlords" did not make the news sadly, but other banter about @geotessera.org and hedgehogs did! https://www.bbc.co.uk/news/articles/c202g60qrlpo

.plan-26-13: Oxidised hackery, standardised embeddings, and simmering on syndication https://anil.recoil.org/notes/2026w13

Some further thoughts on voluntary AI disclosure for ocaml/opam packages https://discuss.ocaml.org/t/a-proposal-for-voluntary-ai-disclosure-in-ocaml-code/17950/28?u=avsm

.plan-26-14: Tracking AI screen time and escaping to pen and paper https://anil.recoil.org/notes/2026w14

.plan-26-21: some amazing undergraduate projects completed this week on TESSERA and OxCaml, speaking at Pint of Science, and a grab bag of hacking https://anil.recoil.org/notes/2026w21

Some 'behind the scenes' about appearing on the BBC/ITV/etc last week talking about... hedgehogs and AI, of all things. https://anil.recoil.org/notes/hedgehog-tessera-week

It was quite fun discovering how the radio and TV production processes works post-pandemic; it's much more social media and remote-friendly than the old ways of traipsing around to the studios for a big formal interview!

Weeknotes: Our REDD+ over-crediting paper hits the press just as Microsoft retreats from carbon removals, we talk responsible evidence synthesis to government while LLMs appear in UK planning, and my newest tool "oi" grows a self-update bootstrap. https://anil.recoil.org/notes/2026w18