Media Diet

This is a list of media I consumed in 2020. Listings are ordered chronologically. I tried to make each row both unique and human-readable, without including too much redundant information that’s easy to look up elsewhere.

Books

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

Games

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

Papers

Title Link
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

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

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