Overview
News
Technologies
Salaries
Products
People
Growth
Financials
News
What's type-coverage, and why should I care?
Pyrefly is one of the major new Python type-checkers taking the world by storm. It's often touted for its speed, usability, and typing-spec-conformance. But it also offers an extra nifty little feature you may never have heard of: type-coverage. Let's lea
Read more
Report
Pyrefly v1.2 is here!
Pyrefly v1.2 is now available This release adds support for Bazel and attrs, along with improvements to type checking, the language server, and the CLI. This release includes 901 commits from 59 contributors. To get started, run: pip install --upgrade pyr
Read more
Report
FwPython, Part 1: Setting the Stage
Companion post to my PyCon 2026 Typing Summit talk, "From Soundness to Blame: AI-Assisted Formalization of a Tiny Python." This is the first in a series. What this series is about Python's type system is practical, useful, but full of edge cases. As a dev
Read more
Report
Define less, check more: Pyrefly now speaks attrs
Built-in support for attrs is available in Pyrefly as of version 1.2.0-dev.1, and ships in the upcoming 1.2.0 stable release. You get accurate constructor signatures and better type safety for your attrs classes, with no plugins or configuration to set up
Read more
Report
Pro access
Upgrade to see all 36 mentions
Upgrade to a paid plan to read every media mention of this company - funding news, awards, product launches and press releases from all the outlets writing about it.
Every media mention and press release
Funding news, awards and product launches
Fresh coverage from every outlet writing about the company
Upgrade now
Cancel anytime. Secure checkout. Instant activation.