the PyPy "known bits" JIT optimization (via Corbin) — discussion
#compilers #formalmethods #performance #python
