# Books I keep in my office. Presented in roughly the order they are on my bookshelf on April 23, 2020. In other words, presented in no particular order. ## Southeast bookshelf Coming into the Country. John McPhee. A People's History of the World. Chris Harman. Book of Dissent. Andrew Hsiao and Audrea Lim, eds. Bullshit Jobs. David Graeber. Mistaking Each Other for Ghosts. Lawrence Raab. The Life Beside This One. Lawrence Raab. Consilience: The Unity of Knowledge Edward O. Wilson. Fighting Fascism. Clara Zetkin. Finding our Sea Legs. Will Buckingham. Arvo Pärt. Paul Hillier. The sources of normativity. Korsgaard. The Manager's Path. Camille Fournier. Postwar: A History of Europe Since 1945. Tony Judt. Seven Brief Lessons on Physics. Carlo Rovelli. How to Read and Why. Harold Bloom. Slaughterhouse Five. Kurt Vonnegut. Linear Algebra Done Right. Sheldon Axler. We Were Eight Years in Power. Ta-Nehisi Coates. Turing Tales. Edgar G. Daylight. So you want to talk about race. Ijeoma Oluo. Metamagical Themas. Douglas R. Hofstadter. The Theory of Numbers. Hardy and Wright. I am a Strange Loop. Hofstadter. Continuity and Rupture. J. Moufawad-Paul. The High Cost of Free Parking. Shoup. The Wretched of the Earth. Frantz Fanon. Naive Set Theory. Paul Halmos. Where Wizards Stay Up Late. Katie Hafner and Matthew Lyon. Paddling the Columbia. John Roskelley. Why Don't We Say What We Mean? Lawrence Raab. The Road Since Structure. Thomas Kuhn. James Conant and John Haugeland, eds. The Structure of Scientific Revolutions. Thomas Kuhn. Kuhn's Legacy. Bojana Mladenovic. The Fabric of the Cosmos. Brian Greene. Understanding Physics. Isaac Asimov. Inventing Accuracy: A Historical Sociology of Nuclear Missile Guidance. Donald MacKenzie. Real and Complex Analysis. Walter Rudin. Surreal Numbers. Knuth. ABC of Reading. Ezra Pound. Between the World and Me. Ta-Nehisi Coates. How to Read Literature Like a Professor. Thomas C. Foster. Farewell to Arms. Ernest Hemingway. Technofeminism. Judy Wajcman. Just My Type: A Book About Fonts. Simon Garfield. U.S. Women's History. Leslie Brown, Jacqueline Castledine, and Anne Valk. Pedagogy of the Opressed. Paulo Freire. Quality Education as a Constitutional Right. Perry, Moses, et al. Principles of Mathematical Analysis. Rudin. Living with Jim Crow. Anne Valk and Leslie Brown. Functional Differential Geometry. Sussman and Wisdom. Protecting Information. Loepp and Wooters. Pastoralia. George Saunders. The Hitchhiker's Guide to the Galaxy. Douglas Adams. To Kill a Mockingbird. Harper Lee. The Very Persistent Gappers of Frip. George Saunders. The Brief and Frightening Reign of Phil. George Saunders. Congratulations, by the way. George Saunders. A Supposedly Fun Thing I'll Never Do Again. David Foster Wallace. The Things They Carried. Tim O'Brien. Seveneves. Neal Stephenson. The Surgeon of Crowthorne. Simon Winchester. A Man Without a Country. Kurt Vonnegut. Tenth of December. George Saunders. Civilwarland is Bad Decline. George Saunders. The Braindead Megaphone. George Saunders. In Persuasion Nation. George Saunders. Modern Graph Theory. Bollobás. Graph Theory Diestel. Commutative Ring Theory. Matsumura. General Topology. Kelley. Logicomix: An Epic Search for Truth. Doxiadis, Papadimitriou, Papadatos, and Di Donna. On Numbers and Games. Conway. Little Golden America. Ilf and Petrov. Finite-Dimensional Vector Spaces. Halmos. Remarks on the Foundations of Mathematics. Wittgenstein. Turing's Vision. Chris Bernhardt. A Concise Introduction to the Theory of Numbers. Baker. African American Voices. Leslie Brown, ed. Upbuilding Black Durham. Leslie Brown. Digital Dead End. Eubanks. Calculus on Manifolds. Spivak. Number Fields. Marcus. Steps in Commutative Algebra. Sharp. Galois Theory. Artin. Logic Machines & Diagrams. Gardner. Break-throughs in Science. Asimov. An Epsilon of Room, I: Real Analysis. Terence Tao. An Introduction to Measure Theory. Terence Tao. Algebra. Lang. Ideals, Varieties, and Algorithms. Cox, Little, and O'Shea. Commutative with a View Toward Algebraic Geometry. Eisenbud. Cracking the Coding Interview. McDowell. Algebra. Hungerford. Mathematical Logic. Monk. Eleanor Roosevelt. Blanche Wiesen Cook. Legacy of Ashes: The History of the CIA. Tim Weiner. Einstein. Walter Isaacson. Truman. David McCullough. Grand Expectations. Patterson. Bury My Heart at Wounded Knee. Dee Brown. The Essential Writings of Charles S. Peirce. Edward C. Moore, ed. The Priciples of Psychology, vol. 1. James. History Lessons. Lindaman and Ward. Theory and Reality: An Introduction to the Philosophy of Science. Godfrey-Smith. An Enquiry Concerning Human Understanding. Hume. The Priciples of Psychology, vol. 1. William James. (another copy...?) Free Software Free Society: Essays. Richard M. Stallman. The Backgammon Book. Jacoby and Crawford. Backgammon. Magriel. Maurine and other Poems. Ella Wheeler Wilcox. Pragmatism: The Meaning of Truth. William James. On the Nature of Things. Lucretius. Frank Copley, tr. Free Will. Balaguer. Auctions. Hubbard and Paarsch. Computing. Ceruzzi. Paradox. Cuonzo. The Conscious Mind. Torey. Understanding Beliefs. Nilson. Knowing Machines. Donald MacKenzie. Technically Wrong. Sara Wachter-Boettcher. The Will to Believe. William James. Zen and the Art of Motorcycle Maintenance. Robert Pirsig. Winnetka: The Biography of a Village. Harnsberger. Too Much to Know. Ann Blair. The Day Lincoln Was Shot. Bishop. Psychology: The Briefer Course. William James. Philosophy of Language: A Contemporary Introduction. William Lycan. The Many Faces of Realism. Hillary Putnam. Groundwork of the Metaphysics of Morals. Kant. Prolegomena to Any Future Metaphysics. Kant. Ethics and the Limits of Philosophy. Bernard Williams. Talks to Teachers on Psychology: And to Students on Some of Life's Ideals. William James. Descartes: Selected Philosophical Writings. Cottingham et al., tr. Turning the Mind into an Ally. Sakyong Mipham. Philosophical Investigations. Wittgenstein. The History of Western Philosophy. Bertrand Russel. The Laughing Monsters. Denis Johnson. The Priciples of Psychology, vol. 2. William James. The Oxford Dictionary of Nursery Rhymes. Opie. The Book of Numbers. Conway and Guy. The Rust Programming Language. Klabnik and Nichols. Bicycle Design: An Illustrated History. Hadland and Lessing. The Righteous Mind. Jonathan Haidt. A History of the Chicago Club. Topology. Munkres. Parsing Techniques: A Practical Guide. Grune and Jacobs. The Knot Book. Colin Adams. The Metaphysical Club. Louis Menand. The New Yorker Book of Dogs. Behavior Adjustment Training 2.0 Grisha Stewart. The Closing of the American Mind. Allan Bloom. Memories, Dreams, Reflections. Carl Jung. Sacred Geometry: Philosophy and Practice. Robert Lawlor. Ordinary Differential Equations. Tenenbaum and Pollard. ## Proper Books Verification of Sequential and Concurrent Programs. Apt, de Boer, and Olderog. Let over lambda. Doug Hoyte. Operating Systems Concepts. Silberschatz. Eighth edition Program Logics for Certified Compilers. Andrew Appel. Type Theory and Formal Proof. Nederpelt and Geuvers. Concrete Semantics. Nipkow and Klein. Certified Programming with Dependent Types. Adam Chlipala. Compilers: Principles Techniques and Tools. Aho, Lam, Sethi, and Ullman. Second edition. AKA: Dragon Book. Model Checking. Clarke, Grumberg, and Peled. Site Reliability Engineering. Beyer, Jones, Petoff, and Murphy. Operating Systems: Principles and Practice. Thomas Anderson and Michael Dahlin. Second edition. Computer Architecture: A Quantitative Approach. Hennessy and Patterson. Structured Computer Organization. Tannenbaum. Fourth Edition. Distributed Computing. Attiya and Welch. Second Edition. Introduction to Reliable and Secure Distributed Programming. Cachin, Guerraoui, and Rodrigues. Second edition. Compute Ethics. Forester and Morrison. Chapter Zero. Fundamental Notions of Abstract Mathematics. Software Fundamentals. Editors: Hoffman and Weiss. Collected works of David Parnas. The Seasoned Schemer. Friedman and Felleisen. The Reasoned Schemer. Friedmen, Byrd, and Kiselyov. The Little MLer. Felleisen and Friedman. Thingking things through. Glymour. Descartes' Meditations, Bro. Philosophy Bro. Tommy Maranges. Vespers of 1610. Monteverdi. Turtle Geometry. Abelson and diSessa. Against Facts. Betti. Principles of the Spin Model Checker. Ben-Ari. The Spin Module Checker: Primer and Reference Manual. Holzmann. The Definition of Standard ML (Revised). Milner, Tofte, Harper, and MacQueen. Transaction Processing: Concepts and Techniques. Jim Gray and Andreas Reuter. Lions' Commentary on Unix 6th Edition with Source Code. John Lions. Security Engineering. Ross Anderson. The Design and Implementation of the 4.4 BSD Operating System. McKusick, Bostic, Karels, and Quartermann. Speech and Language Processing. Jurafsky and Martin. Principia Ethica. Moore. The Last Word. Nagel. Notes of a Native Son. James Baldwin. The Master Algorithm. Pedro Domingos. Verified Functional Programming in Agda. Aaron Stump. Foundations of Constructive Analysis. Bishop. Introduction to Distributed Algorthims. Tel. Second Edition. Atomic Transactions. Lynch, Merritt, Weihl, and Fekete. Specifying Systems. Leslie Lamport. Programming Pearls. Bentley. Second Edition. Software Abstractions. Daniel Jackson. Revised Edition. Distributed Algorithms. Nancy Lynch. Theories of Programming Languages. John Reynolds. Categories for Types. Crole. Getting what you came for. Robert L. Peters, Ph.D. The Design adn Implementation of the 4.3 BSD Unix Operating System. Leffler, McKusick, Karels, and Quartermann. Structure and Interpretation of Classical Mechanics. Sussman and Wisdom. Coders at Work. Peter Seibel. Firewalls and Internet Security. Cheswick and Bellovin. Practical Foundations for Programming Languages. Robert W. Harper. Types and Programming Languages. Benjamin C. Pierce. Purely Functional Data Structures. Chris Okasaki. The C Programming Language. Kernighan and Ritchie. Second Edition. Advanced Topics in Types and Programming Languages. Benjamin C. Pierce, editor. Type-Driven Development with Idris. Edwin Brady. Structure and Interpretation of Computer Programs. Abelson and Sussman. Second Edition. How to Design Programs. Felleisen, Findler, Flatt, and Krishnamurthi. Creating Games. McGuire and Jenkins. Homotopy Type Theory. The Univalent Foundations Program, Institute for Advanced Study. The New Hacker's Dictionary. Eric S. Raymond. Third Edition. The Craft of Programming. John Reynolds. Surgery on Compact Manifolds. Wall. The Art of Computer Programming. Don Knuth. Volume 1, 3rd edition; Volume 2, 3rd edition; Volume 3, 2nd edition; Volume 4A. Compute Networks: A Systems Approach. Peterson and Davie. Fifth edition. Lisp. Patrick Henry Winston and Berthold Klaus Paul Horn. Third Edition. Fun Fact 1: Patrick Henry Winston is a not-so-distant cousin of mine; I believe he is my dad's cousin or second cousin (my dad's middle name is Winston). Fun Fact 2: Berthold Klaus Paul Horn is one heck of a name. Artificial Intelligence. Patrick Henry Winston. Third Edition. Practical Foundations for Programming Languages. Robert W. Harper. Second Edition. The Logical Basis of Metaphysics. Michael Dummett. The Art of Multiprocessor Programming. Herlihy and Shavit. Sheaves in Geometry and Logic: A first introduction to topos theory. Mac Lane and Moerdijk. Style: The Basics of Clarity and Grace. Williams. Fourth edition. Structured Programming. Dahl, Dijkstra, and Hoare. Categorical Logic and Type Theory. Bart Jacobs. Category Theory. Steve Awodey. Implementing Mathematics with the Nuprl Proof Development System. Constable et al. Communication and Concurrency. Milner. ML for the working programmer. Milner. Second edition. Concrete Mathematics: A foundation for computer science. Graham, Knuth, and Patashnik. Second Editiion. The Little Schemer. Friedman and Felleisen. The Little Prover. Friedman and Eastlund. Theory of Computation. Michael Sipser. Algorithm Design. Kleinberg and Tardos. Heuristics: Intelligent Search Strategies for Computer Problem Solving. Judea Pearl. Reverse Mathematics. Stillwell. Hacker's Delight. Warren. The Haskell Road to Logic, Maths, and Programming. Kees Doets and Jan van Eijck. Second edition. Practical Foundations of Mathematics. Paul Taylor. Introduction to Metamathematics. Stephen Cole Kleene. Descriptive Complexity. Neil Immerman. Elements of Finite Model Theory. Leonid Libkin. Semantics Engineering with PLT Redex. Flatt, Felleisen, and Findler. Mechanizing Proof. Donald MacKenzie. ## Xerox Parc tech reports. Fun fact: I was lucky to nab some of these when Alan Borning was cleaning out his office. There are some true gems in here. Consistency and Correctness of Duplicate Database Systems. Clarence A. Ellis. Information Storage in a Decentralized Computer System. David Gifford. Grapevine: an Exercise in Distributed Computing Birrell, Levin, Needham, and Schroeder. Grapevine: Two Papers and a Report. Birrell, Levin, Needham, and Schroeder. Remote Procedure Call. Bruce Jay Nelson. Real Programming in Functional Languages. James H. Morris. Internet Experiments with the Bay Area Packet Radio Network. John Shoch and Larry Stewart. Data types are values. James Donahue and Alan Demers. WFS: A simple shared file system for a distributed environment. Daniel Swinehart, Gene McDaniel, and David Boggs. Weighted Voting for Replicated Data. David K. Gifford. Formal Specification as a Design Tool. John Guttag and James J. Horning Some Notes on Putting Formal Specifications to PRoductive Use. John Guttag, Jim Horning, and Jeannette Wing. The Semantics of Lazy (and Industrious) Evaluation. Robert Cartwright and James Donahue. Schemes: a high level data structuring concept. Mitchell and Wegbreit. Controlling Large Software Development in a Distributed Environment. Meta-programming: A software production method. Charles Simonyi. Programming the Connection Machine. David P. Christman. An Interactive Program Verifier. L. Peter Deutsch. On the Problem of Uniform References to Data Structures. Geschke and Mitchell. Programming by Example. Daniel C. Halbert. A Fast String Searching Algorithm. Boyer and Moore.