A digest of posts from FPL members and collaborators.

FPL Members

Durwasa Chakraborty

The Promises You Keep :: Demystifying Invariants

Writing invariants gets treated as an art form, which is a polite way of saying nobody can explain how they do it. “Art is long and life is short,” said Hippocrates, a man who never had to read a 2,000-word post on formal methods. So I’ve tried to keep this one…

Friends

Anil Madhavapeddy

.plan-26-41: Hello, is it Part II you’re looking for?

Start of term is truly crazy around here, so I’ll save longer form thoughts for later in the month when things calm down a little. Most of my focus was on teaching and administration to prepare for the term. I finished the Cambridge 1A Foundations of Computer Science course…

OCaml’s module language is the perfect fit for agentic programming

I’ve been doing a fair bit of agentic OxCaml programming in the past year, and consistently finding that OCaml is a perfect fit across the spectrum of languages I’ve been developing in recently. If you’re not familiar with OCaml, this post is a quick guide as to why I think…

.plan-26-40: A whole new world (of wall-to-wall Tessera embeddings)

I’m almost set for the start of teaching term now and meeting our newest intake and catching up with everyone after a year away! My 1A Foundations of CS starts next week, and I’ve decided to lock in the use of Forester for this. For the first time, we won’t be giving out the…