http://www.johnjasonfallows.com/2018/01/08/new-top-story-on-hacker-news-jit-fuzzing-solver-experimental-constraint-solver-using-coverage-guided-fuzzing/