I had an amazingly fun week at ICFP/SPLASH in Singapore; it was the first time that these two major programming languages conferences were held simultaneously. My submissions turned into a bit of a success disaster; I ended up chairing a workshop, giving several talks and a keynote, and organising a tutorial, and helping out a bunch of colleague and students.

(This is part 5 of my ICFP25 series: see also 1. Chairing PROPL25, 2. OxCaml tutorial, 3. OCaml 5 with Jane Street and Docker, 4. post-POSIX IO In addition to giving a bunch of talks about Docker, post-POSIX and planetary computing, the greatest fun at a huge conference like ICFP and SPLASH is seeing talks given by my students (they grow up so fast!) and collaborators, and generally floating around random talks trying to deceipher

(This is part 4 of my ICFP25 series: see also 1. Chairing PROPL25, 2. OxCaml tutorial, 3. OCaml 5 with Jane Street and Docker, 5. What I learnt) After the excitement of presenting my Docker experience report, I went straight into giving a keynote talk at VMIL 2025.

(This is part 3 of my ICFP25 series: see also 1. Chairing PROPL25, 2. OxCaml tutorial, 4. post-POSIX IO, 5. What I learnt) It's been about six years since we wrote the papers on parallelism and effects, and four years since we helped to release upstream OCaml 5.0 with multicore support, a mammoth effort that took up years of work for my OCaml Labs and Tarides crew.

(This is part 2 of my ICFP25 series: see also 1. Chairing PROPL25, 3. OCaml 5 with Jane Street and Docker, 4. post-POSIX IO, 5. What I learnt) Several extensions to "oxidize" OCaml (Rust performancew with ML ergonomics!) have been developing rapidly in a fork called OxCaml. I helped an intrepid crew from Jane Street, IIT-M, Tarides, Brown and Cambridge pull together a really fun tutorial in ICFP 2025 that you can try out too!

(This is part 1 of my ICFP25 series: see also 1. Chairing PROPL25, 2. OxCaml tutorial, 3. OCaml 5 with Jane Street and Docker, 4. post-POSIX IO, 5. What I learnt) The first outing of PROPL was last year in London, and this time around Dominic Orchard and I invited KC Sivaramakrishnan to be the PC chair and held it at ICFP/SPLASH.

Physical spaces are increasingly dense with networked devices, promising seamless coordination and ambient intelligence. Yet today, cloud-first architectures force all communication through wide-area networks regardless of physical proximity. We lack an abstraction for spatial networking: using physical spaces to create boundaries for private, robust, and low-latency communication.

Forest-focused Natural Climate Solutions (F-NCS) are crucial for climate change mitigation through emissions reductions and carbon sequestration. The Voluntary Carbon Market directs finance to F-NCS activities by the sale of carbon credits to offset emissions. However, inconsistent implementation and imprecise rules have led to over-crediting and other integrity challenges, reducing confidence in F-NCS effectiveness.

A world without nature feels rather impermanent, doesn't it? It's difficult to imagine a healthy future without clean air, fresh water and diverse wildlife. Yet important policy is being decided at the moment that will sideline "nature-based solutions" for net-zero carbon targets.

Choosing where we source the food that we eat makes a difference to the environment, but by how much? After churning through around 100 petabytes of data, beginning with our LIFE metric and moving onto food provenance maps and import/export data for the world, we now know the answer can vary by three orders of magnitude for species extinction risks.

Biodiversity is declining in many parts of the world. Biological diversity measurement and monitoring are fundamental to the assessment of the causes and consequences of environmental changes, identification of key areas for the protection of biodiversity or ecosystem services, determining the effectiveness of actions, and the creation of decision-support tools critical to maintaining a sustainable planet.