A digest of posts from FPL members and collaborators.

FPL Members

Durwasa Chakraborty

GADTs in OCaml: The Type-Level Superpower Your Other Languages Wish They Had

As someone with a standing interest in languages, I find myself perpetually on the lookout for the features that belong to one language alone. Every language has its flagship concepts - words that resist translation, and that frequently cannot be mapped one-to-one onto any other.

Friends

Anil Madhavapeddy

.plan-26-26: Gelato, geospatial, and players of games

A blistering heatweave threw everything off this week; we even had a big power cut through central Cambridge that drove many of us to seek haven in gelato shops. While melting, I spoke at CHIA’s annual conference in the Cambridge Union on AI for Science, and also wrote up the…

A scorching CNG London during Climate Action Week

It’s London Climate Action Week in the midst of a searing heatwave, which was a good backdrop for the Cloud-Native Geospatial Forum meeting (the first outside the US!). The venue was the Jellicoe where ARIA is based up on the top floor with a panoramic view over the City. CNG is…

.plan-26-25: Planetary scale plans, Windows file-descriptor scale problems

A lot of conservation and planetary computing this week. We celebrated a decade of the CCI with a visit from Sir David Attenborough, and Andrew Balmford delivered his Royal Society Environment Medal lecture. I also tuned in remotely to the third PROPL at PLDI, where the…

Sir David Attenborough joins us to celebrate the Cambridge Conservation Initiative

The Cambridge Conservation Initiative celebrated its ten year anniversary today, and what a day it was! Just a few weeks after his 100th birthday, Sir David Attenborough visited and narrated a video for us, and we had tons of visitors come by to look at all the projects we’re…