Skip to main content

PyreflyDocs Learn Sandbox Install Blog

All posts

2026

Talk: Tensor Shapes in the Type System
Talk: Type Checking in Agentic Workflows
Are you really expected to run five type-checkers now?
Making Type Coverage Visible in Dify's CI
Pyrefly v1.0 is here!
Right Types, Wrong Code: Surprising Bugs A Type Checker Catches
Adding Pyrefly Type Checking to Your Agentic Loop
Python Type Checker Comparison: Speed and Memory Usage
How to Support Notebooks in a Language Server
Reaching 100% Type Coverage by Deleting Unannotated Code
Lessons from Pyre that Shaped Pyrefly
Python Type Checker Comparison: Typing Spec Conformance
pandas' Public API Is Now Type-Complete!
Python Type Checker Comparison: Empty Container Inference
Third Party Stubs bundled with Pyrefly
Making Pyrefly Diagnostics 18x Faster
4 Pyrefly Type Narrowing Patterns that make Type Checking more Intuitive

2025

Fly through data validation with Pyrefly’s new Pydantic integration
Pyrefly Beta is here!
Bringing NumPy's type-completeness score to nearly 90%
Give your Python IDE a Glow-Up with Pyrefly
Why Today’s Python Developers Are Embracing Type Hints
Introducing Pyrefly - A new type checker and IDE experience for Python

Authors

Aaron Pollack
1
Abby Mitchell
5
Conner Nilsen
1
Avik Chaudhuri
1
Danny Yang
6
Kyle Into
4
Marco Gorelli, Quansight Labs
3
Zeina Migeed
2
Rebecca Chen
3
John Van Schultz
1
Jia Chen
2
Steven Troxler
1
Pyrefly Team
5
Asuka Minato
1

Community & Support

Join Discord
Open a Github issue
Attend Office Hours

Legal

Privacy
Terms
Data Policy
Cookie Policy

Copyright © 2026 Meta Platforms, Inc. Built with Docusaurus.