.plan-26-16: Chennai, Cambridge, Belfast: a week on the wing (opens in new tab)

*2026-04-19 — note* The water service at Sashwatha cafe in Chennai was striking I spent most of the week in the air with hops to Chennai, Cambridge and Belfast. The reason was the **FP Launchpad 'takeoff' at IIT Madras** where I spent half the week, in a campus teeming with banyan trees and monkeys! I've sketched out two project ideas inspired by the visit: an io\_uring backend for Lean and an OCaml port of sPyTial, with more to come this week as I catch up. ## Paper of the Year at the Cam...