FPL Reading: 15 June 2026
KC: An O(x)Caml book that runs. Anil: Tessera v1.1 released, with smoother and temporally stable embeddings, .plan-26-23: Earth Embeddings, Emails Everywhere, and ERRNOOOs and 2 more.
Read more →FPL Reading: 1 June 2026
Pranav: The EuroSys 2026 Experience. Anil: .plan-26-22: From digital rewilding in Edinburgh to uring and Tessera hackery, Rewilding the Web: my workshop report from Edinburgh and 2 more.
Read more →FPL Reading: 15 May 2026
KC: Shrinking the OxCaml js_of_ocaml bundle: 285 MB to 4 MB, Capsules: compile-time lock discipline in OxCaml and 1 more. Durwasa: Prof CPR and the Resuscitation of Algorithmic Thinking, Soundness and Sambar at IISc Bangalore. Anil: Voluntary AI disclosure proposal for OCaml: update 1, .plan-26-19: Ancient oaks, parliamentary evidence, and TESSERA in the City and 1 more.
Read more →FP Launchpad members win prize at LeanLang Hackathon, IISc Bangalore
The LeanLang for Verified Autonomy Hackathon was a two-day event at IISc Bangalore organised by Prof. Siddharth Gadgil and Emergence AI, focused on applying Lean 4 to real-world multi-agent systems.
Read more →FPL Reading: 1 May 2026
KC: From Convergence to Confidence: Push-button verification for RDTs. Durwasa: On Shooting in Black and White (An Entropy Argument). Anil: Helping tropical forest protection keep up with a fast-changing world, .plan-26-17: Unwedging kernels, dogfood deployments, and managing beef leakage and 2 more.
Read more →Hello World
Welcome to the FP Launchpad blog. Follow this blog to get updates on what the centre is up to. Also check out our blogroll on the right for feeds of our members and friends.
Read more →