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 |
| How to Render: the fundamentals of light, shadow and reflectivity |
Robertson, Bertling |
| Parfit’s Ethics | Richard Y. Chappell |
| The Philosophy of Set Theory | Mary Tiles |
| 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 |