Here's the github issues filter linked in the screenshot:
https://github.com/astral-sh/ruff/labels/red-knot
And the best answer/description of what the type checker will be:
We used to just call that "a search engine". Remember that? Somebody would put up a website about their favorite pet topic and when the search engine unearthed it, that's what you got.
It was the ad-ification of search engines that killed that. So, AI allows us to go back to the Internet circa 2000? That's a big innovation? I mean, I'll take it, but that's a pretty low bar ...
The difference is that reading someone's blog post forces you to take their trajectory through the material and it might not go over the exact points you're curious or confused about. With a forum like StackOverflow you often have to settle for problems that are merely close enough to your own that the solutions apply to it.
Models like ChatGPT allow you to ask for blog posts on any topic on demand and then ask for follow-up blog posts about whatever aspect of the previous blog post you want to elaborate.
I've known people who could do it, but nobody I know personally who is a really good developer is doing this? Esp during work hours? Seems counterproductive.