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 |
Games
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 |