Anil Madhavapeddy

This will remove so many unnecessary OCaml functors from our codebases. My rough rule of thumb is that if a functor is not applied more than once in a codebase, it doesn’t need to be a functor. Parameterised libraries lets us easily do one-shot reuse of existing modules in a different context.

They’ll always be “BIG functors” to me!

Abnormally slow loop (25x) under OCaml 5 / macOS / arm64 · Issue #13262 · ocaml/ocaml Hello, I am using macOS Ventura 13.6.7 with an Apple M2 Max processor. A loop that writes values into an integer array is about 20x slower with OCaml 5 than with OCaml 4. Using Array.set versus Arr...

The related saga on the OCaml tracker on the topic; with a good breakdown of options github.com/ocaml/ocaml/...

YouTube video by Jane Street The Saga of Multicore OCaml

I had a lot of fun giving this talk in Singapore about the many-years-long saga of multicore OCaml, and in particular, the work over the least 2.5 years of getting it ready for production work within Jane Street's walls.

www.youtube.com/watch?v=XGGS...

Yes I did rapidly help build the cantabsforchris.co.uk site and yes, I am utterly delighted that Chris Smith will be our next Chancellor 😀 The quality of the discourse and the respectful yet direct campaigns were a delight to witness from all the candidates. Looking forward to this every decade!

Right this is how I’m going to do our ICFP talk @patrick.sirref.org! Very cool to see OCaml web components to make executable notebooks online really easy patrick.sirref.org/slipshow-x-x...

know any good examplar packages that are using the media assets right now?

the new features on odoc, such as files and media assets and more, are really useful and it will be great to see documentation use them

Also delighted to see a year-long effort to upgrade OCaml's central package documentation on ocaml.org go live; some background on how it works from @jon.recoil.org here jon.recoil.org/blog/2025/07...

I am getting increasingly excited by the runtime metaprogramming extensions coming into OxCaml. They deal with the fundamental non-portability of most of the modern vector extensions in CPUs (across all architectures), but don't expose any of their decision trees in the interface of the OCaml lib

Rounding up everything I've seen about OCaml agentic coding in the past few weeks; anything else happening I should add? anil.recoil.org/notes/cresti... (it's hard to keep up!)

There's a lot going on! discuss.ocaml.org/t/announcing... is particularly exciting

Using Kyutai's low latency audio models on macOS in one command

I am properly impressed by the Kyutai MLX audio model, @lmazare.bsky.social! anil.recoil.org/notes/kyutai...

Student Conference on Conservation Science - Welcome SCCS helps young conservation scientists gain experience, learn new ideas and make contacts that will be valuable for their future careers.

Excited to announce the 25th Student Conservation in Conservation Science will be held in Cambridge 31 March-2 April 2026.

@sccscambridge.bsky.social @camzoology.bsky.social @conservation.cam.ac.uk

For more information, see:
www.sccs-cam.org

Evaluating satellite data and deep learning for identifying direct deforestation drivers in Cameroon Deforestation rates have been increasing in the Congo Basin in recent years, especially in Cameroon. To support actions to slow deforestation, Earth O…

Can we build high performing models of detailed drivers of #deforestation in data poor regions? Our newest paper, led by Amandine Debus, shows this is possible with collaboration and deep learning.

www.sciencedirect.com/science/arti...

Some fun OCaml GC projects here with @sadiq.toao.com and @kcsrk.info if any students are looking for projects involving programming languages toao.com/blog/ocaml-0...

Royal Society's Future of Scientific Publishing meeting

My livenotes from the @royalsociety.org meeting today on the Future of Scientific Publishing; anil.recoil.org/notes/rs-fut...

well done d3r3k dr3y3rz

I’m up for trying the self hosting! As is no doubt @mtelvers.tunbury.org!

I've had a lot of success generating protocol test data from the textual RFC spec directly, and then shoving it into ppx_expect tests

The most incredibly fun part of this Nature comment on evidence synthesis we published today is that the cartoonist (David Parkins) also did Beano and Dennis the Menace (!) A true legend. www.nature.com/articles/d41...

The rapid rise in AI-generated fraudulent academic papers is "poisoning" scientific literature, say Cambridge researchers in Nature magazine today. But though AI is the problem, it could also help in ensuring the integrity of scientific discovery... buff.ly/AuSNcGd
@anil.recoil.org @sadiq.toao.com

PSA! Please share around! Due to a limited number of submissions, we're extending the OCaml Workshop deadline by a week to July 10th AoE!

Functional programmers! Heed my call! We need your submissions!!

Begun, the SIGCOMM rebellion has. nines-conference.org

on a related note, would you like to become a maintainer? We're spread *really* thin! /cc @mseri.me @gazagnaire.org

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

Also very lovely to see so many CS undergrads this morning as well as at the Barham dinner with the Pembroke CS graduands. So many justifiably happy faces all around!

I had to cut @bio-diverse.bsky.social off mid sentence to make it to @pembroke1347.bsky.social graduation! The ancient double doors are opening, awaiting the graduate procession to the Senate house!!

woohoo!!!