My first blog post for Antithesis is now up! It's called Why Antithesis and is a 2000 word overview on the relative merits of Deterministic Simulation Testing as compared to Formal Methods (tldr there's an essential tradeoff between input coverage and code fidelity). Check it out!

Also: last year I did a charity drive for the Greater Chicago Food Depository. It was successful enough that I want to run it again! From now until the end of the month, you can get Logic for Programmers at half price with the coupon feedchicago2026. All royalties from that coupon will go to the Greater Chicago Food Depository. This is only the pdf for now because I have no idea how to make Amazon coupons yet. Thank you!