I added a Media section to the site. It’s a collection of books, lectures, talks, and other resources that have influenced my work. Part recommendation list, part intellectual autobiography.
Why Track This?
We are, to a large extent, what we read and watch. The books that stay with us shape how we frame problems, what questions we find interesting, the vocabulary we use to think. I wanted a place to make that visible, both for myself and for anyone curious about the intellectual foundations behind the work here.
The collection spans AI and machine learning, mathematics, CS theory, programming languages, systems, plus some science fiction and philosophy. These aren’t random. They reflect threads I’ve been pulling on for years.
Some Highlights
Not “the best” necessarily, but formative.
Structure and Interpretation of Computer Programs
SICP remains, decades later, one of the most important books I’ve read. It’s not really about Scheme or even programming. It’s about computation as a medium for expressing ideas. The way Abelson and Sussman build up from simple primitives to interpreters to register machines shaped how I think about abstraction and the layering of meaning. The full text is free online, and the MIT lectures are worth watching too.
Rich Hickey: Language of the System
Hickey’s talks are always good, but Language of the System stands out. It articulates something I’d felt but couldn’t express: the problems we face in system design are often problems of language, of finding the right vocabulary for composition, the right primitives for combination. It’s an engineer-philosophical meditation on why we struggle to build coherent systems and what it might take to do better.
Protector
This one is personal. Larry Niven’s Protector isn’t the best-written science fiction, but it was my first real introduction to the genre. I read it as a teenager traveling to and from a construction job. The premise stayed with me: humanity as a “child species,” stuck in an early developmental phase, being quietly shepherded by a vastly more intelligent being who views us with something like parental care but without our moral sentimentality.
The Protector character, utilitarian, patient, operating on timescales we can barely comprehend, shaped how I think about intelligence gradients and what it might mean to be on the receiving end of paternalistic superintelligence. In retrospect, it was an early seed for my later interest in AI alignment.
The Stepanov Lineage
Alexander Stepanov’s work, Elements of Programming, From Mathematics to Generic Programming, and the A9 Lectures, represents a philosophy of programming that resonates with me: algorithms have mathematical essences, generic programming is about capturing those essences in code, and good abstractions come from understanding the algebraic structure of what you’re computing. If you care about the foundations of the STL or want to understand why certain APIs feel “right,” start here.
Universal AI and Solomonoff Induction
Marcus Hutter’s Universal Artificial Intelligence and the associated lectures on AIXI represent a Platonic ideal: the mathematically optimal agent, even if uncomputable. Understanding why AIXI works (and why it’s uncomputable) illuminates the deep structure of the prediction-action problem. It’s the theoretical ceiling against which practical approaches can be measured.
What’s Next
Right now the Media page is mostly a list with categories and status markers. I plan to expand it:
- Annotations and notes. For items I’ve deeply engaged with, I want to add marginalia: insights, disagreements, connections that emerge from careful reading.
- Connected posts. Some books deserve full treatment. Expect posts that dig into specific ideas from these works.
- Reading paths. Curated sequences for particular topics: “if you want to understand X, read these in this order.”
For now, browse the Media page and see what catches your interest.
Discussion