Pyrefly

@pyrefly_dev

Just a fast type checker and language server for Python, written in Rust.

pyrefly.org

Joined August 2026

Following

Followers

Replies Reposts Media

Pyrefly
@pyrefly_dev
Sep 11
Pyrefly 1.3 is out: 934 commits, 71 contributors, and 88 bug fixes. The changelog brought snacks and stayed awhile. Better framework support, smarter editor tools, faster analysis, plus experimental JAX and NumPy shape checking.
Release Pyrefly v1.3.0 · facebook/pyrefly
From github.com
Pyrefly
@pyrefly_dev
Sep 8
OpenAI’s research org now uses 3.1 agent-workdays per human workday. Hopefully, that comes with 3.1× as many type checks.
Research acceleration: The view inside OpenAI
From openai.com
Pyrefly
@pyrefly_dev
Sep 8
In 2023, the Python Typing Council was formed. In 2026, the Python Packaging Council holds its inaugural elections (for eligible PSF voters) through September 15. What Python Council will be next?
pyfound.blogspot.com
Inaugural Python Packaging Council Election: Voting is now open!
It’s time to cast your vote! Voting for the inaugural 2026 Python Packaging Council (PPC) Election is open now through September 15 at 2:00 ...
Pyrefly
@pyrefly_dev
Sep 4
Google found a strong pattern in real agent submissions: cheap, deterministic checks before the expensive model call. Run a type checker first. Spend model tokens on problems requiring judgment instead of rediscovering call signatures. developers.googleblog.com/4-engineering-… @googledevs
Google for Developers Blog - News about Web, Mobile, AI and Cloud
From developers.googleblog.com
Pyrefly
@pyrefly_dev
Sep 3
Hello, world. We’re Pyrefly: a fast, open-source type checker and language server- built in Rust for first-time typers, large codebases, IDEs, and coding agents. Follow for approachable typing, benchmarks with receipts, and fewer bugs disguised as vibes. pyrefly.org