Hacker News new | past | comments | ask | show | jobs | submit login

The original article also calls out such praises in the paragraph starting with "The truth is that regrettably little history of computer science, whether dumb or deep, has been written by trained historians".

Let me reiterate one recommendation in particular, Mechanizing Proof, by Donald MacKenzie. This is a superb introduction to the technical subject of formal methods as well as a superb history! My only regret is that it was published in 2001 and a lot happened in the last decade.

http://mitpress.mit.edu/books/mechanizing-proof




Are there any other works like this? ... I just bought it, and I want to learn what has happened since 2001.




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

Search: