A digest of posts from FPL members and collaborators.

FPL Members

Kaustubh M

Reflections from IndiaFOSS 2026

I attended IndiaFOSS 2026 this weekend (and Friday). I have been attending this festival (not a conference) since IndiaFOSS 2.0 in 2022. Every year the event keeps getting bigger. It’s my favorite tech event of the year because of the people this event is able to bring together….

KC Sivaramakrishnan

Textbooks that run

I gave a talk at IndiaFOSS 2026 about the interactive textbook “Functional Programming with OCaml”. The book runs in the browser, with code execution, editor support, and embedded quizzes, alongside analytics that help identify where learners struggle. The book and its…

Alina Banerjee

Jigsawing an extended System-F calculus

←

2026-09-18 Jigsawing an extended System-F calculus rough note · thinking out loud, not a finished post

I have been rather slow in coming up with new posts for several reasons, the most important being that I don’t think what I can come up with is…

Friends

Anil Madhavapeddy

.plan-26-39: End of my sabbatical, and I feeeel fine!

This is my last week of academic sabbatical! My previous one happened during the pandemic, and so this is the first proper break I’ve had for a long time. Looking back on it, the pace of change of technology has been so great this year that I’m very grateful to have had the time…

Mapping millions of little trees across the Cairngorms with airborne LiDAR

It’s been a rough year for wildfires in the Scottish Highlands, so I’m delighted to have some good news in our new paper out today! Using airborne LiDAR, we’ve found that the native forests across the Cairngorms Connect restoration area are steadily expanding, with millions of…

.plan-26-38: Near, far, wherever you are, Tessera infers on

Tessera now has wall to wall embeddings over nine years! The big news this week is that Tessera community member dClimate announced that global wall-to-wall v1.1 Tessera embeddings are now available on AWS for 2017-2025! This marks the first time that we have complete embeddings…