Fork me on GitHub
#test-check
<
2017-08-30
>
gfredericks21:08:34

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

gfredericks21:08:25

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

gfredericks21:08:19

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