A digest of posts from FPL members and collaborators.

FPL Members

Alina Banerjee

The OxCaml Type system

As promised, this post is finally up and has a section by section explanation of the OxCaml type system - the typing rules, what type contexts are made up of, the steps taken for inferring modes and the differences between the declarative and the syntax-directed rules of the…

Dhruv

How I reverse engineered an ASIC

A write-up on my approach to Jane Street’s [puzzle] published on their blog

Friends

Anil Madhavapeddy

.plan-26-37: The humans aren’t dead, the humans are ahead

This week’s been a busy news week with more human endeavour having their AI reckonings. Mathematics had its turn with Navier–Stokes, which got me thinking about formative assessment in the CST Tripos. Meanwhile I spent a ton of my time triaging endless security bugs found by…

Hitting a NERVE with attacks on AI-powered brain-computer interfaces

Human brain interfaces are advancing at a startling pace; Ray Kurzweil has just joined a startup that dispenses with skull surgery in favour of you snorting charged nanoparticles that are then driven by magnetic coils in a cap. This all sounds very scifi, but the software stack…

Open MPhil/Part II student projects for 2026-2027

I’ve refreshed my project ideas for incoming CST Part II and MPhil students who are starting in October 2026 (term’s starting soon!). As ever, these aren’t an exhaustive list but a good starting point for things we might work on together. See also Srinivasan Keshav’s own list…

.plan-26-36: Ground control to major MODIS

Got back to Cambridge mid-week and back on the keyboard to start preparing for Michaelmas term, which creeps up fast! Tessera v2 beta2 turns out to smooth space at the cost of time, so beta1 may be as far as the v2 series goes without a retrain. Evidence TAP gets a splendid…