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 very valuable to others, but I tried keeping it for 2020 and it probably enticed me to read a bit more than I otherwise would have.
2021
Books
| 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 |
Games
| 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 |
TV and Film
2020
Books
| 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 |
Games
| 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 |
| SUPERHOT |
PC |
| Everything |
PC |
| Rainy Season |
PC |
| Echochrome |
PSP |
| Thrillville: Off the Rails |
PC |
| Stepmania |
PC |
| Animal Crossing: New Horizons |
Switch |
| XCOM 2 |
PC |
| 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 |
Papers
Quantum Supremacy using a Programmable
Superconducting Processor |
nature.com |
Composing Contracts: An Adventure in
Financial Engineering |
PDF |
| Functional Pearl: Enumerating the Rationals |
PDF |
Do We Need Natural Language? Exploring Restricted
Language Interfaces for Complex Domains |
acm.org |
An introduction to univalent foundations
for mathematicians |
PDF |
| Playing Atari with Deep Reinforcement Learning |
PDF |
Implicit Communication of Actionable Information
in Human-AI teams |
PDF |
| The Chinese Room Argument |
SEP |
| Minds, Brains, and Programs |
cambridge.org |
| Jukebox: A Generative Model for Music |
openai.com |
| Time, Clocks, and the Ordering of Events in a Distributed System |
PDF |
Visualizing Deep Neural Network Decisions:
Prediction Difference Analysis |
PDF |
| Attention Is All You Need |
PDF |
Courses
| 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 |
| Parasite |
| John Wick Chapter 3: Parabellum |
| John Wick: Chapter 2 |
| The Matrix |
| House |
| Star Wars: The Rise of Skywalker |
| Hot Fuzz |
| Inception |
| My Neighbor Totoro |
| Nausicaä of the Valley of the Wind |
| Grave of the Fireflies |
| Get Out |
| Snowpiercer |
| Tenet |
| Taxi Driver |
2019
Books
| 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 |
Games
| 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 |
| GTA IV |
PC |
| 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 |
Film
| Once Upon a Time in Hollywood |