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.
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!
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!