#539: Catching up with the Python Typing Council

#539: Catching up with the Python Typing Council

You're adding type hints to your Python code, your editor is happy, autocomplete is working great. But then you switch tools and suddenly there are red squiggles everywhere. Who decides what a float annotation actually means? Or whether passing None where an int is expected should be an error? It turns out there's a five-person council dedicated to exactly these questions -- and two brand-new Rust-based type checkers are raising the bar. On this episode, I sit down with three members of the Python Typing Council -- Jelle Zijlstra, Rebecca Chen, and Carl Meyer -- to learn how the type system is governed, where the spec and the type checkers agree and disagree, and get the council's official advice on how much typing is just enough.

Avsnitt(545)

#514: Python Language Summit 2025

#514: Python Language Summit 2025

Every year the core developers of Python convene in person to focus on high priority topics for CPython and beyond. This year they met at PyCon US 2025. Those meetings are closed door to keep focused ...

18 Juli 20251h 13min

#513: Stories from Python History

#513: Stories from Python History

Why do people listen to this podcast? Sure, they're looking for technical explorations of new libraries and ideas. But often it's to hear the story behind them. If that speaks to you, then I have the ...

14 Juli 20251h 8min

#512: Building a JIT Compiler for CPython

#512: Building a JIT Compiler for CPython

Do you like to dive into the details and intricacies of how Python executes and how we can optimize it? Well, do I have an episode for you. We welcome back Brandt Bucher to give us an update on the up...

2 Juli 20251h 8min

#511: From Notebooks to Production Data Science Systems

#511: From Notebooks to Production Data Science Systems

If you're doing data science and have mostly spent your time doing exploratory or just local development, this could be the episode for you. We are joined by Catherine Nelson to discuss techniques and...

25 Juni 202554min

#510: 10 Polars Tools and Techniques To Level Up Your Data Science

#510: 10 Polars Tools and Techniques To Level Up Your Data Science

Are you using Polars for your data science work? Maybe you've been sticking with the tried-and-true Pandas? There are many benefits to Polars directly of course. But you might not be aware of all the ...

18 Juni 20251h 2min

#509: GPU Programming in Pure Python

#509: GPU Programming in Pure Python

If you're looking to leverage the insane power of modern GPUs for data science and ML, you might think you'll need to use some low-level programming language such as C++. But the folks over at NVIDIA ...

11 Juni 202557min

#508: Program Your Own Computer with Python

#508: Program Your Own Computer with Python

If you've heard the phrase "Automate the boring things" for Python, this episode starts with that idea and takes it to another level. We have Glyph back on the podcast to talk about "Programming YOUR ...

6 Juni 20251h 11min

#507: Agentic AI Workflows with LangGraph

#507: Agentic AI Workflows with LangGraph

If you want to leverage the power of LLMs in your Python apps, you would be wise to consider an agentic framework. Agentic empowers the LLMs to use tools and take further action based on what it has l...

2 Juni 20251h 3min

Populärt inom Teknik

natets-morka-sida
uppgang-och-fall
elbilsveckan
rss-technokratin
bilar-med-sladd
skogsforum-podcast
market-makers
har-vi-akt-till-mars-an
bli-saker-podden
rss-elektrikerpodden
rss-laddstationen-med-elbilen-i-sverige
rss-powerboat-sverige-podcast
rss-it-sakerhetspodden
rss-veckans-ai
rss-uppgang-och-fall
rss-fabriken-2
rss-snacka-om-ai
developers-mer-an-bara-kod
hej-bruksbil
dom-kallar-oss-krypto