[est]

The HotPy listed by OP is done by Mark Shannon, the same person of today's proposed 5x speedup

Also, some relevant old post:

https://news.ycombinator.com/item?id=17107047