Pragmatic Type-Level Design
Practical introduction to type-level programming: design principles, design patterns, methodologies, approaches
An approachable, well-written, practice-oriented, academism-free guide into programming with types. How to build useful real-world type-level programs with low complexity and low risks.
An approachable, well-written, practice-oriented, academism-free guide into programming with types. How to build useful real-world type-level programs with low complexity and low risks.
Are you a VP or Head of Engineering considering the best quality engineering model for your company? Are you a director of Engineering tasked with rolling out a Quality Coach Model? Are you a test lead or software tester shifting to a quality coach role? The Quality Coach Handbook is your practical guide to shifting to a model where the whole team owns quality and in particular software engineers design, build, test and support software. Print version: Paperback and hardcover are available on Amazon. Use your country's Amazon site (e.g., Amazon.com.au for Australia) to minimise shipping time and cost.
Modern networks like the Internet — explained as simply as possible — but no simpler.
Master language models through mathematics, illustrations, and code―and build your own from scratch!
Most enterprises can deliver fast, but few can adapt at scale.The Cybernetic Enterprise introduces a unifying operating model that embeds AI, feedback loops, and platform thinking into the DNA of your organization. Learn how to build a system that senses change, learns continuously, and transforms disruption into strategic advantage.
You’ll just need the Five Essential Elements of Learning Through five essential elements, you’ll gain the ability to learn anything deeply—no matter how complex the subject. These five pillars of effective learning will become lifelong tools, guiding you every time you set out to truly master new knowledge and retain it permanently. If you're ready to stop passively consuming information and start truly mastering it, this book is for you.
What is strategy? Why do you need it? How do you do it? And, how can you be more certain to succeed? THE ART OF STRATEGY provides timeless answers to these eternal questions. It is an introduction to strategy through the insights of three strategists: Sun Tzu, John Boyd & Simon Wardley. It is a modern interpretation of Sun Tzu’s The Art of War.
Become a Leanpub author
Leanpub makes it easy to create, publish, and sell ebooks or online courses while earning industry-leading royalties. With 80% royalties on purchases of $7.99 or more (or 80% minus a small $0.50 fee for purchases under $7.99), your work earns what it deserves. For example, a $10 sale brings you $8, and selling 5,000 copies at $20 could mean $80,000 in your pocket!
Leanpub has already paid out $14,961,410.09 to authors. Whether you write in Markdown or upload PDF/EPUB files, Leanpub’s intuitive publishing tools simplify the process. Use our in-browser editor or sync with GitHub or Dropbox and publish your ebook with a single click. Plus, you decide when to release—during the writing process or upon completion.
Learn moreAs an academic, I like Leanpub because it lets me write and get my ideas out there quickly. Leanpub is simply the best place for publishing my books.
It's not 1998 anymore. It's been over 30 years since Linux was first released, and the Linux Desktop has undergone seismic shifts in usability and capability over the years. This book is designed for the modern age and helps you take advantage of all the latest technology available for desktop Linux. Even if you've used Linux before, things have changed a lot in just the last few years. Whether you're worried Windows no longer has your best interests at heart, or you're just plain curious, this guide will help you get up and running while avoiding all of the usual potholes and footguns along the way.
Lead incidents without noise. Clear moves with owner, time, witness, and a smallest test. Print-ready cards included.
THE AI RESCUE: Leveraging AI Agents to Drive Growth Operations shows how engineers and leaders can harness autonomous AI agents to scale customer acquisition, retention, and revenue. Packed with real-world insights and technical strategies, it’s a practical guide to transforming stalled growth into intelligent, data-driven momentum.
Let’s make a confession. This handbook is about me, and, I suspect, about you, your team, and your organization too.I’ve made almost every mistake listed in these pages. I’ve seen them repeated in startups, enterprise systems, and everything in between, while mentoring teams, auditing architectures, or helping companies rediscover what testing is really for. The point isn’t to assign blame. It’s to hold up a mirror. Because the truth is, most of these mistakes are so common, you can probably spot a few right now; in your code, your team, or your last retrospective.When we talk about test failures or mistakes, the first thing that usually comes to mind is developers, missed edge cases, flaky tests, broken pipelines.
What happens when software begins to think for itself? The Rise of AI-Native Software takes you on a journey through the evolution of coding, from human-written logic to AI-generated intelligence. Ayodeji Stephen Saliu reveals how artificial intelligence is transforming development workflows, redefining productivity, and birthing a new generation of “AI-native” applications that learn, adapt, and co-create with humans.Through vivid examples and frameworks, the book uncovers how developers can move beyond automation toward true cognitive collaboration. This is not a story of machines replacing engineers, but of a partnership that amplifies human potential, unleashing creativity, precision, and innovation at scale.
What happens when machines stop merely assisting developers and start thinking with them?Developer Productivity and Cognitive Automation takes you inside the next evolution of software engineering: where AI becomes your co-creator, automation becomes cognitive, and productivity is measured not in lines of code, but in focus, creativity, and flow.Through vivid stories, from high-pressure fintech teams in Lagos to AI-powered engineering squads in the UK, the book unveils how the smartest organizations are redefining “developer productivity” around mental energy, collaboration, and innovation. Whether you’re a coder, team lead, or tech executive, this book shows you how to build systems that amplify human intelligence, not replace it
This course introduces mediation and moderation analysis using R, covering interaction effects, path analysis, SEM, and causal mediation. Gain the skills to test mechanisms, explore context, and interpret complex social relationships.
This course is based on the 2025 edition of the best-selling Kubernetes book, that has been fully updated for the latest versions of Kubernetes and the latest industry trends. You won't find a better and more up-to-date book-based course on Kubernetes. Hand-crafted over the past 8 years by best-selling author Nigel Poulton.
Take your JavaScript skills to next level
Take your C# skills to next level
Take your Python skills to next level
This course is designed for anyone curious about AI, whether you are a student, professional, entrepreneur, or enthusiast. Our goal is to tell the complete story of AI, from its beginnings to today, in a clear, engaging, and comprehensive manner.
Interviews with Leanpub authors and special guests
The Leanpub Podcast
César Antonio López Segura, Author of Neural Networks and Adaptive Control
César Antonio López Segura - In this episode of the Leanpub Podcast, Len Epp interviews César Antonio López Segura, author of Neural Networks and Adaptive Control: An Online Machine Learning Perspective. They discuss his academic and professional journey, control theory, adaptive systems, and his experiences as a writer.
Interpretable ML + Conformal Prediction + Modeling Mindsets
The following 3 books are included in this bundle...
Game Studio Starter Kit (6 Game Collection)
This track includes the following 6 courses...
About the Track: AI Masterclass Artificial Intelligence is reshaping the way we live, work, and build technology. The AI Masterclass Track brings together three powerful courses from world-class experts to give you a comprehensive, practical, and hands-on education in the age of AI. Whether you want to understand the big picture, apply AI...
A topic by topic breakdown of the hardest technical interview questions
This is the complete track to learn about essential Kotlin features and get ready for working in Kotlin in daily basis. It starts from essentials, and on the way reaches advanced topics like efficient collection processing or DSL creation.
Taking this course bundle, you'll learn:SOLID principles (SRP, OCP, ISP, LSP, DIP) in-depthMeta principles: DRY, KISS, YAGNI, SoC, CQS, Law of Demeter, PoLADependency Injection in Depth: IoC or DI containers, best practices, and anti-patternsFunctional Programming in C#: purity and side effects, functional C# features, immutability,...
Taking this bundle, you'll learn:The basics of writing unit testsBest Practices of writing unit testsAPI of NUnitWriting test doublesUsing dependency injection to make code testableA lot of TDD practiceKatas and TDDAcceptance and Integration TestsImplement a WPF app by TDDTDD Best PracticesSpecFlow for writing acceptance testsSelenium:...
Taking this bundle, you'll get a comprehensive set of courses that cover almost the whole surface of the .NET framework.The big topics that are covered:WPFMVVMSpecFlow and SeleniumLINQMultithreading and Parallel ProgrammingC# in Depth: Puzzles and GotchasAlgorithms and Data Structures in C#VS and R#and engineering practices:Unit Testing with...
"Shut up and code." Laughter in the audience. The hacker had just plugged in his notebook and started sharing his screen to present his super-smart Python script. "Shut up and code" The letters written in a white literal coding font on black background was the hackers' home screen background mantra. At the time, I was a first-year computer...
