# Brit's Library ## Languages * A Little Smalltalk * Clojure Programming [bbutler] * Dive into Python * Head First Java * Learn You a Haskell for Great Good! * Programming Erlang, 1st Edition * Real World Haskell * Real World OCaml [bbutler] * Starting Forth * The Joy of Clojure * The Little Schemer * Thinking Forth ## Algorithms * Algorithm Design by Kleinberg, Tardos * Algorithms by Dasgupta, Papadimitriou, Vazirani * A Practical Guide to Data Structures and Algorithms * Hacker's Delight * Introduction to Algorithms * Purely Functional Data Structures * The Algorithm Design Manual * The Design and Analysis of Algorithms ## Compilers * Engineering a Compiler, 2nd Edition * Linkers and Loaders * Lisp in Small Pieces * Modern Compiler Implementation in ML ## Operating Systems * Computer Systems - A Programmer's Perspective, 2nd Edition * Lion's Commentary on Unix, 6th Edition * Operating Systems: Design and Implementation, 2nd Edition * The Art of Unix Programming * The Design of the Unix Operating System * Unix Internals ## Architecture * Computation Structures * Computer Organization and Design, 3rd Edition * Introduction to Computing Systems, 2nd Edition * Structured Computer Organization, 5th Edition * The Architecture of Symbolic Computers ## C * C Interfaces and Implementations [emueller] * Expert C Programming * The Standard C Library ## Lisp * ANSI Common Lisp * Common Lisp the Language, 2nd Edition * Concrete Abstractions * How to Design Programs * Let Over Lambda * Object Oriented Programming in Common Lisp * On Lisp * Paradigms of AI Programming * Practical Common Lisp * Structure and Interpretation of Computer Programs, 2nd Edition * The Art of the Metaobject Protocol ## Theory * A Theoretical Introduction to Programming * Concepts, Techniques, and Models of Computer Programming * Essentials of Programming Languages * Introduction to the Theory of Computation by Sipser, 1st Edition * The New Turing Omnibus * Types and Programming Languages ## Et cetera * A Discipline of Programming by Edsger Dijkstra * Artificial Intelligence, 2nd Edition * Code Reading * Coders at Work * Computer Networks * Database in Depth * Patterns of Software * Programming Pearls, 2nd Edition * Software Engineering for Internet Applications * The Elements of Computing Systems * The Humane Interface * The Practice of Programming * Why Programs Fail ## Free Software * Free as in Freedom * Free Software, Free Society: Essays by Richard M Stallman * Open Sources * Open Sources 2.0 * The Cathedral and the Bazaar * The Success of Open Source * Two Bits: The Cultural Significance of Free Software ## IP Law * Code * Free Culture * The Future of Ideas ## Peer Production * Infotopia * The Hacker Ethic * The Penguin and the Leviathan * The Wealth of Networks ## Mathematics * Calculus by Michael Spivak * Calculus Made Easy by Silvanus Thompson * Introductory Statistics by Devore/Peck * Discrete Mathematics by Michael Rosen * A Logical Approach to Discrete Math by Gries/Schneider * Introductory Combinatorics by Richard Brualdi * Introduction to Linear Algebra by Serge Lang * Linear Algebra Done Right by Sheldon Axler * Topics in Algebra by I. N. Herstein * Naive Set Theory by Paul Halmos * Introductory Graph Theory by Gary Chartrand * To Mock a Mockingbird by Raymond Smullyan * The Lady or the Tiger by Raymond Smullyan * Introduction to Analysis by Max Rosenlicht * How to Prove It by Daniel Velleman * How to Solve It by George Polya * Algebra by I. N. Gelfand, et al * Functions and Graphs by I. N. Gelfand, et al * The Method of Coordinates by I. N. Gelfand, et al * Trigonometry by I. N. Gelfand, et al * Sequences, Combinations, Limits by I. N. Gelfand, et al * Lines and Curves by Gutenmacher/Vasilyev * Comprehensive Mathematics for Computer Scientists, Volumes 1 & 2 ## Science Fiction ### Banks * Excession * The Algebraist * The Player of Games ### Chiang * The Lifecycle of Software Objects ### Egan * Diaspora * Permutation City * Schild's Ladder ### Gibson * Neuromancer [bminor] * Idoru * Pattern Recognition ### Rajaniemi * The Quantum Thief * The Fractal Prince ### Reynolds * Revelation Space * Chasm City * The Prefect ### Stephenson * Snow Crash * The Diamond Age ### Stross * Accelerando * Glasshouse * Halting State * Rule 34 ### Vinge * Across Realtime * A Fire Upon the Deep * A Deepness in the Sky * The Children of the Sky * Rainbow's End