[kinto]

Hi, Pyrefly developer here. It's been almost a year since our alpha has been released and we've been working hard towards a stable release. We're excited to announce general availability today!

See the official blog post for more details: https://pyrefly.org/blog/v1.0/

[rtolsma]

for production usage, what are the major deltas vs. pyright today?

[kinto]

What type of deltas? We compare "conformance" on [this](https://pyrefly.org/blog/typing-conformance-comparison/) blog, which was a benchmark created by the creator of Pyright. However, it is quite specific to un-specified sections of PEP484 (things that checkers may not need to agree on but should). In terms of performance, you can see results [here](https://python-type-checking.com/typecheck_benchmark/) where we are quite a bit faster than pyright (almost 10x avg) and use far less memory (almost half).