test-check

2017-08-30T21:22:34.000417Z

I just realized you could parallelize the shrinking process using something like a branch predictor

2017-08-30T21:25:25.000363Z

but it could be more complex than a traditional branch predictor since you can execute multiple possibilities in parallel

2017-08-30T21:31:19.000004Z

the search strategies used in chess programs seem a bit related too, though maybe not helpfully