I really enjoyed this, and following the link to the Antithesis talk was really interesting as well [0] as it goes in to some of the pitfalls of random testing and some of the properties that you'd like out of a good test system. This is a field I'm really interested in but it seems hard to grasp.

[0] https://antithesis.com/blog/sdtalk/