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 |
*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 |
| 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 |
| 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 |
| Title | Link |
|---|---|
| Quantum Supremacy using a Programmable Superconducting Processor |
nature.com |
| Composing Contracts: An Adventure in Financial Engineering |
|
| Functional Pearl: Enumerating the Rationals | |
| Do We Need Natural Language? Exploring Restricted Language Interfaces for Complex Domains |
acm.org |
| An introduction to univalent foundations for mathematicians |
|
| Playing Atari with Deep Reinforcement Learning | |
| Implicit Communication of Actionable Information in Human-AI teams |
|
| 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 | |
| Visualizing Deep Neural Network Decisions: Prediction Difference Analysis |
|
| Attention Is All You Need |
| 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 |
| Title |
|---|
| 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 |
| 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 |
| 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 |
| Title |
|---|
| Once Upon a Time in Hollywood |