Between travel obligations and this last heads-down-gotta-get-the-book-done stretch I haven't had time to write any newsletters or even look at social media.

The good news is that Logic for Programmers should be done and available in print hopefully in the next couple of weeks. Here's all of the printed proofs I've made so far:

And here's what the current proof looks like on the inside:

Looking good, if I say so myself!

On top of all that, I have two conference appearances coming up:

• Software Should Work this Thursday! This'll be my formal methods talk.
• Systems Distributed July 27. This'll be a new Logic for Programmers talk I'm still developing.

So there probably won't be another newsletter in July, except to announce the book (if it's done).