← Feed

Posts

• View post

  How we've hosted our email "the hard way", by registering our own IPv4 block allocation with RIPE and then going through everything involved in receiving, delivering and accessing email on the modern public Internet. https://anil.recoil.org/notes/recoil-self-hosting-2026 with @nick@amok.recoil.org and @samoht@amok.recoil.org

• View post

  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

• View post

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

• View post

  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

• View post

  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

• View post

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

• View post

  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

• View post

  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!

• View post

  .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

• View post

  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!

• View post

  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

• View post

  @andrewnez@mastodon.social I'll send in a patch for the MPL (Mozzarella Public License)

• View post

  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

• View post

  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

• View post

  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

• View post

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

• View post

  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

• View post

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