@trey@indieweb.social @stuartm@fosstodon.org I haven't heard it until now but out of the box it seems to have the same limitations as pyright, ty, pyrefly that I describe in the blog post. With zuban I'm seeing over 7k type errors in my codebase where mypy + django-stubs has 0. I'll play around a bit more with it when I have more time, but I think the general rule of the blog post still stands: You either choose completeness with mypy+django-stubs or you choose speed but then have to deal with attr-defined errors.