Books

I tend to prefer nonfiction, with the occasional fiction book thrown in if I get a strong enough recommendation from someone whose taste I trust.

These aren’t thorough reviews, but instead loose collections of notes with a few of my thoughts on the experience of reading each book.

Notes on Algebra: Chapter 0

Groups and rings and categories, oh my!

Artificial Intelligence: A Modern Approach (1st ed)

Russell & Norvig

Finding Success (and Failure) in Haskell

Moronuki & Martin

Intuition Pumps and Other Tools for Thinking

Daniel Dennett

Living High and Letting Die

Peter Unger

String Theory

David Foster Wallace

Type-Driven Development with Idris

Edwin Brady

What I’ve read

Here are some books I’ve read, sorted by category, and sorted within each category by how highly I recommend them. There’s a strong recency bias in what I remembered to put on this list.

Haskell

Other Programming Languages

Computer Science

Software Process

Math

Science

Philosophy

Ethics

Tennis

AI and ML

Fiction

(This section is especially incomplete)

Economics

Puzzles, Games, etc.

Biographical

Design

Biology

Communication

Other