One of the oldest arguments in software development is static versus dynamic typing. In recent years, a number of dynamic languages have included type hints support in an effort to strike a balance. The type annotations in Python have spawned an ecosystem of tools that use that type of data to verify the accuracy of programs and find potential problems. With a focus on speed to enable scaling to sizable Python projects, Instagram established the Pyre project. Shannon Zhu covers its implementation in this episode, how to utilize it in your development process, and how it contrasts with other type checkers found in the Python ecosystem.