# Logic for Programmers New Release and Next Steps

DevFeed: [Logic for Programmers New Release and Next Steps](<https://devfeed.tech/articles/logic-for-programmers-new-release-and-next-steps-25492.md>)

Original publisher: [Read original article](<https://buttondown.com/hillelwayne/archive/logic-for-programmers-new-release-and-next-steps/>)

Author: Hillel Wayne

Published: 2026-02-04T14:00:00Z

Content type: release

Language: en

Sources: [Newsletter feed for Hillel Wayne's Newsletter](<https://devfeed.tech/sources/newsletter-feed-for-hillel-wayne-s-newsletter.md>)

Topics: [Release notes](<https://devfeed.tech/topics/release-notes.md>), [releases](<https://devfeed.tech/topics/releases.md>), [Programming](<https://devfeed.tech/topics/programming.md>)

Tags: [book](<https://devfeed.tech/tags/book.md>), [programming](<https://devfeed.tech/tags/programming.md>), [release](<https://devfeed.tech/tags/release.md>), [release-notes](<https://devfeed.tech/tags/release-notes.md>)

## AI overview

The article announces Logic for Programmers v0.13, a release exceeding 50,000 words and described as 20% larger than v0.12. It outlines rewritten chapters, a shift in the Alloy chapter toward domain modeling, expanded coverage of compatibility, testing, proofs, and answer set programming, and plans for copy editing, technical review, proofreading, and layout work.

## Source excerpt

It's taken four months, but the next release of Logic for Programmers is now available! v0.13 is over 50,000 words, making it both 20% larger than v0.12 and officially the longest thing I have ever written.1 Full release notes are here, but I'll talk a bit about the biggest changes. For one, every chapter has been rewritten. Every single one. They span from relatively minor changes to complete chapter rewrites. After some rough git diffing, I think I deleted about 11,000 words?2 The biggest change is probably to the Alloy chapter. After many sleepless nights, I realized the right approach wasn't to teach Alloy as a data modeling tool but to teach it as a domain modeling tool. Which technically means the book no longer covers data modeling. There's also a lot more connections between the chapters. The introductory math chapter, for example, foreshadows how each bit of math will be used in the future techniques. I also put more emphasis on the general "themes" like the expressiveness-guarantees tradeoff (working title). One theme I'm really excited about is compatibility (extremely working title). It turns out that the Liskov substitution principle/subtyping in general, database migrations, backwards-compatible API changes, and specification refinement all follow basically the same general principles. I'm calling this "compatibility" for now but prolly need a better name. Finally, there's just a lot more new topics in the various chapters. Testing properly covers structural and metamorphic properties. Proofs covers proof by induction and proving recursive functions (in an exercise). Logic Programming now finally has a section on answer set programming. You get the picture. Next Steps There's a lot I still want to add to the book: proper data modeling, data structures, type theory, model-based testing, etc. But I've added new material for two year, and if I keep going it will never get done. So with this release, all the content is in! Just like all the content was in