Scaling up Superoptimization [pdf] | Hacker News Reader