§ Blog post: Weekend paper replication of STOKE, the stochastic superoptimizer


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