I will second this. There was a long period where PyPy was very slow, and he was quite assured in his vision that it would one day be fast, just give him some time. Years later -- I had lost some hope, I'll admit -- promise delivered.
Whether it is psyco (the specializing JIT for Python) or greenlet (the relatively crazy stack-copying coroutine library that is one of the underlying assets of gevent) or PyPy, every project he has undertaken has been drawn out *and* successful.
Maybe this one won't be. But if anyone has the smarts and the grit to make STM practical, it is Armin.