Skip to main content

PyreflyDocs Learn Sandbox Install Blog

All posts

2026

Pyrefly v1.2 is here!
FwPython, Part 1: Setting the Stage
Define less, check more: Pyrefly now speaks attrs
Pyrefly v1.1 is here!
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

Tags

A

ai-agents2
attrs1

C

ci1
coverage2

D

developer-tools1

F

formalization1
fwpython1

I

IDE7

L

language-server3
lean1

N

news8

P

performance1
pydantic1
python1
python-typing-basics1
pytorch1

T

typechecking19
typing1

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.