Program Synthesis by Simulated Annealing With Thompson Sampling

In which we take the inverse of a compiler