Hacker News new | past | comments | ask | show | jobs | submit login
Green Tea Press: Free Books by Allen B. Downey (greenteapress.com)
83 points by mxschumacher 21 days ago | hide | past | web | favorite | 8 comments



Little Book of Semaphores

https://greenteapress.com/wp/semaphores/

while not on the front page is a really good book that you should read if you are interested in multithreaded programming. It has a bunch of interesting puzzles and solutions. Even if you don't use semaphores, these exercises will be useful in increasing your understanding.


It's listed in the Operating Systems section, you'll find it if you scroll down a bit


Think Python, Think Complexity, and Think Statistics are all really excellent. Downey is an artist of CS pedagogy.



Just few hours ago, while driving, I was driving and thinking of one of the books - Little Book of Semaphores. I need to go through some the algorithms and try to formally verify them in COQ, since I'm learning how to do formal proves.


Any of these worth diving into?


there's many HN articles from this domain. check out feedback there.

https://news.ycombinator.com/from?site=greenteapress.com


I've been going through the Signal Processing one[1] and I have found it valuable so far. Take that FWIW.

[1]: https://greenteapress.com/wp/think-dsp/




Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | Legal | Apply to YC | Contact

Search: