mitchell vitez

dark mode

blog about music art media

resume email github

Media

This is a list of various books I’ve read, games I’ve played, etc., organized by year and medium. This comes with the (hopefully obvious) caveat that I don’t necessarily endorse something just because it’s here.

2024

Books

Title Author
Certainty by Construction Sandy Maguire
The Last Word Thomas Nagel
Thirty-three Miniatures: Mathematical and Algorithmic
Applications of Linear Algebra
Jiri Matousek
Jason and the Argonauts Apollonius of Rhodes
The Fun of Programming Gibbons, de Moor
The Hidden Life of Trees Peter Wohlleben
Diogenes the Cynic Robin Hard
The Beginning of Infinity David Deutsch
The Deep History of Ourselves Joseph LeDoux
Janson’s History of Art Davies, Hofrichter, et al.
All the Pretty Horses Cormac McCarthy
House of Leaves Mark Z. Danielewski
Unreal Engine 5 Character Creation,
Animation, and Cinematics
Henk Venter
Learning Blender Oliver Villar
Dune Messiah Frank Herbert
Contemporary Music Theory: Level Two Mark Harrison
Contemporary Music Theory: Level Three Mark Harrison
Keys to Drawing Bert Dodson
Unreal Engine 5 Shaders and Effects Cookbook Brais Ramos
3d Game Engine Architecture David Eberly
Piano Technique Gieseking, Leimer

Games

Title Platform
Trombone Champ PC
Kena: Bridge of Spirits PC
Nioh 2 PC
Police Simulator: Patrol Officers PC
Dredge PC
Mini Motorways PC
After Us PC
Detroit: Become Human PC

2023

Books

Title Author
Freedom and Neurobiology John R. Searle
Candide Voltaire
Pastoral André Alexis
Mortality Christopher Hitchens
Vehicles: Experiments in Synthetic Psychology Valentino Braitenberg
The Housekeeper and the Professor Yoko Ogawa
Cuneiform Finkel, Taylor
Designing in Figma Eugene Fedorenko
Fifteen Dogs André Alexis
The Vignelli Canon Massimo Vignelli
The Interior Design Handbook Frida Ramstedt
Framed Ink:
Drawing and Composition for Visual Storytellers
Marcos Mateu-Mestre
Grid Systems in Graphic Design Josef Müller-Brockmann
A Philosophy of Software Design John Ousterhout
OCaml from the Very Beginning John Whitington
More OCaml: Algorithms, Methods & Diversions John Whitington
The Cheese and the Worms:
The Cosmos of a Sixteenth-Century Miller
Carlo Ginzburg
Thinking with Type Ellen Lupton
Introduction to Graph Theory Richard J. Trudeau
An Invitation to Applied Category Theory:
Seven Sketches in Compositionality
Fong, Spivak
Thinking in Systems Donella Meadows
On Earth We’re Briefly Gorgeous Ocean Vuong
Philosophy of Physics: Quantum Theory Tim Maudlin
Payments Systems in the U.S. Benson, Loftesness, Jones
Engineering Management for the Rest of Us Sarah Drasner
Thinking Clearly About Death Jay F. Rosenberg
There Is No Antimemetics Division qntm
Essentials of Compilation Jeremy G. Siek
Quantum Field Theory, as Simply as Possible A. Zee
Scientific Visualization: Python + Matplotlib Nicolas P. Rougier
Moby-Dick Herman Melville
On Gravity A. Zee
Compactness and Contradiction Terence Tao
The Idiot Elif Batuman
Philosophy of Biology Elliott Sober
Conflict Is Not Abuse Sarah Schulman
Gravity’s Rainbow Thomas Pynchon
Invisible Cities Italo Calvino
A Burning Megha Majumdar
Hamlet William Shakespeare
Ficciones Jorge Luis Borges
Experiments in Ethics Kwame Anthony Appiah
The Death of Ivan Ilyich Leo Tolstoy
Mort Terry Pratchett
Permutation City Greg Egan
Oblivion David Foster Wallace
Existential Physics:
A Scientist’s Guide to Life’s Biggest Questions
Sabine Hossenfelder
Musical Composition: Craft and Art Alan Belkin
The Dictionary of Obscure Sorrows John Koenig
Quantum Computing for Computer Scientists Yanofsky, Mannucci
Ways of Seeing John Berger
Category Theory in Context Emily Riehl
In the Blink of an Eye Walter Murch
OpenGL 4 Shading Language Cookbook David Wolff
Color Correction Handbook Alexis Van Hurkman
Norse Mythology Neil Gaiman
Color Correction Look Book Alexis Van Hurkman
Bullshit Jobs David Graeber
Learn Physics with Functional Programming Scott N. Walck
Godot Engine 4.1 Manual various
The AWK Programming Language Aho, Kernighan, Weinberger
The Dawn of Everything Graeber, Wengrow
The Animator’s Survival Kit Richard Williams
Every Cradle is a Grave Sarah Perry
The Conspiracy Against the Human Race Thomas Ligotti
Infinite Resignation Eugene Thacker
The Trouble with Being Born E. M. Cioran
Grimscribe Thomas Ligotti
Anatomy for Sculptors Uldis Zarins
Game Engine Black Book Fabien Sanglard
A New Introduction to Modal Logic Hughes, Cresswell
Learned Optimism Martin Seligman
Learning C++ by Building Games with Unreal Engine 4 Sharan Volin
Understanding MP3 Martin Ruckert
Schild’s Ladder Greg Egan
Snow Crash Neal Stephenson
Open Borders Caplan, Weinersmith
The Road to Reality Roger Penrose
Blender Secrets Jan van den Hemel
I’m Glad my Mom Died Jennette McCurdy
Determined Robert Sapolsky
Strange But True Science various
Normal People Sally Rooney

Games

Title Platform
Thymesia PC
8 Doors PC
Olli Olli World PC
Space Pirate Trainer VR
Tools Up! PC
Limbo (replay) PC
Call of the Sea PC
Spyro: Reignited Trilogy PC
Greedfall PC
A Plague Tale: Requiem PC
Taiko no Tatsujin Switch
Biomutant PC
Dirt Rally 2.0 PC
Wolfenstein: The New Order PC
Forza Horizon 5 PC
Beyond Blue PC
Hollow Knight (replay) PC
Theorem PC
Tunic PC
Spiritfarer PC
Cyberpunk 2077 PC
Hue PC
Ghostwire: Tokyo PC
I Am Fish PC
Batman: Arkham City PC
Dead Space (2023) PC
Journey (replay) PC
Amnesia: Rebirth PC
Automachef PC
Tohu PC
CodeVein PC
Vampire Survivors PC
The Quarry PC
Sifu PC
KeyWe PC
Blacktail PC
Heavenly Bodies PC
Before your Eyes PC
A Juggler’s Tale PC
The Forest Quartet PC
Out of Line PC
Cities Skylines II PC
Bayonetta PC
Biped PC
Planescape Torment PC
Tony Hawk’s Pro Skater 1+2 PC
SCP Secret Files PC
Mushroom 11 PC
Kena: Bridge of Spirits PC
Octahedron PC
A Way Out (replay) PC
Fallout: New Vegas PC
Rainbow Six: Siege PC
Rez Infinite PC
Star Wars: Knights of the Old Republic PC

2022

Books

Title Author
Haskell Data Analysis Cookbook Nishant Shukla
How Mathematicians Think William Byers
The Haskell School of Music Hudak, Quick
Don Quixote Miguel Cervantes
Dare Barry McDonagh
Based on a True Story Norm Macdonald
Ableton Reference Manual Version 11 Hughes et al.
The Little Book of Cosmology Lyman Page
Our Mathematical Universe Max Tegmark
Making Music: 74 Creative Strategies
for Electronic Music Producers
Dennis DeSantis
Coders at Work Peter Seibel
Straw Dogs John Gray
Quantum Computer Science N. David Mermin
Better Never to Have Been David Benatar
Essential Cell Biology Alberts et al.
Digital Painting in Photoshop:
Industry Techniques for Beginners
Lovadina et al.
Color and Light:
A Guide for the Realist Painter
James Gurney
Existential Counselling
and Psychotherapy in Practice
Emmy van Deurzen
To Mock a Mockingbird Raymond Sullivan
80,000 Hours Benjamin Todd
Compilers: Principles, Techniques, and Tools Aho, Lam, Sethi, Ullman
Kafka on the Shore Haruki Murakami
All the Mathematics You Missed Thomas A. Garrity
The First Three Minutes Steven Weinberg
The Pale King David Foster Wallace
Models of the Atomic Nucleus Norman D. Cook
Haskell High Performance Programming Samuli Thomasson
The Worm at the Core Solomon, Greenberg, Pyszczynski
The Courage to Be Disliked Kishimi, Koga
Game Theory Steven Tadelis
Intermediate Microeconomics Hal Varian
Chaos James Gleick
Macbeth William Shakespeare
The Little Book of Rust Macros Daniel Keep et al.
Anathem Neal Stephenson
Refactoring UI Wathan, Schoger
An Elegant Puzzle:
Systems of Engineering Management
Will Larson
Black Hat Rust Sylvain Kerkour
The Laws of Trading Agustin Lebron
Effective TypeScript Dan Vanderkam
PostgreSQL 14 Internals (Parts I, II) Egor Rogov
Counterexamples in Type Systems Stephen Dolan
What We Owe the Future Will MacAskill
Who’s #1?: The Science of Rating and Ranking Langville, Meyer
A Prelude to Quantum Field Theory Donoghue, Sorbo
Designing Type Karen Cheng
I Am a Strange Loop Douglas Hofstadter
QED: The Strange Theory of Light and Matter Richard Feynman
Game Programming Patterns Robert Nystrom
A Concise Introduction to Linguistics Rowe, Levine
One Hundred Years of Solitude Gabriel García Márquez
Blender 3d Incredible Machines Christopher Kuhn
Staff Engineer:
Leadership beyond the management track
Will Larson
Solving Mathematical Problems Terence Tao
Deep Simplicity John Gribbin
Battery Technology Crash Course Sloboan Petrovic
Feline Philosophy John Gray
The Physics of Filter Coffee Jonathan Gagné

Games

Title Platform
Elden Ring PC
Death’s Door PC
Hyperbolica PC
A Monster’s Expedition Through Puzzling Exhibitions PC
The Forgotten City PC
Sable PC
Descenders PC
Deathloop PC
The Ascent PC
A Plague Tale: Innocence PC
Raji: An Ancient Epic PC
Submerged: Hidden Depths PC
Metal: Hellsinger PC
Shovel Knight: Treasure Trove PC
Lawn Mowing Simulator PC
Röki PC
Dying Light 2 PC
Stray PC
Need for Speed: Hot Pursuit PC
Need for Speed: Rivals PC
Need for Speed : Heat PC
Gang Beasts PC
Battlefield V PC
Battlefield 4 PC
Battlefield 1 PC
The Pedestrian PC
Unravel Two PC
Boomerang Fu PC
BPM: Bullets Per Minute PC
Skyrim (replay) PC
Moving Out PC
Death Stranding PC

2021

Books

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
What Every Pianist Needs to Know About the Body Thomas Mark
The Manager’s Path Camille Fournier
Algebraic Topology Allen Hatcher
Staring at the Sun Irvin D. Yalom
Modalogy Brent, Barkley
Aspiration Agnes Callard

*Only through part four

Games

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
It Takes Two PC

2020

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

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

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
Get Out
Snowpiercer
Tenet
Taxi Driver

2019

Books

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

Games

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

Title
Once Upon a Time in Hollywood