This week I hopped over to Chennai for the launch of the FP Launchpad, a brand new Centre for Functional Systems Research and Education at IIT Madras. It's run by my long-time collaborator and friend KC Sivaramakrishnan, who was a postdoc in my OCaml Labs...

As I keep saying, while we are waiting to be turned into paperclips, pay some attention to the everyday dystopias being unleashed by AI. This investigation by Decode reveals that India’s Poshan Tracker app, which uses Google’s ML Kit for facial rec...

Originally published: March 19, 2017

TESSERA streaming in the browser, planetary programming at WG2.8, biodiversity action papers, FP Launchpad opens, and Docker CACM buzz

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.

Trip report from the Indian AI Impact Summit in New Delhi, covering the massive expo, a conversation with Yann LeCun, a hackathon/talk at IIT-Delhi, networking at the British High Commission, and reflections on the summit declaration's shift from safety to...

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

Family travels through Udaipur, Vijayawada and Hyderabad, visiting temples and villages, plus kicking off the TESSERA 2025 embeddings.

Reflections on UK-India AI collaboration from meetings at the Alan Turing Institute and OpenUK, discussing ethical AI deployment, open source infrastructure, and the challenges of building community in the age of AI-assisted coding.

My Pitaji* was a serious person. He was also a quiet person. And by all measures, he was a family man. He was practical, and strict. He used to wake up at dawn, never later than 5:30. He would go out for his walk, and fetch milk and a hindi newspaper on hi...