Recent
The Ashes on Our Foreheads: The Right to Protest Is the First Right of a Patriot
Lahore, 1929. Image courtesy of British Pathé.
There is a photograph that should hang in every classroom in this country: the funeral procession of Jatindra Nath Dashttps://en.wikipedia.org/wiki/Jatindra_Nath_Das , 1929, winding through the streets of Calcutta. Six hundred thousand people walking behind the body of a twenty-four-year-old who had starved himself for sixty-three days in Lahore Central Jail. He was not demanding independence that day; he was demanding that an Indian prisoner be fed and treated like a European one. He died for the dignity of the jailed, and a nation that was not yet born carried him on its shoulders. Let me say that again: sixty-three days! That is two months of hunger strike and, of course, the beatings, the jail, the pain, the suffering.
GADTs in OCaml: The Type-Level Superpower Your Other Languages Wish They Had
·5269 words·25 mins
As someone with a standing interest in languages, I find myself perpetually on the lookout for the features that belong to one language alone. Every language has its flagship concepts - words that resist translation, and that frequently cannot be mapped one-to-one onto any other.
Prof. CPR and the Resuscitation of Algorithmic Thinking
·4412 words·21 mins
“You start problem-solving with mathematical thinking. To obtain a solution, you extend it to computational thinking. But to actually implement it on the computer, you need algorithmic thinking” Prof. CPR
Soundness and Sambar at IISc Bangalore
·2197 words·11 mins
A couple of weeks ago I travelled to Bangalore for a hackathon at the Indian Institute of Science, organised by Prof. Siddharth Gadgilhttps://math.iisc.ac.in/~gadgil/ and Emergence AI. The structure of the hackathon was: spend the first couple of days getting taught Lean4https://lean-lang.org/ by Prof. Siddharth Gadgil and Prof. Prathamesh T. V. H.https://krea.edu.in/sias/dr-t-v-h-prathamesh/ , then disappear into a cave for a weekhttps://www.youtube.com/watch?v=0SARbwvhupQ and emerge with a project. The judges were Anand Rao Tadipatrihttps://dl.acm.org/profile/99661086046 and Sidharth Bhathttps://grosser.science/team/bhat/ ; both PhD students in mathematics at the University of Cambridge.
On Shooting in Black and White (An Entropy Argument)
·729 words·4 mins
There’s a question I get asked often enough that I’ve started collecting answers for it: why do you shoot everything in black and white?
The Place of Honorifics in Modern Society Part A :: Academia
“Call me Ishmael.”
That line opens one of literature’s great sweeping saga: a man, a whale, and the bruising, salt-earning adventure of simply not dying at sea. But the name does something subtle: like a polite knock on the front door of literature. It positions the narrator. In Sanskrit, nāma means exactly that: the thing by which you call someone from afar.
How Agentic LLMs ~Almost~ Destroyed My Academic Career
·2164 words·11 mins
“With great power comes great responsibility.”
Voltaire (and also every Spider-Man movie ever)
There’s this video of Chad Smith, the drummer from Red Hot Chili Peppers. He’s hearing a song for the first time, no prep, no notes, no second take. And yet somehow, he just gets it. He catches the groove like it’s muscle memory, then makes the whole thing sound better.That’s the magic of practice. Not the kind where you count hours, but the kind where you repeat something so many times it becomes your second nature, your reflex. Whether it’s drumming, coding, or explaining your PhD topic to your relatives without crying, the idea’s the same: do it till it’s boring, and then keep doing it till it’s beautiful.
Data Races
·1562 words·8 mins
“Data races are bad.” — Every systems programming course, ever.
But why are they bad? And what exactly are they?
Let’s be a little Aristotelian about this—question everything. So here we go: