Books

A list of what I'm reading, what I've read, and what I want to read:

Reading

• Permutation City Greg Egan
• How to Prove It: A Structured Approach Daniel Velleman
• Introduction to Algorithms Cormen et al.

Read

• Computer Systems: A Programmer's Perspective Randal Bryant
• Designing Data-Intensive Applications Martin Kleppmann
• Operating Systems: Three Easy Pieces Remzi & Andrea Arpaci-Dusseau
• Computer Networks: A Systems Approach Peterson & Davie
• The Soul of a New Machine Tracy Kidder
• Weaving the Web Tim Berners-Lee

To Read

• Concrete Mathematics Graham, Knuth & Patashnik
• The Art of Computer Programming, Vol. 1 Don Knuth
• Database Internals Alex Petrov
• Systems Performance Brendan Gregg

I keep a fuller log on Goodreads.

Motivation

I want to read as much of the “CS canon” as possible, and to explore a broad range of both contemporary and classic philosophical and historical texts.

Why? Well, for one, I was partly inspired by this article; for another, I used to stay up until 2 AM reading, and it’s only recently that I’ve begun to rebuild that habit.

More broadly, I’d rather form my own opinions by reading the source material than absorb them secondhand.

If you’ve read any of these, absolutely email [copy] me to talk about them, or about any books you’re reading that you feel are cool and worthwhile.