Search a title or topic

Over 20 million podcasts, powered by 

Player FM logo
Artwork

Content provided by Michael Kennedy. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Michael Kennedy or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://staging.podcastplayer.com/legal.
Player FM - Podcast App
Go offline with the Player FM app!

#506: ty: Astral's New Type Checker (Formerly Red-Knot)

1:04:19
 
Share
 

Manage episode 483733414 series 83399
Content provided by Michael Kennedy. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Michael Kennedy or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://staging.podcastplayer.com/legal.
The folks over at Astral have made some big-time impacts in the Python space with uv and ruff. They are back with another amazing project named ty. You may have known it as Red-Knot. But it's coming up on release time for the first version and with the release it comes with a new official name: ty. We have Charlie Marsh and Carl Meyer on the show to tell us all about this new project.
Episode sponsors
Posit
Auth0
Talk Python Courses

Links from the show

Talk Python's Rock Solid Python: Type Hints & Modern Tools (Pydantic, FastAPI, and More) Course: training.talkpython.fm
Charlie Marsh on Twitter: @charliermarsh
Charlie Marsh on Mastodon: @charliermarsh
Carl Meyer: @carljm
ty on Github: github.com/astral-sh/ty
A Very Early Play with Astral’s Red Knot Static Type Checker: app.daily.dev
Will Red Knot be a drop-in replacement for mypy or pyright?: github.com
Hacker News Announcement: news.ycombinator.com
Early Explorations of Astral’s Red Knot Type Checker: pydevtools.com
Astral's Blog: astral.sh
Rust Analyzer Salsa Docs: docs.rs
Ruff Open Issues (label: red-knot): github.com
Ruff Types: types.ruff.rs
Ruff Docs (Astral): docs.astral.sh
uv Repository: github.com
Watch this episode on YouTube: youtube.com
Episode transcripts: talkpython.fm
--- Stay in touch with us ---
Subscribe to Talk Python on YouTube: youtube.com
Talk Python on Bluesky: @talkpython.fm at bsky.app
Talk Python on Mastodon: talkpython
Michael on Bluesky: @mkennedy.codes at bsky.app
Michael on Mastodon: mkennedy
  continue reading

543 episodes

Artwork
iconShare
 
Manage episode 483733414 series 83399
Content provided by Michael Kennedy. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Michael Kennedy or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://staging.podcastplayer.com/legal.
The folks over at Astral have made some big-time impacts in the Python space with uv and ruff. They are back with another amazing project named ty. You may have known it as Red-Knot. But it's coming up on release time for the first version and with the release it comes with a new official name: ty. We have Charlie Marsh and Carl Meyer on the show to tell us all about this new project.
Episode sponsors
Posit
Auth0
Talk Python Courses

Links from the show

Talk Python's Rock Solid Python: Type Hints & Modern Tools (Pydantic, FastAPI, and More) Course: training.talkpython.fm
Charlie Marsh on Twitter: @charliermarsh
Charlie Marsh on Mastodon: @charliermarsh
Carl Meyer: @carljm
ty on Github: github.com/astral-sh/ty
A Very Early Play with Astral’s Red Knot Static Type Checker: app.daily.dev
Will Red Knot be a drop-in replacement for mypy or pyright?: github.com
Hacker News Announcement: news.ycombinator.com
Early Explorations of Astral’s Red Knot Type Checker: pydevtools.com
Astral's Blog: astral.sh
Rust Analyzer Salsa Docs: docs.rs
Ruff Open Issues (label: red-knot): github.com
Ruff Types: types.ruff.rs
Ruff Docs (Astral): docs.astral.sh
uv Repository: github.com
Watch this episode on YouTube: youtube.com
Episode transcripts: talkpython.fm
--- Stay in touch with us ---
Subscribe to Talk Python on YouTube: youtube.com
Talk Python on Bluesky: @talkpython.fm at bsky.app
Talk Python on Mastodon: talkpython
Michael on Bluesky: @mkennedy.codes at bsky.app
Michael on Mastodon: mkennedy
  continue reading

543 episodes

All episodes

×
 
Loading …

Welcome to Player FM!

Player FM is scanning the web for high-quality podcasts for you to enjoy right now. It's the best podcast app and works on Android, iPhone, and the web. Signup to sync subscriptions across devices.

 

Listen to this show while you explore
Play