Hi Hackernews, our team launched an Alpha of our new Python type checker and IDE extension today. It supports type inference, go to definition and find references in your IDE. The blog links to a podcast where a few engineers from our team talk about how we made it. We address a good number of questions in our FAQ: https://pyrefly.org/en/docs/pyrefly-faq/, and are happy to answer additional questions that you may have.