Click the title to go to the post. We replicate the STOKE paper in haskell, to implement a superoptimiser based on MCMC methods.