Media Diet

This is a list of various media I’ve interacted with, organized by year and medium. I tried to make each row both unique and human-readable, without including too much redundant information that’s easy to look up elsewhere.

I’m not sure whether keeping this list public makes sense. It’s probably not super valuable to others, but I personally enjoy knowing what people are reading/playing/etc., to find things I might otherwise not have found. However, this comes with the (hopefully obvious) caveat that I don’t necessarily endorse something just because I’ve engaged with it.



Title Author
Functional Design and Architecture Alexander Granin
Do Androids Dream of Electric Sheep? Philip K. Dick
A People’s History of the United States Howard Zinn
Mortal Questions Thomas Nagel
Real Analysis: A Long-Form Mathematics Textbook Jay Cummings
Envisioning Information Edward R. Tufte
Camera Lucida Roland Barthes
The Catcher in the Rye J.D. Salinger
Behave: The Biology of Humans at our Best and Worst Robert Sapolsky
Interpretable Machine Learning Cristoph Molnar
Modern Compiler Implementation in ML Andrew W. Appel
Possible Minds: Twenty-five Ways of Looking at AI John Brockman
The Hitchhiker’s Guide to Logical Verification Baanen, Bentkamp, Blanchette, Hölzl, Limperg
Gravitation Misner, Thorne, Wheeler
Actual Causality Joseph Y. Halpern
Concrete Mathematics Graham, Knuth, Patashnik
Moral Uncertainty MacAskill, Bykvist, Ord
Neuromancer William Gibson
Contemporary Abstract Algebra Joseph A. Gallian
The Possibility of Altruism Thomas Nagel
How to Solve It:
A New Aspect of Mathematical Method
G. Polya
Nonviolent Communication Marshall B. Rosenberg
Terraform: Up & Running Yevgeniy Brikman
The Fall Albert Camus
Production Haskell:
Succeeding in Industry with Haskell
Matt Parsons
Beginning Guitar for the Classroom Lou Warde
Ontology Made Easy Amie L. Thomasson
Silman’s Complete Endgame Course* Jeremy Silman
5600 Jokes for all Occasions Meiers, Knapp
An Introduction to Metametaphysics Tuomas E. Tahko
Category Theory for the Sciences David I. Spivak
Market Microstructure Theory Maureen O’Hara
Elements of Programming Interviews in Python Aziz, Lee, Prakash
Computer Graphics: Principles and Practice Hughes, van Dam, McGuire
An Introduction to Combinatorial Analysis John Riordan
Category Theory Steve Awodey
Distributed Systems van Steen, Tanenbaum
Surreal Numbers D. E. Knuth
Basic Economics Thomas Sowell
Ulysses James Joyce
How to Draw Robertson, Bertling
Normative Ethics Shelly Kagan
Debt: The First 5000 Years David Graeber
Joy, Inc. Rich Sheridan
Pathologic Basis of Disease (Robbins and Cotran) Kumar, Abbas, Aster
The Formal Semantics of Programming Languages Glynn Winskel
Book of Monads Alejandro Serrano Mena
On Death and Dying Elisabeth Kübler-Ross
No Exit Jean-Paul Sartre
Perplexities of Consciousness Eric Schwitzgebel
A Curious Moon Rob Conery
On What Matters: Volume One Derek Parfit

*Only through part four


Title Platform
Crash Bandicoot 4 PS4
Dragon Age Inquisition PC
Devil May Cry 5 PC
Microsoft Flight Simulator 2020 PC
Dark Souls III PC
Monster Hunter: World PC
Ikaruga PC
Tekken 7 PC
Trine 4 PC
Heave Ho PC
Gunpoint PC
Crazy Taxi PC
Unrailed! PC
Overcooked! 2 PC
Enter the Gungeon PC
Shenmue III PC
Blasphemous PC
Mass Effect 1 PC
Forza Horizon 4 PC
Paper Mario: The Origami King Switch
Link’s Awakening Switch
Paradise Lost PC
Far Cry 5 PC
Vectronom PC
Driveclub PS4
Dark Souls Remastered PC
Beat Saber VR
Half-Life: Alyx VR
Arizona Sunshine VR
Project Wingman VR
A Fisherman’s Tale VR
Thrill of the Fight VR
Moss VR



Title Author
Optics by Example: Functional Lenses in Haskell Chris Penner
Quantum Computing Since Democritus Scott Aaronson
The Little Typer Friedman, Christiansen
Human Compatible Stuart Russell
Deep Learning Goodfellow, Bengio, Courville
Consciousness Explained Daniel Dennett
Cambridge Handbook of Artificial Intelligence Frankish, Ramsey
Ending Aging Aubrey de Grey
Algebra: Chapter 0 Paolo Aluffi
Death Shelly Kagan
Atlas of Human Anatomy Frank Netter
The Art of PostgreSQL Dimitri Fontaine
Implementing Functional Languages: A Tutorial Simon Peyton Jones
The Life you can Save Peter Singer
Good and Real Gary Drescher
Living High and Letting Die Peter Unger
The Precipice Toby Ord
Fundamentals of Piano Practice Chaun Chang
The Perfect Wrong Note William Westney
Reasons and Persons Derek Parfit
Algebra-Driven Design Sandy Maguire
Dune Frank Herbert
Theorem Proving in Lean Avigad, de Moura, Kong
Designing Design Kenya Hara
Strangers Drowning Larissa MacFarquhar
Abstractions in Context:
Case Studies in Haskell Library Design
William Yao
The Road to Reality Roger Penrose
Probability Theory E. T. Jaynes
Topology James R. Munkres
Homotopy Type Theory The Univalent Foundations Program
Proofs from The Book Aigner, Ziegler
A Confederacy of Dunces John Kennedy Toole


Title Platform
Okami PC
Opus Magnum PC
Thinking with Time Machine PC
Return of the Obra Dinn PC
Bloodborne PS4
Marvel’s Spider-Man PS4
Eliza PC
Manifold Garden PC
Sekiro PC
Bully PC
Prey PC
A Short Hike PC
Soma PC
Super Mario Galaxy 2 Wii
Everything PC
Rainy Season PC
Echochrome PSP
Thrillville: Off the Rails PC
Stepmania PC
Animal Crossing: New Horizons Switch
Earthbound SNES
Satisfactory PC
Titanfall 2 PC
Outer Wilds PC
Ni No Kuni 2 PC
Ace Combat 7 Skies Unknown PC
Star Wars Jedi: Fallen Order PC
Ultimate Chicken Horse PC
Donut County PC
Snakeybus PC
Doom Eternal PC
Scribblenauts Unlimited PC
Hollow Knight PC
Jedi: Fallen Order PC
Valorant PC
Persona 4 Golden PC
Resident Evil 2 PC
Planet Zoo PC
Ghost of Tsushima PS4
Dead Space PC
Mindustry PC
Super Mario Galaxy Switch
Super Mario Sunshine Switch
Spelunky PC
Astroneer PC
My Friend Pedro PC
Hades PC
Noita PC
Risk of Rain 2 PC
What the Golf PC
Among Us PC
Ori and the Will of the Wisps PC
Superliminal PC
SEGA Bass Fishing PC
Nioh PC
Katamari Damacy Reroll PC
Hue PC
Phasmophobia PC
The Gardens Between PC
Ghostrunner PC
Parappa the Rapper PS4
Uncharted 2 PS4
Need for Speed PS4
The Last of Us 2 PS4


Title Link
Quantum Supremacy using a Programmable
Superconducting Processor
Composing Contracts: An Adventure in
Financial Engineering
Functional Pearl: Enumerating the Rationals PDF
Do We Need Natural Language? Exploring Restricted
Language Interfaces for Complex Domains
An introduction to univalent foundations
for mathematicians
Playing Atari with Deep Reinforcement Learning PDF
Implicit Communication of Actionable Information
in Human-AI teams
The Chinese Room Argument SEP
Minds, Brains, and Programs
Jukebox: A Generative Model for Music
Time, Clocks, and the Ordering of Events in a Distributed System PDF
Visualizing Deep Neural Network Decisions:
Prediction Difference Analysis
Attention Is All You Need PDF


Name Institution ID
Intro to Quantum Computation University of Calgary CPSC 519
Programming with Categories MIT 18.S097
The Art of Mr. Bill Mr. Bill’s Tunes Seasons 3 & 4
Computer Science Theory Toolkit Carnegie Mellon 15-751

TV and Film

The Princess Bride
John Wick Chapter 3: Parabellum
John Wick: Chapter 2
The Matrix
Star Wars: The Rise of Skywalker
Hot Fuzz
My Neighbor Totoro
Nausicaä of the Valley of the Wind
Grave of the Fireflies
Get Out
Taxi Driver



Title Author
String Theory David Foster Wallace
Superintelligence Nick Bostrom
Princeton Companion to Mathematics Timothy Gowers
Basic Category Theory for Computer Scientists Benjamin Pierce
Inner Game of Tennis Timothy Gallwey
Feynman Lectures on Physics Feynman, Leighton, and Sands
Game programming in Haskell Elise Huard
The Economy CORE
Hobby Games The 100 Best James Lowder
Godel Escher Bach Douglas Hofstadter
Types and Programming Languages Benjamin Pierce
Thinking with Types Sandy Maguire
Finding Success and Failure in Haskell Chris Martin, Julie Moronuki
Lenses for the Mere Mortal Brian Marick
Naive Set Theory Paul R. Halmos
Category Theory for Programmers Bartosz Milewski
Machine Intelligence for Healthcare Campion and Carlsson
Beautiful Racket Matthew Butterick
A Type of Programming Renzo Carbonara
Pearls of Functional Algorithm Design Richard Bird
Artificial Intelligence: A Modern Approach Stuart Russell, Peter Norvig
Type-Driven Development with Idris Edwin Brady
Intuition Pumps and Other Tools for Thinking Daniel Dennett


Title Platform
Bioshock PC
Mario Kart 8 Deluxe Switch
Smash Ultimate Switch
Psychonauts PC
Legend of Zelda: Breath of the Wild Switch
Journey PS4
Flow PS4
Heavy Rain PS4
The Last of Us PS4
Beyond: Two Souls PS4
Minit PC
The Last Guardian PS4
Red Dead Redemption 2 PS4
Celeste PC
Horizon Zero Dawn PS4
Super Mario Maker 2 Switch
Baba is You PC
Ocarina of Time N64
Gris PC
God of War PS4
Donkey Kong Country Tropical Freeze Switch
A Way Out Xbox One
Control PC
Shadow of the Colossus PS4
Soft Body PC
Gorogoa PC
Rain World PC


Once Upon a Time in Hollywood