17 hours ago
- The author has been busy with travel and finishing the book 'Logic for Programmers', leaving no time for newsletters or social media.
- The book is nearly complete and should be available in print within a few weeks; printed proofs have been reviewed and look good.
- Two upcoming conference appearances: 'Software Should Work' (Thursday) with a formal methods talk, and 'Systems Distributed' (July 27) with a new Logic for Programmers talk.
- No more newsletters are expected in July, except possibly to announce the book's release if it finishes.