New TLA+ Workshop, New PBT Essay
Thanks to everyone who came out for the "Are We Really Engineers" talk yesterday! I suspect they'll be putting the recording up here at some point, but if not there I'll let you know the link as soon as it's available.
New Workshop
Some people were asking for a remote TLA+ workshop, and I'm happy to say that it's now available! It will be from July 27-29 10 AM to 6 PM CST, for a total of 24 hours of instruction. You can get a $600 discount by using the code [redacted]. Sign up here!
New Essay
About a month ago I chatted with some of the developers of Hypothesis about ideas on how to make property-based testing more accessible. This lead to me writing a guide on how to generate complex inputs for property based testing, things like "data satisfying preconditions" or "multiple objects that all contain references to each other". While it's written for a Hypothesis and Python audience it should still be useful for people using PBT in general. Check it out here!
If you're reading this on the web, you can subscribe here. Updates are once a week. My main website is here.
My new book, Logic for Programmers, is now in early access! Get it here.