8,113 followers
@porglezomp @Hillelogram And if we wanted to join all these dots there's things like https://t.co/vrK95Ylbe5 which use refinement types and a SAT solver to do random testing (again not coverage guided though), but this really is getting a bit far afield.