Writings

• A Computer Scientist's View of the Physical World On proving how simulation programs behave before they run. Oct 2026.
• The Wizard Who Couldn't Keep a Secret What Gandalf teaches us about the limits of alignment, and why it matters. Apr 2026.
• Translation Begins with Reading A conversation with Rita Kothari and Aalok Thakkar, documented by Aalok. Mar 2026.

Projects

• PLFM Calendar: conferences, workshops, schools, and deadlines for the programming languages and formal methods community.
• Project Brahmagupta: an archive of problems in mathematics and computation, inspired by Indian mathematicians. Made with Aalok Thakkar.
• UniVeda: a blockchain gaming platform where you play and win ASH tokens.

Puzzles

• Gaple: a daily word game. Guess the five-letter word in ten tries.
• Hues & Cues: a daily colour guessing game, played from a one-word cue.
• CrackSAT: a word puzzle where you crack the answer from four clue words.
• Placemate: drag the cards onto a timeline and sort them into the right order.

This website is plain HTML and CSS, set in Cormorant Garamond and Work Sans. The 404 page is inspired by Aalok Thakkar's. All artwork on this website is sourced from open-access collections.