Logic for Programmers now in early access!
I am delighted to announce that Logic for Programmers is now available for purchase! While still in early access, it's almost 20,000 words, has 30 exercises, and covers a wide variety of logic applications:
- Property testing
- Functional correctness and contracts
- Formal verification
- Decision tables
- Database constraints
- Data modeling and alloy
- Constraint solving
- Logic programming
I want to emphasize the book is early access; meaning it's not close to done yet. I'm releasing it now so I can get feedback from readers and use that to decide what I write next. But I'm only willing to release it because I think, even in its current state, it's worth reading. I'm just promising it'll be even better in a few months.
What's next
I think exercise solutions are broken on epub, so step one is getting that fixed.
After that, I'm taking a short break. I put basically all of June into working on this and need to get back to blogging and client acquisition. Plus I need a bit of time to gather reader feedback.
I'm thinking of new major releases being either every two weeks or every month or so. I'll upload new versions of the book between releases and then send a Leanpub publication announcement when we hit the next milestone.
PS
There's a free book coupon on the Patreon. Enough people have joined that I feel obligated to start posting more original content there why does this keep happening to me
If you're reading this on the web, you can subscribe here. Updates are once a week. My main website is here.
My new book, Logic for Programmers, is now in early access! Get it here.