Logic for Programmers

Description

Welcome to the Leanpub Launch video for Logic for Programmers https://leanpub.com/logic by Hillel Wayne! 0:00 Hillel Wayne introduces himself as a formal methods consultant based in Chicago 0:47 The long development history of Logic for Programmers on Leanpub since 2021–2022 1:34 Creating a physical print edition of the book via Amazon Kindle Direct Publishing 2:21 How formal methods can prove code correct for all inputs and outputs 3:10 Broader applications of logic: property testing, design by contract, and database queries 3:55 Who actually uses formal methods today: Microsoft, Amazon, Facebook, NASA 4:41 What day-to-day formal methods work looks like, from whiteboards to tools like TLA+ and Alloy 6:14 The four core logic concepts the book builds on beyond basic Booleans 7:48 Hiring copy editors, a technical editor, and a graphic designer to match traditional publishing quality 8:34 Recruiting per-chapter domain experts to vet each field covered in the book About the Book Logic isn’t just for mathematicians and detectives! It’s also a great addition to any programmer's toolkit. Building on the foundation of Booleans and sets, this book will teach you how to: Simplify complex conditionals and database queries Write tests that cover a hundred cases instead of just one Find gaps and contradictions in requirements docs Evolve APIs in a guaranteed backwards-compatible way Test a design as easily and thoroughly as you test code Pack more clothes in a smaller suitcase And more! With over 50 exercises, 20 sample programs, and accompanying online content, Logic for Programmers serves as a friendly introduction to logic and its applications for the working software developer. No math background required! The book also has a full website and a print version available on Amazon. About the Author Hillel is a software engineer specializing in formal methods, distributed systems, and software history. He is the author of Practical TLA+ and the Crossover Project. He has done formal verification and training for clients like NASA, Meta, Giesecke+Devrient, McKinsey, Siemens, and Western Digital. In his free time, he juggles and makes chocolate. He has a blog at hillelwayne.com and a newsletter at https://buttondown.email/hillelwayne/. Thank you for watching, please like and leave a comment, we'd love to hear from you! Please Subscribe and Follow! YouTube: https://www.youtube.com/leanpub X: https://x.com/leanpub Instagram: https://www.instagram.com/leanpub Facebook: https://www.facebook.com/leanpub Create Your Own Leanpub Book! You can create your own book anytime here: https://leanpub.com/create/book Here's the tutorial showing how to write and publish a Leanpub book in your browser (it's free!): http://help.leanpub.com/en/articles/2932527-getting-started-writing-a-book-in-the-web-browser-writing-mode If you're a Leanpub author and you'd like to submit your own Launch video for us to publish, or if you'd like to record a Launch video with Len, please go here: https://leanpub.com/launch. #books #leanpublishing #selfpublishing #leanpub #writing #softwareengineering #automatedsoftwaretesting #mathematics #FormalMethods #LogicForProgrammers #PropertyTesting #TLAPlus #SoftwareVerification