>Python is never really going to be 'fast' no matter what is done to it because its semantics make most important optimizations impossible, so high performance "python" is actually going to always rely on restricted subsets of the language that don't actually match language's "real" semantics.

Have you heard of Mojo? It is a very performant superset of Python. https://www.modular.com/mojo