Mining JIT traces for missing optimizations with Z3 (pypy.org)
Optimization, Programming, Software, Compiler Optimization, JIT
125 points by matt_d 124 days ago | 42 comments