Frame from How Python was Shaped by leaky Internals, Armin Ronacher, Flask framework Plays with YouTube's privacy-enhanced embed

How Python was Shaped by leaky Internals, Armin Ronacher, Flask framework

Open on YouTube First HN thread

15 HN users recommended this talk in 16 different months between 2017 and 2025.

2007–2026
7 strong recommendations 11 recommendations 2 citations HackerTube score 19.5

It is HN's standard answer to why Python cannot easily get much faster, and is recommended by people who work on JITs and alternative runtimes.

Armin Ronacher, creator of Flask, explains how CPython's internals and C API leak into the language's semantics. Using examples like the complexity of the add operation, he shows why Python is hard to optimize or reimplement.

Pull quote: “This excellent talk describes how the semantics of the "add" operation are much more complex than generally described.” (HN, 2021)

Also tagged: python internals, cpython, performance, jit, c api, language semantics, armin ronacher

What Hacker News said

20 labeled comments from the HN archive; up to 20 are kept per video, favoring different commenters. Each one links back to the original thread.

Strongly recommends ericfrederich January 2017 under Grumpy: Go running Python
Shows CPython internals lack a spec and hinder new runtimes.
Python needs a new runtime. This talk shows how bad of shape it's really in. [this video] Basically, the language doesn't have a "spec" per-se. The language is whatever the defacto CPython implementation happens to do within it's giant eval loop. Another great talk about CPython internals: [link]
Strongly recommends eigenspace February 2020 under JuliaLang: The Ingredients for a Composable Programming Language
Great talk on fundamental problems in Python semantics.
Read the full comment
As others have mentioned, Python does have JIT compilers. The problem is that havign a JIT doesn't solve the problem. PyPy is often a factor of 10 behind julia performance and projects like Numba, PyTorch (the PyTorch people had to build their own Python JIT compiler yikes!), etc. will always have a more restricted scope than a project like Julia because Python's very semantics make many optimizations impossible. Here's a great talk from the author of the famous Flask library in Python: [this video] where he discusses the fundamental problems with Python's semantics. If you fix these problems, you will end up changing Python so fundamentaly that you'll really have a new language. Generic CPython 3._ code will certainly not be compatible with it.
Strongly recommends nerdponx September 2020 under Python's Innards: Introduction (2010)
Accompaniment to article on Python's leaky internals.
I highly recommend this talk by Armin Ronacher as an accompaniment (or prologue, or epilogue) to the article: "How Python was shaped by leaky internals", [this video]
Strongly recommends arc776 October 2020 under Attempts to make Python fast
Details limits of Python optimization.
Read the full comment
As the OP states: > mutable interpreter frames, global interpreter locks, shared global state, type slots On top of this, Python is extremely dynamic and nothing can be assured without running through the code. So this leads to needing JITs to improve performance which then give a slow start up time and increased complexity. Even with JIT, Python is just not fast thanks to the above issues and it's overall dynamism. It can be optimised and for sure there's some impressive attempts at doing so. However I don't think pure Python will ever be considered "fast" as these things necessarily get in the way. I highly recommend the two videos posted here that go into more detail as to why there are limits to how far optimisation can go: [this video] [link]
Strongly recommends haberman September 2021 under Writing Python Extensions in Assembly
Shows how complex Python's add operation semantics really are.
Read the full comment
Python is difficult to optimize due to complex language semantics. This excellent talk describes how the semantics of the "add" operation are much more complex than generally described. a+b is not just a.__add__(b), you have to read 200+ lines of CPython interpreter code to fully resolve its semantics: [this video] Not saying it's impossible, but it's more of an uphill battle than optimizing other languages that have more regular semantics. Python is also constrained by its C API, which is a very low-level and exposes a lot of implementation details to C extensions. Changing the API could improve performance but it would also make Python incompatible with a large ecosystem of C extensions. I sometimes wish for Python to define a new C API that exposes far less, and to begin a long-term migration towards the new API so that eventually the interpreter would be less constrained. It would be a large migration, but unlike Python 2 -> 3 it wouldn't affect everyday users, only extension authors. I don't know if it will ever happen, but a person can dream.
Strongly recommends haberman November 2021 under Pyjion – A Python JIT Compiler
Deep dive into Python's special-case semantics like a + b.
I think "a + b" is a good example. I really recommend the talk I linked ( [this video] ), it gets deep into this stuff. I don't think anyone benefits from "a + b" having so many special cases.
Strongly recommends fault1 January 2022 under Faster CPython (2021) [pdf]
Enlightening presentation on Python's leaky internals.
I thought this presentation by Armin Ronacher (the creator of Flask and Jinja) was very enlightening: How Python was Shaped by leaky Internals(2016): [this video] See also this HN post (Attempts to make Python fast): [link]
Recommends the_duke January 2017 under Grumpy: Go running Python
Explains why CPython can't improve on many things.
Someone else already posted this link: [this video] It explains why CPython can't improve on many things.
Recommends StefanKarpinski June 2018 under My favorite things that are coming with Julia 1.0
Explains what makes Python hard to optimize.
Perhaps the best way to understand what makes Julia fast is to watch these two videos about Python and R and what makes them so hard to optimize: [this video] [link] Take everything mentioned in these videos that make Python and R really hard to optimize and don't do those things :D
Recommends ssivark August 2018 under How Numba and Cython speed up Python code
Why Python's design resists performance optimization.
Read the full comment
There's a reason most high-performance Python libraries are not written that way, and core routines are just written in C instead. Proof of the pudding is in the eating! See this talk by Armin Ronacher (creator of Flask) on why the design of python makes it fundamentally unfriendly to performance optimizations: [this video] Julia has be designed ground up to avoid several such problems. See this discussion: [link] If your domain falls under the umbrella of numerical and scientific computing, writing Julia is as painless as writing python, with code that automatically runs roughly as fast as C. If you're used to writing numpy, you can hit the ground running in Julia, with maybe a few hours to become comfortable with the slightly different syntax and the names of useful libraries.
Recommends ssivark August 2019 under Python Is Eating the World
Interesting talk by Python veteran on language internals.
Read the full comment
Python's success is richly deserved. The fact that it has been a long time coming (Python is almost 30 years old!) is an indication of the amount of sheer effort involved, and should give heart for all those working on building up the next generation of languages. Since this forum is likely to have some folks looking towards the future, I found interesting a couple of talks by Python veteran Armin Ronacher [1, 2]. Watching that presentation makes me wonder whether I should think of this in the context of "Worse is better". That said, Python's runtime introspection is such a killer feature that it's difficult to explain how empowering it feels for someone who is relatively new to programming. [1]: How Python was Shaped by leaky Internals -- [this video] [2]: A Python for Future Generations -- [link]
Recommends ilyagr October 2020 under Attempts to make Python fast
Informative on the C API and why Python is hard to speed up.
I found the following talks by Armin Romacher very informative on these topics (C API, why python is more difficult to speed up than JS). [this video] [link] I wish these were the things Python 3 addressed, rather than Unicode. I guess it's much more obvious in hindsight than back when Python 3 was designed.
Recommends nemothekid February 2021 under Node.js 14 is over 20x faster than Python3.8 for fib(n)
Explains why Python internals make JIT difficult.
Armin Ronacher, author Flask, actually has a good talk about this. The gist of it the way Python's internals leak into the language makes it very difficult to build a performant JIT that wouldn't break a large amount of userspace code. Python lets you do _far_ more shenanigans that Javascript does; and a lot of large libraries depend on some of that behavior. Breaking it would probably cause a new 2 -> 3 situation. [this video]
Recommends eigenspace June 2021 under Is Julia Really Fast?
Semantic choices in Python make many optimizations impossible.
Python's classes can change dynamically though during runtime. So each iteration of a loop would need to check if the shape has changed. I'm no Python expert though, so please correct me if I'm mistaken. But it's more than that. There's a really nice talk here from the creator of the Flask framework about a bunch of different semantic choices in the language design, leak out into the ecosystem and make many optimizations impossible: [this video]
Recommends afiori August 2022 under Ask HN: Best way to learn advanced Python?
Helps make sense of confusing Python language quirks.
I know very little about Python, but I would suggest these talks about a few ways in which Python is unique. They won't teach you Python, but they might help in making sense of the confusing bits you might encounter: How Python was Shaped by leaky Internals, Armin Ronacher: [this video] What Does It Take To Be An Expert At Python?: [link] and maybe also When Python Practices Go Wrong: [link]
Recommends gobdovan September 2023 under Mojo: It’s Finally Here
Explains why Python can't run much faster without losing features.
You can't have Python run that much faster without loosing lots of features. I guess if they open sourced it, people wouldn't be that impressed with what they implemented. This video [0] from the creator of Flask explains it quite well. Here [1] is Guido talking about Mojo being in early days and sharing some technical details. [0] [this video] [1] [link]
Recommends maxwelljoslyn February 2025 under A tail calling interpreter for Python (already landed in CPython)
Fascinating look at the __add__ path and interpreter difficulties.
VWWHFSfQ, you may already know this, but: I recommend this talk by Armin Ronacher (Flask creator) on how Python's implementation internals contribute to the difficulties of making Python faster. [this video] One case study Ronacher gets into is the torturous path taken through the Python interpreter (runtime?) when you evaluate `__add__`. Fascinating stuff.

Citations, criticism and jokes

Cites it dom0 August 2017 under Python Oddities
Somewhat related video on Python oddities.
Some of these are pretty simple and not odd, e.g. immutability of tuples, iterator behaviour or modifying collections during iteration. ————————————————————————————————————— Somewhat related video: [this video]
Cites it dralley October 2020 under Attempts to make Python fast
Cited as the author's in-depth talks on Python speed.
You're arguing with mitsuhiko, he's given entire talks on this subject. [this video] PyPy is faster for pure Python code, but that comes at the expense of having a far slower interface with C code. There's an entire ecosystem built around the fact that while Python itself is slow, it can very easily interface with native code (Numpy, Scipy, OpenCV) with very little overhead. So sure, you can make Python much faster, if you're willing to piss off the very Python users who care the most about performance in the first place (the data science / ML people and anyone else using native extensions).

Keyboard shortcuts

/
Search
j k
Next / previous video in a list
Enter
Open the focused video
l
Like (on a video page)
w
Watch later (on a video page)
?
This help
Esc
Close