Research & Writings
Summaries of my academic work, long-form articles, tutorials, and miscellaneous notes. Filterable by topic.
Summaries of my academic work, long-form articles, tutorials, and miscellaneous notes. Filterable by topic.
Despite the breathtaking pace of improvement in AI, there’s still plenty of skepticism around the potential impact of AI on our economy and technological progress. This fugue explores why sentiments like “yeah, but what can an LLM do besides writing code?” and “AI is improving in domains with verifiable rewards, and my discipline (experimental chemistry, biology, physics, whatever is your favorite) does not have well-defined rewards, so it’s not going to change much” are deeply, fundamentally, maybe even epistemically misguided.
All three voices return to the same theme: people systematically underrate software because they confuse writing code with a narrow technical activity rather than with a general instrument for changing systems, a method for reducing the time between hypothesis and verification, and a fertile ground for articulating epistemic guardrails whose validity is domain-transcendent.
The first voice is the most concrete and it shows how even an ugly nested for loop can have million-dollar implications for lifetime earnings.
The second voice broadens out and argues that software engineering is not limited to actually writing code, but is instead a craft that forces habits of decomposition, guardrails, explicitness, and iteration that are weirdly rare outside CS and increasingly useful everywhere. Practically, it demonstrates why you should still study programming even if AI will write all the code.
The third voice is the most general. It argues that success in many domains is downstream of the number of iterations you can afford, and if your domain doesn’t have clearly articulated verifiable rewards, then it’s not just an obstacle to AI progress; it very likely is a blocker for human progress too.
A crude script for scheduling olympiad arbitration shows how mundane software can carry absurd downstream stakes.
The habits and thinking process trained by software engineering are valuable almost in every other domain.
One reason bits have moved faster than atoms is that software cultures are unusually good at shortening the loop between idea and feedback.
A full translation of an interview with Grigori Perelman's math teacher. He explains Perelman's rejection of the Fields Medal as a protest against a 'dishonorable' math community that treats theorems as a commodity to be stolen. Also features a brutal, unapologetic defense of Soviet-era educational philosophy
Deriving the necessity of eternal punishment from the Prisoner's Dilemma. How infinite repeated games, discount factors, and the Folk Theorem explain the structural utility of Hell in fostering human cooperation