Blackburn, de Rijke, Venema: Modal Logic
https://www.cambridge.org/core/books/modal-logic/F7CDB0A2650...
Ask HN: What are the best textbooks in your field of expertise?
111–120 of 281 posts
Re: Ask HN: What are the best textbooks in your field of expertise?
#112Formal verification:
Principles of model checking (Baier, Katoen)
It covers the basics of modeling and verifying concurrent systems against linear-time and branching-time properties. It also mentions timed automata, but those more interested in verifying real-time systems should probably check out another good introductory textbook:
Reactive Systems (Aceto, Ingólfsdóttir, Larsen, Srba)
Re: Ask HN: What are the best textbooks in your field of expertise?
#113In functional programming: [0] The Structure and Interpretation of Computer Programs [1] The_Little_Schemer [2] Programming in Haskell - Graham Hutton [3] Types and Programming Languages-Benjamin C. Pierce --- PDFS [0]( https://github.com/allenleein/brains/blob/master/Zen-of-Func... ) [1]( https://github.com/allenleein/brains/blob/master/Zen-of-Func... ) [2]( https://github.com/allenleein/brains/blob/master/Zen-of-Fu…
I would add Concepts, Techniques, and Models of Computer Programming. It's about programming paradigms in general, and helps in contextualizing functional programming in a broader context
Re: Ask HN: What are the best textbooks in your field of expertise?
#114In machine learning, hands down these are some of the best related textbooks: - [0] Pattern Recognition and Machine Learning (Information Science and Statistics) and also: - [1] The Elements of Statistical Learning - [2] Reinforcement Learning: An Introduction by Barto and Sutton - [3] The Deep Learning by Aaron Courville, Ian Goodfellow, and Yoshua Bengio - [4] Neural Network Methods for Natural Language Processing…
+1 for Elements. I started with Introduction to Statistical Learning and then graduated to Elements as I learned more and grew more confident. Those are fantastic books.
Could you elaborate how you switched to Elements? I am curious if it makes sense for one to go through both books in sequence.
Re: Ask HN: What are the best textbooks in your field of expertise?
#115In cultural anthropology: Small Places, Large Issues by Thomas Eriksen. It’s impressive how comprehensive, to the point and organized it is. CA is a tough discipline to understand in my experience; the endless nuance and relativism is hard to hold in your mind and not get lost in ‘vagueness’. This is a great read to understand the field a lot better. It’s used in introductory classes at least all over Europe.
Marveled to stumble upon a fellow cultural anthropologist over here :)
HN is an amazing platform...
Just wondering how an anthropologist end up in the AI field...?
Re: Ask HN: What are the best textbooks in your field of expertise?
#116In econometrics / empirical social science: - Mostly Harmless Econometrics by Joshua Angrist and Jorn Steffan Piscke - Causal Inference for Statistics, Social, and Biomedical Sciences by Guido Imbens and Donald Rubin - Data Analysis using Regression and Multilevel Models by Andrew Gelman and Jennifer Hill
You will benefit from reading Pearl/Glymour/Jewell: Causal Inference in Statistics. A Primer
(The contrast to Imbens and Rubin is crazy)
Re: Ask HN: What are the best textbooks in your field of expertise?
#117Can anyone recommend a book that you would use as the guide for building a new software project from scratch? Like something that would provide good overall structural approach and best practices. The goal would be to end with as least amount of tech debt and codebase flexible enough to stand the test of time?
After probably more than 10 years postponing to find what HTDP (how to design programs) is all about I'm now convinced that everyone should go through that book (or an online course) and apply the newly found knowledge in real life.
See the edx links in one of the threads above. Take the course; Actually DO what Gregor repeatedly says in videos and you'll find what you missed.
Re: Ask HN: What are the best textbooks in your field of expertise?
#118Putting my mostly-retired audio engineer hat back on for a minute... The Yamaha Sound Reinforcement Handbook https://www.amazon.com/Sound-Reinforcement-Handbook-Gary-Dav... This is basically the soundman's bible. Sold for an aspiring live sound engineer, has much more than just advice for live sound guys - covering everything from microphones to acoustics to basic electronics to handy rules of thumb to MIDI, all writ…
Does it touch on mixing / mastering at all? I have a suspicion that some of my friends will be looking to me to put together some demos in the near future, so I'd be very interested in some beginner/intermediate knowledge around that.
Mixing Secrets for the Small Studio by Mike Senior is what you are looking for.
Re: Ask HN: What are the best textbooks in your field of expertise?
#119Can anyone recommend a book that you would use as the guide for building a new software project from scratch? Like something that would provide good overall structural approach and best practices. The goal would be to end with as least amount of tech debt and codebase flexible enough to stand the test of time?
Depends, what kind of application are you trying to build? What programming language?
I wrote my book Professional PHP [0] as a guide like that, but of course it's heavily skewed towards building a PHP webapp (even though most of it is also applicable to other OOP languages).
But to be honest, I wouldn't try to narrow it down to a single book. Start with the classics like clean code, code complete 2, pragmatic programmer and then work yourself towards effective java, implementing domain driven design etc. I have a list of my recommendations published here [1].
Re: Ask HN: What are the best textbooks in your field of expertise?
#120For you budding industrial designers; The Design of Everyday Things - Don Norman Ways of Seeing - Jon Berger Principles of Form and Design - Wucius Wong Design Thinking: Understanding How Designers Think and Work - Nigel Cross
I'm currently reading Don Norman's book and I'd like to add that to me it seems to be a very worthwhile read for everyone who designs things that are used by humans. And by that, I explicitly also mean GUIs, APIs, IDEs, programming languages & DSLs... The book is very focused on what makes good design good , and only provides examples as illustrations. It's really more about applied psychology than design per se (in…
I couldn't agree more re: Norman's book. I wish it had been recommended to me as a linguistics undergrad. He provides such a clear explanation as to how design is a way of solving communication problems over making things look good.
I also run into "Norman doors" at least once a week and always smile when I remember the term.