TGViewer
Python notes Python notes @python_development_notes · 513 subscribers
Post #183 5.05K
This article gives an early look at Astral's new static type checker, Red Knot, and documents the process of compiling and running this work-in-progress tool. The author, Michael Jurasovic, even uses it on several large codebases to test its speed against mypy.

https://jurasofish.github.io/a-very-early-play-with-astrals-red-knot-static-type-checker.html
Michael Jurasovic's Weblog A Very (!) Early Play With Astral's Red Knot Static Type Checker This is a casual look at a WIP piece of software that I know nothing about - don't draw too many conclusions from this. Astral is doing The Lord's work with python tooling. Ruff is a joy to use for both formatting and linting. And the newer uv has breathed…
  • 🔥 3
Open in Telegram All posts from @python_development_notes
More from @python_development_notes
  1. Sep 24, 2025https://www.youtube.com/watch?v=g-Cytq7YDCc
  2. Sep 23, 2025A recent report from The New Stack covers the major announcement that Nvidia is adding nat…
  3. Sep 22, 2025https://www.youtube.com/watch?v=A4Pn2lEdoLQ
  4. Sep 21, 2025🚀 The fast, Pythonic way to build MCP servers and clients https://github.com/jlowin/fastm…
  5. Sep 20, 2025This commentary from Jyn.dev embraces the idea of writing imperfect but effective Python c…
  6. Sep 19, 2025https://www.youtube.com/watch?v=5avSMc79V-w
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →