#523: Pyrefly: Fast, IDE-friendly typing for Python
Talk Python To Me
Michael Kennedy
4.8 • 642 Ratings
🗓️ 13 October 2025
⏱️ 68 minutes
🧾️ Download transcript
Summary
Transcript
Click on a timestamp to play from that location
| 0:00.0 | Python typing got fast enough to feel invisible. |
| 0:02.9 | Firefly is a new open source type checker and ID language server from meta, |
| 0:08.0 | written in Rust, with a focus on instant feedback and real-world developer experience. |
| 0:13.1 | Today, we dig into what it is, why it exists, and how it plays with the rest of the Python typing ecosystem. |
| 0:18.7 | We have Abby Mitchell, Danny Yang, and Kyle Into from Firefly here to dive into the project. |
| 0:25.5 | This is Talk Python to Me. |
| 0:26.7 | Episode 523 recorded September 9th, 2025. |
| 0:31.6 | Talk Python to me. |
| 0:33.2 | Yeah, we ready to roll. |
| 0:34.6 | Upgrading the code. |
| 0:35.9 | No fear of getting old. |
| 0:37.3 | They sink in the air. New frameworks in sight, geeky rap on deck. Quark crew. It's time to unite. We started in pyramid, cruising old school lanes. Had that stable base. Welcome to Talk Pythonemy, the number one podcast for Python developers and data scientists. This is your host, Michael Kennedy. I'm a PSF fellow who's |
| 0:55.1 | been coding for over 25 years. Let's connect on social media. You'll find me and Talk Python on |
| 1:01.1 | Mastodon, Blue Sky, and X. The social links are all in the show notes. You can find over 10 years of |
| 1:07.1 | past episodes at Talk Python.fm. And if you want to be part of the show, you can join |
| 1:11.8 | our recording live streams. That's right. We live streamed the raw, uncut version of each episode |
| 1:17.2 | on YouTube. Just visit Talkbithon.fm slash YouTube to see the schedule of upcoming events. |
| 1:23.4 | And be sure to subscribe and press the bell so you'll get notified anytime of recording. |
| 1:28.5 | This episode is brought you by Century. Don't let those errors go and noticed. Use Century |
| 1:32.3 | like we do here at Talk Python.com. Sign up at Talk Python.fm slash Century. And it's brought to |
| 1:38.6 | by Agency. Discover Agentic AI with Agency. Their layer lets agents find, connect, and work together, any stack, anywhere. |
| 1:47.3 | Start building the internet of agents at talk python.fm slash agency, spelled AGNTCY. |
... |
Please login to see the full transcript.
Disclaimer: The podcast and artwork embedded on this page are from Michael Kennedy, and are the property of its owner and not affiliated with or endorsed by Tapesearch.
Generated transcripts are the property of Michael Kennedy and are distributed freely under the Fair Use doctrine. Transcripts generated by Tapesearch are not guaranteed to be accurate.
Copyright © Tapesearch 2026.

