A digest of posts from FPL members and collaborators.

Friends

Anil Madhavapeddy

The 3rd Programming for the Planet 2026 videos are available

The recordings from the 3rd ACM Programming for the Planet (PROPL) workshop have gone live on PLDI’s YouTube playlist. As usual I’ve mirrored them onto our self-hosted Watch EEG instance. I attended remotely this year as I couldn’t make it across the ocean, and enjoyed…

Celebrating a year of Tessera embeddings and releasing GeoTessera 0.10

I can’t believe it’s been a whole year since we released the first GeoTessera library to make the TESSERA embeddings easier to get your mittens on. Quite a lot of adoption has happened since! I’m going to quickly review a year of embedding requests and the people who filed…

.plan-26-34: Am I human or am I antibotty

I’ve been in Ireland again this week so not a lot of work time. I did finish the TESSERA v2 beta embeddings conversion and queued up a new geotessera release, handled some OCaml security releases and noted down my thoughts on security embargoes, and how opam-repository now…

Just a rumour of a bug is enough to find a security exploit these days

I released a security fix for OCaml’s cohttp 6.3.0 today, fixing a path traversal issue. The patch itself was straightforward and in normal times, the security procedure would have been to fix it privately, inform affected users, and then issue a public advisory. This time…