Pragmatic Type-Level Design
Alexander Granin
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.
Featured Leanpub Book
CISSP: The Last Mile
Your guide to the finish line
The book covers every topic in the latest CISSP exam syllabus, organized in a format that makes it easy to drill down on specific exam domains and concepts at-a-glance, making it an essential exam resource for anyone who aims to prepare for the exam without wasting time or money.
Learn MoreThe book covers every topic in the latest CISSP exam syllabus, organized in a format that makes it easy to drill down on specific exam domains and concepts at-a-glance, making it an essential exam resource for anyone who aims to prepare for the exam without wasting time or money.
Learn MoreLeanpub: Publish Early, Publish Often
Imagine a world where authors can earn money writing books...
You can use Leanpub to write, publish and sell an ebook or online course.
We pay 80% royalties on purchases of $7.99 or more, and 80% royalties minus a 50 cent flat fee on purchases between $0.99 and $7.98. You earn $8 on a $10 sale, and $16 on a $20 sale. So, if we sell 5000 non-refunded copies of your book for $20, you'll earn $80,000.
Authors have earned$14,071,634writing, publishing and selling on Leanpub.
You can either write your book in Markdown or you can upload PDF or EPUB files to sell in our store.
If you are writing in Markdown, you can use our simple in-browser text editor, or you can write on your computer and sync with GitHub or Dropbox. Either way, you can publish your Leanpub ebook with one click. You can publish your book while you're writing it, or wait until it is done: it's up to you.
You can create a Leanpub course in Markdown as well. Leanpub courses are like Leanpub books, but with quizzes and exercises that learners complete on the Leanpub website to earn a certificate of completion. To learn more about how to create a Leanpub course, you can watch this video on YouTube which shows the entire process from signup to publish!
The Shelf
Featured Frontmatter Podcast Interview
Special Guest Josh Bernoff, Author of The Business Book ROI Study
Special Guest Josh Bernoff - Josh is a business book expert and author of the Business Book ROI Study. In this episode of the Frontmatter podcast Len and Josh discuss Josh’s background, career, and insights from his comprehensive study of business authors. The study reveals key motivations and returns for writing business books, including credibility and revenue. They also explore the challenges of AI in publishing, the value of social media for authors, and the evolving role of hybrid publishing.
Special Guest Josh Bernoff - Josh is a business book expert and author of the Business Book ROI Study. In this episode of the Frontmatter podcast Len and Josh discuss Josh’s background, career, and insights from his comprehensive study of business authors. The study reveals key motivations and returns for writing business books, including credibility and revenue. They also explore the challenges of AI in publishing, the value of social media for authors, and the evolving role of hybrid publishing.
Top Books
- #1
- #2
Understanding Eventsourcing
Martin DilgerThe first book to combine Eventmodeling & Eventsourcing to plan software systems of any size and complexity.
- #3
Residues: Time, Change, and Uncertainty in Software Architecture.
Barry M O’ReillyResiduality Theory is a new way to think about the design of software systems that explains why we experience design the way we do, why certain things seem to work only sporadically, and why certain architects get it right so often regardless of which tools they use. A new, scientific approach is defined that fuses Software Engineering, Complexity Science, and Philosophy to produce an entirely new way to think about how to design software. The result is a theoretical base that allows architecture to finally become its own discipline.
- #4
Logic for Programmers
Hillel WayneLogic, "the arithmetic of booleans", is the most important branch of math to software engineering. Knowing logic opens up a vast world of development techniques, from everyday tricks of the trade to exotic tools for cracking impossible tasks.
This book teaches the basics of logic and nine special logic-powered techniques: property testing, decision tables, constraint solving, and more. Over 40 exercises are provided to help readers master the material. No prior math background required!
- #5
Patterns of Application Development Using AI
Obie FernandezUnlock the power of AI in your applications with this groundbreaking book on AI-driven application architecture. Discover practical patterns and principles for building intelligent, adaptive, and user-centric software systems that harness the potential of large language models and AI components.
- #6
Building Large Scale Web Apps
Addy Osmani and Hassan DjirdehIn this book, you'll uncover strategies that industry professionals use to build scalable, performant, and maintainable React applications, all without becoming overwhelmed by complexity.
- #7
Mastering STM32 - Second Edition
Carmine NovielloWith more than 1200 microcontrollers, STM32 is probably the most complete ARM Cortex-M platform on the market. This book aims to be the most complete guide around introducing the reader to this exciting MCU portfolio from ST Microelectronics and its official CubeHAL and STM32CubeIDE development environment.
- #8
Build Your Own Database in Go From Scratch
build-your-own.orgLearn databases from the bottom up by coding your own, in small steps, and with simple Go code (language agnostic).
- Atomicity & durability. A DB is more than files!
- Persist data with
fsync. - Crash recovery.
- KV store based on B-tree.
- Disk-based data structures.
- Space management with a free list.
- Relational DB on top of KV.
- Learn how tables and indexes are related to B-trees.
- SQL-like query language; parser & interpreter.
- Concurrent transactions with copy-on-write data structures.
- #9
The C4 model for visualising software architecture
Simon BrownA guide to visualising your software architecture with the C4 model.
- #10
The Rails 8 Way
Tom Henrik Aadland, Obie Fernandez, and Lucas DohmenThe Rails™ 8 Way is the comprehensive, authoritative reference guide for professionals delivering production-quality code using modern Ruby on Rails. It illuminates the entire Rails 8 API, its most powerful idioms, design approaches, and libraries. Building on the previous editions, this edition has been heavily refactored and updated.
Featured Bundle
Build Your Own X: Redis, Database, Compiler
3 Books from the "Build Your Own X" series:Build Your Own Redis with C/C++Build Your Own Database From ScratchFrom Source Code To Machine Code
Learn More3 Books from the "Build Your Own X" series:Build Your Own Redis with C/C++Build Your Own Database From ScratchFrom Source Code To Machine Code
Learn MoreTop Bundles
- #1
Linux Debugging
3 Books
This comprehensive training for software developers, site reliability and performance engineers teaches postmortem, live local and remote debugging techniques and features:debuggers and tools: WinDbg, GDB, LLDB, crash, rr, KDB, KGDBx64 and AArch643 training courses85 hands-on exercises300 slides with comments1,200 pages of training books - #2
Software Architecture
2 Books
"Software Architecture for Developers" is a practical and pragmatic guide to modern, lightweight software architecture, specifically aimed at developers. You'll learn:The essence of software architecture.Why the software architecture role should include coding, coaching and collaboration.The things that you really need to think about before... - #3
CCIE Service Provider Ultimate Study Bundle
2 Books
Piotr Jablonski, Lukasz Bromirski, and Nick Russo have joined forces to deliver the only CCIE Service Provider training resource you'll ever need. This bundle contains a detailed and challenging collection of workbook labs, plus an extensively detailed technical reference guide. All of us have earned the CCIE Service Provider certification... - #8
The 'Everything EA' bundle
39 Books
The ‘Everything EA’ bundle: A comprehensive library of articles about enterprise architecture to help you navigate your way through change. Want to know more about enterprise architecture, and how to use it to create real value in business and beyond? This huge curated collection of articles will help you to explore key concepts, methods, tools...
Featured Course
Top Courses
![Learn Python the Practical Way [Coding Interview Exercises]](https://dclrlzd4gl55u.cloudfront.net/980/s_list?1621305126)
Featured Track
The following 7 courses are included in this track...
Machine Learning Made Simple, The Smartest Way to Learn Python Regex, Learn Python the Practical Way [Coding Interview Exercises], Python Exercises Collection, The Complete Guide to PyCharm, Your Python One-Liner Superpower, Python Lambdas Deep Dive
Top Tracks
Leanpub: Publish Early, Publish Often
On Leanpub, you can publish your book while you write it, and earn 80% royalties.
We call this Lean Publishing, and it's why Leanpub exists. Lean Publishing is the act of publishing an in-progress book using lightweight tools and many iterations to get reader feedback, pivot until you have the right book and build traction once you do. You can learn more about Lean Publishing in The Lean Publishing Manifesto, or watch the Tools of Change conference talk about it. There's even a book about these ideas, which still guide us today.
Leanpub is a magical typewriter for authors: just write in plain text, and to preview or publish your ebook, just click a button. On Leanpub, you can write in Markdown and generate your ebook with one click. (Markdown is really easy: everything you need to know is in the template we set up for you when you create a new book.)
Now, if you have completed a book already or if you have a writing workflow you prefer, you can also just upload your own PDF or EPUB files and click a button to publish them.
Whether you're writing in Markdown or uploading PDF and EPUB files, Leanpub is the best place to write, publish and sell in-progress and completed ebooks, with coupons, variable pricing, bundles and more. Besides how easy we make everything and the excellent support we provide, the other reason authors love Leanpub is our 80% royalty rate.
We pay 80% royalties on purchases of $7.99 or more, and 80% royalties minus a 50 cent flat fee on purchases between $0.99 and $7.98.
You earn $8 on a $10 sale, and $16 on a $20 sale.
So, if we sell 5000 copies of your book for $20, you'll earn $80,000. Yes, some authors have already earned much more than that on Leanpub. In fact, authors have earned over $14 million USD writing, publishing and selling on Leanpub.
Finally, Leanpub also supports publishing online courses, using the same Lean Publishing approach and Markdown-based workflow that we use for ebooks, and paying the same 80% royalties! To learn more, just create a course: the new course will contain a template which shows you how to get started.
Leanpub Promotes Authors
Leanpub does a lot to promote authors and their books. We constantly promote books on social media, especially new releases and bestsellers. We create short videos to help promote selected new books, and you can apply to have us record and produce a book launch video with you - for free. Leanpub co-founder Len Epp also records in-depth long-form interviews with select authors for our Frontmatter podcast, and we provide you with a range of marketing tools, from custom coupons to affordably-priced sponsored spots in our Weekly and Monthly newsletter sales.
Reader Memberships
Leanpub reader memberships support Leanpub authors and Leanpub!
Leanpub is a platform where authors self-publish ebooks and online courses. We're a bootstrapped startup, and we launched in 2010.
Leanpub Reader Memberships are a great deal. They give you you free access to about 2000 books on Leanpub that are only free with membership. This includes hundreds of books about computer programming, data science, software architecture and more!
Besides being a great deal, Reader Memberships support Leanpub authors! Specifically, 50% of the money from Reader Memberships is paid as royalties to Leanpub authors.
The Leanpub 60 Day 100% Happiness Guarantee
Within 60 days of purchase you can get a 100% refund on any Leanpub purchase, in two clicks.
Now, this is technically risky for us, since you'll have the book or course files either way. But we're so confident in our products and services, and in our authors and readers, that we're happy to offer a full money back guarantee for everything we sell.
You can only find out how good something is by trying it, and because of our 100% money back guarantee there's literally no risk to do so!
So, there's no reason not to click the Add to Cart button, is there?
See full terms...
Earn $8 on a $10 Purchase, and $16 on a $20 Purchase
We pay 80% royalties on purchases of $7.99 or more, and 80% royalties minus a 50 cent flat fee on purchases between $0.99 and $7.98. You earn $8 on a $10 sale, and $16 on a $20 sale. So, if we sell 5000 non-refunded copies of your book for $20, you'll earn $80,000.
(Yes, some authors have already earned much more than that on Leanpub.)
In fact, authors have earnedover $14 millionwriting, publishing and selling on Leanpub.
Learn more about writing on Leanpub
Free Updates. DRM Free.
If you buy a Leanpub book, you get free updates for as long as the author updates the book! Many authors use Leanpub to publish their books in-progress, while they are writing them. All readers get free updates, regardless of when they bought the book or how much they paid (including free).
Most Leanpub books are available in PDF (for computers) and EPUB (for phones, tablets and Kindle). The formats that a book includes are shown at the top right corner of this page.
Finally, Leanpub books don't have any DRM copy-protection nonsense, so you can easily read them on any supported device.
Learn more about Leanpub's ebook formats and where to read them
