October 2026

  • 1 Oct
    Digest

    FPL Reading: 1 October 2026

    Kaustubh: Reflections from IndiaFOSS 2026. KC: Textbooks that run. Alina: Jigsawing an extended System-F calculus. Anil: .plan-26-39: End of my sabbatical, and I feeeel fine!, Mapping millions of little trees across the Cairngorms with airborne LiDAR and 1 more.

September 2026

  • 15 Sep
    Digest

    FPL Reading: 15 September 2026

    Alina: The OxCaml Type system. Dhruv: How I reverse engineered an ASIC. Anil: .plan-26-37: The humans aren't dead, the humans are ahead, Hitting a NERVE with attacks on AI-powered brain-computer interfaces and 2 more.

  • 14 Sep
    Team post

    FP Launchpad update: research, teaching, and community

    KC Sivaramakrishnan

    Six fellows have joined FP Launchpad. An update on our research, OCaml NPTEL course, environmental software projects, and upcoming events.

  • 1 Sep
    Digest

    FPL Reading: 1 September 2026

    Anil: The 3rd Programming for the Planet 2026 videos are available, Celebrating a year of Tessera embeddings and releasing GeoTessera 0.10 and 2 more.

August 2026

  • 15 Aug
    Digest

    FPL Reading: 15 August 2026

    Harisankar: We are Problem Solvers. Anil: Improving local weather forecasts using Tessera embeddings, .plan-26-32: Finally a use for serverless and found the Forester for the trees and 3 more.

  • 10 Aug
    Team post

    What the Interns Built This Summer

    FP Launchpad

    Our summer interns formalized school arithmetic in Lean, added biodiversity data to CoRE Stack, found and fixed a subtle bug in a verified CRDT, pushed OxCaml cryptography toward C speeds, and model-checked lock-free data structures.

  • 1 Aug
    Digest

    FPL Reading: 1 August 2026

    Alina: Putting Everything in Order. Anil: .plan-26-30: Bananas ripen, models open, and OxCaml releases, .plan-26-29: Perfect weather, imperfectly measured, precisely predicted.

July 2026

  • 15 Jul
    Digest

    FPL Reading: 15 July 2026

    Pranav: LeanLang Summer School - Days 3-5, LeanLang Summer School - Day 2 and 1 more. Harisankar: LLM Proposes, Lean Disposes: A Week at the LeanLang Summer School. Anil: .plan-26-27: Somewhere over the icecap.

  • 1 Jul
    Digest

    FPL Reading: 1 July 2026

    Durwasa: GADTs in OCaml: The Type-Level Superpower Your Other Languages Wish They Had. Anil: .plan-26-26: Gelato, geospatial, and players of games, A scorching CNG London during Climate Action Week and 2 more.

June 2026

  • 15 Jun
    Digest

    FPL Reading: 15 June 2026

    KC introduces an interactive O(x)Caml course book. Anil writes about TESSERA v1.1, Earth embeddings, CVPR, and self-hosting email.

  • 1 Jun
    Digest

    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.

May 2026

  • 15 May
    Digest

    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.

  • 8 May
    Team post

    FP Launchpad members win prize at LeanLang Hackathon, IISc Bangalore

    FP Launchpad

    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.

  • 1 May
    Digest

    FPL Reading: 1 May 2026

    KC: From Convergence to Confidence: Push-button verification for RDTs. 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.

April 2026

  • 1 Apr
    Team post

    Hello World

    FP Launchpad

    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.