Hacker News
- Types and Programming Languages (2002) https://mitpress.mit.edu/books/types-and-programming-languages 28 comments
- The Little Typer https://mitpress.mit.edu/books/little-typer 132 comments
- New Book, Programmed Inequality: How Britain Discarded Women Technologists https://mitpress.mit.edu/books/programmed-inequality 3 comments
- The Little Prover http://mitpress.mit.edu/books/little-prover 20 comments
- The Art of Insight in Science and Engineering http://mitpress.mit.edu/books/art-insight-science-and-engineering 17 comments
- Introduction to Algorithms, Third Edition http://mitpress.mit.edu/catalog/item/default.asp?tid=11866&ttype=2 12 comments
- The Pepsi Cola Addict - finally getting a reprint! Thank god for Hollywood! https://mitpress.mit.edu/9781913689711/the-pepsi-cola-addict/ 2 comments books
- Looking for study group: Data structures and Algorithms https://mitpress.mit.edu/books/introduction-algorithms-third-edition 9 comments learnprogramming
- Software Design for Flexibility is out! https://mitpress.mit.edu/books/software-design-flexibility 18 comments clojure
- Software Design for Flexibility - How to Avoid Programming Yourself into a Corner https://mitpress.mit.edu/books/software-design-flexibility 8 comments scheme
- Software Design for Flexibility https://mitpress.mit.edu/books/software-design-flexibility 9 comments scheme
- AskScience AMA Series: I am Jonathan Berman, author of the forthcoming "Antivaxxers: How To Challenge A Misinformed Movement" from MIT press, former co-chair of the March for Science, and a renal physiologist, AMA! https://mitpress.mit.edu/books/anti-vaxxers 324 comments askscience
- Trace call stack https://mitpress.mit.edu/sites/default/files/sicp/full-text/book/book-Z-H-15.html#%25_fig_2.8 2 comments scheme
- SICP 2.6: Church numerals https://mitpress.mit.edu/sites/default/files/sicp/full-text/book/book-Z-H-14.html#%25_sec_2.1.3 4 comments scheme
- Quick SICP question https://mitpress.mit.edu/sites/default/files/sicp/full-text/book/book-Z-H-12.html#%25_sec_1.3.4 6 comments lisp
- Quick SICP question https://mitpress.mit.edu/sites/default/files/sicp/full-text/book/book-Z-H-12.html#%25_sec_1.3 6 comments lisp
- Quick SICP question https://mitpress.mit.edu/sites/default/files/sicp/full-text/book/book-Z-H-11.html#%25_sec_1.2.2 11 comments lisp
- The Art of Prolog, Second Edition - Open Download https://mitpress.mit.edu/books/art-prolog-second-edition 12 comments compsci
- The Art of Prolog, Second Edition is available as open access - free download from MIT Press https://mitpress.mit.edu/books/art-prolog-second-edition 21 comments prolog
- You can now pre-order "The Little Typer" https://mitpress.mit.edu/books/little-typer 22 comments idris
- The Little Prover is now available for purchase. http://mitpress.mit.edu/books/little-prover?0 21 comments haskell
- The Little Prover | The MIT Press http://mitpress.mit.edu/books/little-prover 13 comments haskell
- The Little Prover | The MIT Press http://mitpress.mit.edu/books/little-prover 7 comments compsci
- MIT Press is having a 50% off sale for all of their books until Sunday. Here's the Linguistics selection! http://mitpress.mit.edu/disciplines/linguistics-and-language 29 comments linguistics
- Who should read SICP? http://mitpress.mit.edu/sicp/ 10 comments compsci
- How did or do you study data structures and algorithms? http://mitpress.mit.edu/books/introduction-algorithms 23 comments compsci
- Suggestions for a CS self-taught curriculum? http://mitpress.mit.edu/sicp/ 4 comments learnprogramming
- Proceedings of the Artificial Life XIII conference released http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=13139 3 comments artificial
- David Rumelhart has passed away. http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=3922 12 comments cogsci
- Could someone explain this last sentence of SICM's Preface to me? http://mitpress.mit.edu/sicm/book-Z-H-5.html#%25_chap_Temp_2 6 comments scheme
- Question: Is the SICP a good way to be introduced to Lisp? I've been wanting to revisit basic programming concepts learnt in my first college year. If its also good introduction to Lisp in general, I could kill two birds with the same stone. http://mitpress.mit.edu/sicp/full-text/book/book.html 15 comments lisp
- Structure and Interpretation of Classical Mechanics http://mitpress.mit.edu/sicm/book-z-h-4.html 4 comments math
- _Design Concepts in Programming Languages_ (new textbook on language semantics) http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=11656 4 comments programming
- Essentials of Programming Languages, 3rd Edition is out! , by Daniel P. Friedman and Mitchell Wand [EPL] http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=11480 15 comments programming
- Structure and Interpretation of Computer Programs (Free Online Text) http://mitpress.mit.edu/sicp/full-text/book/book-z-h-5.html 42 comments programming
- Scheme Programming in One Chapter http://mitpress.mit.edu/sicm/book-z-h-78.html 4 comments programming
- Structure and Interpretation of Classical Mechanics: very detailed coverage of CM, using scheme to program simulators, etc. http://mitpress.mit.edu/sicm/ 2 comments reddit.com
Lambda the Ultimate
- De-Scheming MIT? http://mitpress.mit.edu/sicp/ 55 comments Teaching & Learning
- Building a Modern Computer From First Principles http://mitpress.mit.edu/catalog/item/default.asp?tid=10218&ttype=2 18 comments Teaching & Learning
- Commentary on Standard ML http://mitpress.mit.edu/catalog/item/default.asp?tid=3874&ttype=2 11 comments Misc Books