A book about math, software, and using one to fix the other. Written for the working programmer. No math background required. 227 pages. Ebook includes PDF and EPUB, DRM-free. What’s this book? This is a book about designing, verifying, and reasoning about software better. And it’s about how learning a little bit of logic , the mathematics of Booleans, unlocks all sorts of cool techniques in our field. If you want to get a feel for what it’s like, try reading a sample chapter ! Is this mostly theoretical or does it have practical applications, too? Everything in the book is meant to be practical. Early chapters are on topics like “simplifying conditionals” and “ensuring an API change won’t break clients”. Later chapters are on slightly more esoteric subjects, like “finding race conditions in hypothetical software designs” and “minimizing the wall clock time of a distributed task”. Not everything will be useful to everyone, but I hope everyone finds something useful! Do I need to know math? Nope!…