A digest of posts from FPL members and collaborators.

FPL Members

Pranav Ramesh

LeanLang Summer School - Days 3-5

Days 3-5 of the LeanLang Summer School

LeanLang Summer School - Day 2

Day 2 of the LeanLang Summer School

LeanLang Summer School - Day 1

Day 1 of the LeanLang Summer School

Harisankar Binod

LLM Proposes, Lean Disposes: A Week at the LeanLang Summer School

In July 2026 I spent a week at IISc Bangalore for the LeanLang Summer School, run by Emergence. Here is how I got there, what Lean actually is, why formally verified autonomy suddenly matters, and a tour of the week.

Friends

Anil Madhavapeddy

.plan-26-27: Somewhere over the icecap

I’m away up north right now, so just a brief update! We’re on the NatGeo Endurance off the coasts of Greenland and Iceland variously.

We saw a polar bear strolling off after munching on a seal!

And a huge pod of bottlenose whales (!) in the middle of the Atlantic.

And some…