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.
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 |
Peak | Ericsson, Pool |
Fundamentals of Piano Practice (reread) | Chaun Chang |
Super Sight-Reading Secrets | Howard Richman |
The Art of Piano Playing | Heinrich Neuhaus |
Write Useful Books | Rob Fitzpatrick |
The Hobbit | J. R. R. Tolkien |
Illustrated Step-by-Step Baking | Caroline Bretherton |
The Professional Chef | Culinary Institute of America |
No-Nonsense Quantum Field Theory | Jakob Schwichtenberg |
Perspective Made Easy | Ernest R. Norling |
Ethics for the Real World | Howard, Korver |
Game Anim | Jonathan Cooper |
Foundations of Game Engine Development Volume 1: Mathematics |
Eric Lengyel |
Read This if You Want to Take Great Photographs | Henry Carroll |
Finite-Dimensional Vector Spaces | Paul R. Halmos |
Solaris | Stanislaw Lem |
What Does It All Mean? | Thomas Nagel |
Freedom and Resentment and Other Essays | P.F. Strawson |
In Praise of Shadows | Jun’ichirō Tanizaki |
The Pig That Wants to Be Eaten: 100 Experiments for the Armchair Philosopher |
Julian Baggini |
Naming and Necessity | Saul Kripke |
Kant: A Very Short Introduction | Roger Scruton |
Complete Vocal Technique | Cathrine Sadolin |
Groundwork of the Metaphysics of Morals | Immanuel Kant |
Spelunky | Derek Yu |
EarthBound | Ken Baumann |
An Introduction to Measure Theory | Terence Tao |
Shadow of the Colossus | Nick Suttner |
The Order of Time | Carlo Rovelli |
Game Feel | Steve Swink |
Modern Operating Systems | Tanenbaum, Bos |
Pixel Logic | Michael Azzi |
Journey to the West | Wu Cheng’en |
Smart Brevity | VandeHei, Allen, Schwartz |
The Count of Monte Cristo | Alexandre Dumas |
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 |
Horizon Zero Dawn | PC |
The Callisto Protocol | PC |
Red Dead Redemption 2 (replay) | PC |
Lego Bricktales | PC |
Jade Empire | PC |
CarX Drift Racing | PC |
Echo | PC |
Bad North | PC |
The Eternal Cylinder | PC |
Morphies Law | PC |
Knights and Bikes | PC |
Elden Ring (replay) | PC |
Dark Souls Remastered | PC |
Armored Core VI | PC |
Cocoon | PC |
Hohokum | PC |
Hi-Fi Rush | PC |
Spelunky (replay) | PC |
Stephen’s Sausage Roll (replay) | PC |
Ape Out | PC |
Braid: Anniversary Edition | PC |
Thoth | PC |
Omori | PC |
Lies of P | PC |
Degrees of Separation | PC |
Black Myth: Wukong | PC |
Gonner | PC |
Gloomwood | PC |
Mosa Lina | PC |
Peglin | PC |
Indika | PC |
Chicory: A Colorful Tale | PC |
Stacklands | PC |
Dome Keeper | PC |
Gibbon: Beyond the Trees | PC |
Into the Breach | PC |
Carrion | PC |
Minami Lane | PC |
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 |
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 |
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é |
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 |
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
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 |
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 |
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 |
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 |