There's a buzz forming around the upcoming AI Impact Summit next year in India, following up the AI Safety Summit here and the France Action Summit earlier this year. I headed down to a couple of events in London this week to help set the agenda, particularly around the importance of FAIR and ethical AI for sustainability being on the political agenda.

I got to shake Jensen Huang's hand as he received the 2025 Hawking Fellowship this evening at the Cambridge Union! He's a fitting winner for this award; he's not only tech's longest running CEO (33 years!), but also a founding engineer who deeply understands the technology stack. He also bucks the trend among bigtech and famously doesn't believe in firing people, preferring to "torture them into greatness" ^[1] instead.

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 a series of posts ^[1] about ICFP 2025. 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 ancient Greek lambdas floating on a projector.

This is part 4 of 5 of a series of posts ^[1] about ICFP 2025. 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 5 of a series of posts ^[1] about ICFP 2025. 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 5 of a series of posts ^[1] about ICFP 2025. 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 5 of a series of posts ^[1] about ICFP 2025. 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. The uptake was encouraging, and we got enough submissions to have a proper published proceedings in the ACM Digital Library for the first time!

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.

We've been having great fun at the EEG recently releasing embeddings of our new TESSERA geospatial foundation model. A foundation model is designed to be used for downstream tasks without having to retrain a full model for every individual task.