Talk Python to Me is a weekly podcast hosted by developer and entrepreneur Michael Kennedy. We dive deep into the popular packages and software developers, data scientists, and incredible hobbyists doing amazing things with Python. If you're new to Python, you'll quickly learn the ins and outs of the community by hearing from the leaders. And if you've been Pythoning for years, you'll learn about your favorite packages and the hot new ones coming out of open source.
#523: Pyrefly: Fast, IDE-friendly typing for Python
October 13, 2025
01:07:00
11.44 MB ( 54.55 MB less)
Downloads: 0
Python typing got fast enough to feel invisible. Pyrefly is a new, open source type checker and IDE language server from Meta, written in Rust, with a focus on instant feedback and real-world DX. Today, we will dig into what it is, why it exists, and how it plays with the rest of the typing ecosystem. We have Abby Mitchell, Danny Yang, and Kyle Into from Pyrefly here to dive into the project.
Episode sponsors
Sentry Error Monitoring, Code TALKPYTHON
Agntcy
Talk Python Courses
Danny Yang: linkedin.com
Kyle Into: linkedin.com
Pyrefly: pyrefly.org
Pyrefly Documentation: pyrefly.org
Pyrefly Installation Guide: pyrefly.org
Pyrefly IDE Guide: pyrefly.org
Pyrefly GitHub Repository: github.com
Pyrefly VS Code Extension: marketplace.visualstudio.com
Introducing Pyrefly: A New Type Checker and IDE Experience for Python: engineering.fb.com
Pyrefly on PyPI: pypi.org
InfoQ Coverage: Meta Pyrefly Python Typechecker: infoq.com
Pyrefly Discord Invite: discord.gg
Python Typing Conformance (GitHub): github.com
Typing Conformance Leaderboard (HTML Preview): htmlpreview.github.io
Watch this episode on YouTube: youtube.com
Episode #523 deep-dive: talkpython.fm/523
Episode transcripts: talkpython.fm
Theme Song: Developer Rap
🥁 Served in a Flask 🎸: talkpython.fm/flasksong
---== Don't be a stranger ==---
YouTube: youtube.com/@talkpython
Bluesky: @talkpython.fm
Mastodon: @talkpython@fosstodon.org
X.com: @talkpython
Michael on Bluesky: @mkennedy.codes
Michael on Mastodon: @mkennedy@fosstodon.org
Michael on X.com: @mkennedy
Episode sponsors
Sentry Error Monitoring, Code TALKPYTHON
Agntcy
Talk Python Courses
Links from the show
Abby Mitchell: linkedin.comDanny Yang: linkedin.com
Kyle Into: linkedin.com
Pyrefly: pyrefly.org
Pyrefly Documentation: pyrefly.org
Pyrefly Installation Guide: pyrefly.org
Pyrefly IDE Guide: pyrefly.org
Pyrefly GitHub Repository: github.com
Pyrefly VS Code Extension: marketplace.visualstudio.com
Introducing Pyrefly: A New Type Checker and IDE Experience for Python: engineering.fb.com
Pyrefly on PyPI: pypi.org
InfoQ Coverage: Meta Pyrefly Python Typechecker: infoq.com
Pyrefly Discord Invite: discord.gg
Python Typing Conformance (GitHub): github.com
Typing Conformance Leaderboard (HTML Preview): htmlpreview.github.io
Watch this episode on YouTube: youtube.com
Episode #523 deep-dive: talkpython.fm/523
Episode transcripts: talkpython.fm
Theme Song: Developer Rap
🥁 Served in a Flask 🎸: talkpython.fm/flasksong
---== Don't be a stranger ==---
YouTube: youtube.com/@talkpython
Bluesky: @talkpython.fm
Mastodon: @talkpython@fosstodon.org
X.com: @talkpython
Michael on Bluesky: @mkennedy.codes
Michael on Mastodon: @mkennedy@fosstodon.org
Michael on X.com: @mkennedy