.plan-26-14: Tracking AI screen time and escaping to pen and paper

On cognitive DDoS and AI screen time for code, a proposal for voluntary disclosure in OCaml, iOS misery, releasing GeoTessera 0.8 and spatial indexing and the FP Launchpad launch at IIT Madras.

05 Apr 2026

Anil Madhavapeddy's Blog

Read Article
.plan-26-08: At AI summit, Shriram's PL opinions, Zarr hacking

TESSERA paper accepted at CVPR 2026, went to the AI Impact Summit, OCaml Zarr hacking, Shriram's talk on human factors of formal methods, and discussions on teaching OxCaml to agents.

22 Feb 2026

Anil Madhavapeddy's Blog

Read Article
What Happened in January 2026?

My writeup about tinkerbell sparked some discussions, I finally gave in to the code agent hype (on my own terms), and this website got new RSS feeds.

30 Jan 2026

Thomas Letan’s Blog

Read Article
open Core

On 16 December 2000, a young @dra1 stepped out on to the stage of St Martin-in-the-Fields making what would be the first of many performances of Johann Sebastian Bach’s great Mass in B minor.

19 Jan 2026

David Allsopp's Blog

Read Article
.plan-26-02: Back from India and straight into the conservation conference

Hosting the Conservation Evidence conference at Pembroke, recovering from the India trip, and keeping up with LLM developments.

11 Jan 2026

Anil Madhavapeddy's Blog

Read Article