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 on Oct 21, 2019 | hide | past | favorite | 8 comments

Little Book of 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.


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 | Lists | API | Security | Legal | Apply to YC | Contact