Leanpub Header

Skip to main content
Leanpub Launch Videos Cover Art

Leanpub Launch Videos

Authors launch their books on the Leanpub YouTube channel.

About

Every Leanpub Book Launch video celebrates a newly published book. Watch the launch announcements and discover your next read — straight from the authors.

Watch

Extreme Reliability

Jules May

Description

Welcome to the Leanpub Launch video for Extreme Reliability: Programming like your life depends on it https://leanpub.com/extremereliability by Jules May! 0:00 Jules May introduces himself, his aviation background, and the premise of Extreme Reliability 0:46 Why avionics-grade reliability is achievable in mainstream software and pays off economically 1:32 How safety-critical techniques can be brought into commercial programming 2:18 The worst project Jules worked on: 3.5 million lines, 4,500 bugs, and 300 years to fix them 3:50 Discovery that most bugs came from a tiny number of repeating anti-patterns—often introduced during debugging 5:21 Accepted best practices as sources of toxicity: exceptions as a 50-year-old known anti-pattern 7:41 The Boeing 737 MAX crashes: why the cause was not a software defect but sensor maintenance and pilot training 11:34 Why software must be grounded in domain knowledge—the UK Post Office Horizon disaster as a case study 13:06 The principle that knowing your domain is more valuable than knowing how to program 13:52 The business case for reliability: if real money depends on it, you must listen to people who know how to build trustworthy software About the Book Amid the chaos of real-world software development, programmers often express regret for the mess they’ve made, and hope for a better world. After half a century of developing software, we all agree about the principles that good development practice should follow. And yet our code is still a mess. Surely, software can be developed better than this? We just accept that software is inherently flawed, that all software contains bugs like original sin, and we design our processes around that. But what if it were possible to write software correctly? What if we could create bug-free, maintainable code? And what if it were cheaper, faster and easier to write correct code than to write the buggy variety? What then? It turns out that it is possible to write code that behaves perfectly, all the time. In fact, perfectly-behaving code is not uncommon – we have been entrusting our lives to it for decades. What do they do, these perfect programmers, that the rest of us don’t? What research backs up their practices? Can we all do what they do? The message in this book is: yes, there really are techniques and methodologies which will deliver perfectly-functioning software at industrial scale. Tucked away in unregarded corners of our industry, there are developers turning out high-quality software in a scalable fashion. Presented here is: this is how other great programmers have understood (and solved) their reliability problems, and this is what we can learn from them. This book is for developers and technical leads who want to eliminate not just 95% of their bugs, but all of them. For developers who want to delver flawless software, faster. About the Author Jules is a freelance consultant specialising in safety-critical systems, mathematical software, and compilers and languages. He has been writing, teaching and speaking for 25 years, and conducts frequent lectures and workshops. He is the author of Extreme Reliability: Programming like your life depends on it, and is the originator of Problem Space Analysis. Author website at julesmay.co.uk Follow the author here! https://x.com/julescmay 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!): https://help.leanpub.com/en/articles/2932527-getting-started-writing-a-book-in-leanpub-s-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 #resiliency #softwarereliability #safetycritical #bugfreecode #softwarequality #extremeprogramming