https://www.hillelwayne.com/tags/logic-for-programmers/ Recent content in Logic for Programmers on Hillel Wayne Hugo -- gohugo.io en-us Tue, 01 Sep 2026 00:00:00 +0000 https://www.hillelwayne.com/post/predicate-logic/ Tue, 01 Sep 2026 00:00:00 +0000 https://www.hillelwayne.com/post/predicate-logic/ I started writing Logic for Programmers because there weren’t any good resources on logic for, uh, programmers. Now that the book’s out, the new problem is that there aren’t any good free resources on logic for programmers. So, to solve that problem (and maybe hype the book a little), I converted the second chapter of LfP into a blog post. All footnotes are editorial comments not present in the book. https://www.hillelwayne.com/post/lfp/ Wed, 29 Jul 2026 00:00:00 +0000 https://www.hillelwayne.com/post/lfp/ I am delighted to announce that my book, Logic for Programmers, is now available! You can check out the release site here or go directly to buy the ebook or print versions. If you bought any of the early access versions, you can get the 1.0 for free from leanpub. This has been a long time in the making. Formal logic is an incredibly powerful tool to understand software. Everything from “what’s a left outer join” to “why shouldn’t Square inherit from Rect” makes more sense if you know just the basics of logic.