Thread: Career-Changing Programming Books

Career-Changing Programming Books (nomachetejuggling.com)

L 17 pts 1 comments by zacbrown Mar 6, 2015 book Programming (General)Productivity / Career / Business Culture / Philosophy / History / Reading thread

List of free programming books (github.com)

L 4 pts 0 comments by SeanTAllen Oct 13, 2013 programming Programming (General) thread

Certified Programming with Dependent Types, by Adam Chlipala (adam.chlipala.net)

L 19 pts 13 comments by kragen May 8, 2014 bookmathprogramming Programming (General)Science / Math / Physics Culture / Philosophy / History / Reading thread

The author writes: > "This is the web site for a textbook about practical engineering with the Coq proof assistant. The focus is on building programs with proofs of correctness, using dependent types and scripted proof automation. > "I'm following an unusual philosophy in this book, so it may ...

Programming and Programming Languages (papl.cs.brown.edu)

L 1 pts 0 comments by pushcx Dec 15, 2014 bookprogramming Programming (General)Programming Languages / CS Theory Culture / Philosophy / History / Reading thread

Author popped up [in the HN comments](https://news.ycombinator.com/item?id=8750354) to say his previous book Programming Languages: Application and Interpretation "is almost completely subsumed into PAPL".

Professor Frisby's Mostly Adequate Guide to Functional Programming (github.com)

L 4 pts 0 comments by pushcx Jul 21, 2015 bookjavascriptprogramming Web Development Programming (General)Programming Languages / CS Theory Culture / Philosophy / History / Reading thread

Programming Concepts in the Real World (seppo0010.github.io)

L 15 pts 0 comments by seppo0010 Sep 5, 2015 bookprogrammingshow Programming (General)Culture / Philosophy / History / Reading thread

Why Rust? Trustworthy, Concurrent Systems Programming (oreilly.com)

L 16 pts 1 comments by pushcx Sep 9, 2015 bookprogrammingrust Systems / Low-Level / OS Programming (General)Culture / Philosophy / History / Reading thread

The Implementation of Functional Programming Languages (1987 Book by Simon Peyton Jones) (research.microsoft.com)

L 15 pts 2 comments by twopoint718 Nov 21, 2015 bookprogramming Programming (General)Programming Languages / CS Theory Culture / Philosophy / History / Reading thread

"Programming in D" ebook is at major retailers (forum.dlang.org)

L 7 pts 0 comments by mulander Dec 14, 2015 bookprogramming Programming (General)Culture / Philosophy / History / Reading thread

Embedded Programming with the GNU Toolchain (bravegnu.org)

L 1 pts 0 comments by pushcx Dec 30, 2015 bookprogramming Systems / Low-Level / OS Programming (General)Culture / Philosophy / History / Reading thread

My Top 100 Programming, Computer and Science Books (catonmat.net)

L 7 pts 1 comments by superpat Apr 27, 2016 bookprogrammingscience Programming (General)Science / Math / Physics Culture / Philosophy / History / Reading thread

Leanpub: a website with work-in-progress and finished programming books that can be bought for free (leanpub.com)

L 4 pts 0 comments by inactive-user Jun 4, 2016 bookprogramming Programming (General)Culture / Philosophy / History / Reading thread

Functional programming books overview (alexott.net)

L 23 pts 2 comments by unbalancedparentheses Jun 8, 2016 bookprogramming Programming (General)Programming Languages / CS Theory Culture / Philosophy / History / Reading thread

Programming books you might want to consider reading (danluu.com)

L 16 pts 2 comments by calvin Oct 17, 2016 bookcompscimathprogramming Programming (General)Programming Languages / CS Theory Science / Math / Physics Culture / Philosophy / History / Reading thread

Learn C Programming With 9 Excellent Open Source Books (ossblog.org)

L 18 pts 0 comments by inactive-user Mar 8, 2017 cprogramming Systems / Low-Level / OS Programming (General) thread

Real-Time Programming Lecture Notes by Plodereder (2004) (www2.informatik.uni-stuttgart.de)

L 3 pts 0 comments by nickpsecurity Apr 15, 2017 bookpdfprogramming Programming (General)Culture / Philosophy / History / Reading thread

Plodereder is notable for co-authoring the official reference of Ada 2012 with Tucker Taft.

A Career in Programming Without Going To School (deliberate-software.com)

L 5 pts 2 comments by yumaikas Aug 3, 2017 programming Programming (General)Productivity / Career / Business thread

Game Programming Patterns (gameprogrammingpatterns.com)

L 20 pts 0 comments by stevejalim Aug 17, 2017 bookprogramming Programming (General)Gaming / Retro Computing Culture / Philosophy / History / Reading thread

No longer WIP, and recommended to me as one of the most eye-opening books on OOP (even if you're not a game developer)

Programming a Problem-Oriented Language (forth.org)

L 12 pts 1 comments by pushcx Oct 26, 2017 bookpdfprogramming Programming (General)Culture / Philosophy / History / Reading thread

The Benjamin Franklin Method of Reading Programming Books (pathsensitive.com)

L 33 pts 13 comments by jkoppel Jan 22, 2018 programming Programming (General)Culture / Philosophy / History / Reading thread

Collection of programming books under CC License (github.com)

L 1 pts 0 comments by Yogthos Feb 23, 2018 educationprogramming Programming (General) thread

A Practical Theory Of Programming (cs.toronto.edu)

L 18 pts 4 comments by zdsmith Aug 1, 2018 bookcompscipdfprogramming Programming (General)Programming Languages / CS Theory Culture / Philosophy / History / Reading thread

Type Theory and Functional Programming (1999) (cs.kent.ac.uk)

L 6 pts 2 comments by nickpsecurity Aug 6, 2018 bookformalmethodspdfprogramming Programming (General)Programming Languages / CS Theory Culture / Philosophy / History / Reading thread

The Art of Unix Programming, reformatted (arp242.net)

L 29 pts 13 comments by inactive-user Jan 15, 2019 bookprogrammingunix Systems / Low-Level / OS Programming (General)Culture / Philosophy / History / Reading thread

When 80 famous writers published their first (and last) books. OR: who has had the longest career. (lithub.com)

~ 4 pts 0 comments by unknown Mar 22, 2019 ~books Culture / Philosophy / History / Reading thread

Authors’ Edition of Elements of Programming (mcjones.org)

L 13 pts 4 comments by jlarocco Jul 2, 2019 bookc++programming Systems / Low-Level / OS Programming (General)Culture / Philosophy / History / Reading thread

Structured Programming (1972) (seriouscomputerist.atariverse.com)

L 5 pts 1 comments by calvin Nov 19, 2019 bookhistoricalpdfprogramming Programming (General)Culture / Philosophy / History / Reading thread

The 25 most recommended programming books of all-time (daolf.com)

L 26 pts 10 comments by prepend Feb 27, 2020 bookformalmethodsprogramming Programming (General)Programming Languages / CS Theory Culture / Philosophy / History / Reading thread

Graphics Programming Black Book (drdobbs.com)

L 7 pts 0 comments by ethoh Apr 29, 2020 assemblybookgraphicsprogramming Systems / Low-Level / OS Programming (General)Culture / Philosophy / History / Reading thread

Angrave's Crowd-Sourced System Programming Book used at UIUC (github.com)

L 5 pts 0 comments by xfbs May 9, 2020 bookprogramming Programming (General)Culture / Philosophy / History / Reading thread