This is a screencast series I'm currently in the process of recording.
The goal is to illuminate how PBT libraries are written, and to share the idea of integrated shrinking (which is not as well known as perhaps it would deserve to be).
It builds on ideas from David R MacIver's Hypothesis library, or more specifically from Minithesis which shows off the core idea, without all the bells and whistles that a production-ready library needs to add.
The language I'm writing this in is Elm -- forcing the algorithm to be pure, without mutation or other side effects (which are present in the Hypothesis / Minithesis libraries). So, rewriting the idea from Python to Elm was a bit tricky, but rewriting it from Elm to anything else should be much easier.
I'm also coming to grips with DaVinci Resolve during this project, so while the production quality might not be awesome in the first two videos currently released, I want to improve that over time. (Add title music, perhaps invest in a small recording isolation shield to get rid of the echo, etc.)
1 comment
[ 2.6 ms ] story [ 10.4 ms ] threadThis is a screencast series I'm currently in the process of recording.
The goal is to illuminate how PBT libraries are written, and to share the idea of integrated shrinking (which is not as well known as perhaps it would deserve to be).
It builds on ideas from David R MacIver's Hypothesis library, or more specifically from Minithesis which shows off the core idea, without all the bells and whistles that a production-ready library needs to add.
The language I'm writing this in is Elm -- forcing the algorithm to be pure, without mutation or other side effects (which are present in the Hypothesis / Minithesis libraries). So, rewriting the idea from Python to Elm was a bit tricky, but rewriting it from Elm to anything else should be much easier.
I'm also coming to grips with DaVinci Resolve during this project, so while the production quality might not be awesome in the first two videos currently released, I want to improve that over time. (Add title music, perhaps invest in a small recording isolation shield to get rid of the echo, etc.)
I'll be very glad for any feedback!