The OCaml Planet RSS

As a Scala developer, I will document my journey of learning OCaml and how it compares to Scala

Get a comprehensive overview of the definitions, benefits, trade-offs, and use cases of functional programming.

On cognitive DDoS and AI screen time for code, a proposal for voluntary disclosure in OCaml, iOS misery, releasing GeoTessera 0.8 and spatial indexing and the FP Launchpad launch at IIT Madras.

TESSERA paper accepted at CVPR 2026, went to the AI Impact Summit, OCaml Zarr hacking, Shriram's talk on human factors of formal methods, and discussions on teaching OxCaml to agents.

My writeup about tinkerbell sparked some discussions, I finally gave in to the code agent hype (on my own terms), and this website got new RSS feeds.

On 16 December 2000, a young @dra1 stepped out on to the stage of St Martin-in-the-Fields making what would be the first of many performances of Johann Sebastian Bach’s great Mass in B minor. On 16 November last year, just under 25 years later, a slightly greyer @dra27 stepped out on the stage of King’s Hall at Newcastle University for what, for now at least2, would be his last performance of this great work3. As I write this in the 9 hour window of unemployment between finishing at the University of Cambridge and Tarides and commuting down to 2½ Devonshire Square to start at Jane Street, it’s a new year and a change of course. the “27” wouldn’t be allocated until the next October ↩ never say never… ↩ I’ve never recorded the work, although I recorded Ach, bleibe doch from Himmelfahrtsoratorium BWV 11 with Musik Podium Stuttgart ten years ago, which is one of the source arias for the famous Agnus Dei of the mass ↩

Hosting the Conservation Evidence conference at Pembroke, recovering from the India trip, and keeping up with LLM developments.

Check out our summary of everything OCaml at ICFP 2025, including insights from the Tarides engineers who attended!