iiinova — where your digital self keeps evolving

Reposted by Pyrefly

Google Open Source @opensource.google · 06/10/2026

The best open source tool for the job doesn't have to be built in-house. When evaluating Python type checkers, Google chose @pyrefly.org—originally built at Meta—and started contributing upstream alongside the community. Read our journey: goo.gle/pyrefly-at-g...

goo.gle

Learn why Google adopted Meta's open source Pyrefly type checker, reducing Python incremental rebuild latencies by up to 98% in our monorepo.

172

Pyrefly @pyrefly.org · 03/10/2026

🐍 We're at @pybay.bsky.social! Come find the Meta booth and say hi 👋 Our team is here to talk about: 🔥 Pyrefly, 🧵 Free-threaded Python, 🛟 Safer Lazy Imports, and More! Can't make it? Find us on GitHub: github.com/facebook/pyrefly #PyBay2026 #Python #OpenSource #Pyrefly #FreeThreading

020

Pyrefly @pyrefly.org · 02/10/2026

Tech with Tim has a new video out featuring Pyrefly 🎥 It covers the basics of getting started with type checking, including getting your agent to use Pyrefly www.youtube.com/watch?v=lFA-...

youtube.com

Why You NEED This New Python Tool

YouTube video by Tech With Tim

010

Pyrefly @pyrefly.org · 25/09/2026

Your Friday side quest: whatsnewt, a terminal adventure through Python 3.15 where you solve puzzles by writing real code. Pyrefly checks your answers to the typing puzzles. Type checking is a game mechanic now. 🎮 pypi.org/project/what...

pypi.org

whatsnewt

A TUI text adventure through what's new in Python 3.15

002

Pyrefly @pyrefly.org · 23/09/2026

@napari.org reports its Pyrefly check at ~0.7s warm / 0.9s cold, versus ~15–25s cold in its previous mypy setup. Fast checks change habits: run it locally, fix the thing, move on. Compute left for science. Thanks for the great write-up on your experience! napari.org/island-dispa...

napari.org

From Any to Certainty: A Typechecking Journey — napari blog documentation

120

Reposted by Pyrefly

PyTorch @pytorch.org · 05/09/2026

At PyTorch Conference North America 2026 (October 20–21 in San Jose, CA), Avik Chaudhuri from Meta will break down how PyreFly - a static type checker for Python - enables end-to-end static shape coverage for PyTorch models. Register for #PyTorchCon North America today: bit.ly/4qStJvL

001

Pyrefly @pyrefly.org · 18/09/2026

Turns out we're not the only Pyrefly 😯 While in Brisbane for a PyCon AU, we found out the heavy metal band @pyreflyband.bsky.social was playing there the same weekend. Obviously we had to go and exchange swag!

Pyrefly (type checker) and Pyrefly (band) pose together

110

Reposted by Pyrefly

marcogorelli.bsky.social @marcogorelli.bsky.social · 16/09/2026

✨ The Pyrefly type-checker now tracks Polars DataFrame schema 🏷️ Declare a schema using Annotated 📚 Enjoy clearer self-documenting code and avoid some schema-related issues before hitting prod 😇 The annotated schema will be ignored by other type-checkers so you won't get conflicts between them

Example of using `Annotated` to declare Polars DataFrame schema

031

Pyrefly @pyrefly.org · 15/09/2026

Congratulations on JupyterHub 6.0 🎉 Notebooks aren’t a side quest to “real” Python—they’re where students, researchers, and data teams do real work. We’re excited to keep learning from the Jupyter community as we think about tooling that respects the notebook workflow.

000

Reposted by Pyrefly

Python Software Foundation @python.org · 15/09/2026

The PSF Board is proud to share the final version of the PSF’s five-year strategic plan. Thanks to all who improved the plan by participating in the process, and we look forward to all we’ll accomplish together in the next five years. Read more on our blog:

pyfound.blogspot.com

Announcing the PSF Strategic Plan 2026

In May, the Python Software Foundation (PSF) shared the high-level goals of our Strategic Plan. In June, we published the full draft and opened it for community feedback. Today we are sharing the outcome: at its July 8 meeting, the PSF Board adopted the PSF Strategic Plan 2026, covering 2026 to 2031.

0146

Pyrefly @pyrefly.org · 14/09/2026

New to Python types? Don’t start with “annotate everything.” Start with a number. `pyrefly coverage check` makes progress visible- including a public-API-only option. Type migrations need a progress bar, not a guilt trip. What would you type first? pyrefly.org/blog/why-typ...

pyrefly.org

What's type-coverage, and why should I care? | Pyrefly

Learn about an under-appreciated Pyrefly feature

000

Pyrefly @pyrefly.org · 11/09/2026

Pyrefly 1.3 is here 🥳 Smarter checks, better Django, SQLAlchemy and PyTorch support, workspace-wide search, refactorings—and experimental JAX and NumPy shape checking. New to type checking? Kick the tires and let us know what you think! github.com/facebook/pyr...

github.com

Release Pyrefly v1.3.0 · facebook/pyrefly

Release date: September 10, 2026 Pyrefly v1.3.0 bundles 934 commits from 71 contributors. 🔍Release Highlights Type Checking New diagnostics and more accurate type inference. Pyrefly now catches i...

020

Pyrefly @pyrefly.org · 08/09/2026

Pyrefly 1.3.0-dev.4: better decorator navigation, inlay hints, cross-file call hierarchy, autocomplete, and tensor-shape typing. It’s a dev build: try it, report bugs, don’t staple it to production. github.com/facebook/pyr...

github.com

Release Pyrefly v1.3.0-dev.4 · facebook/pyrefly

Release date: September 03, 2026 About dev releases Dev releases (versions like X.Y.Z-dev.N) are non-stable snapshots cut periodically from trunk. They give early adopters a chance to try in-progr...

010

Pyrefly @pyrefly.org · 04/09/2026

From Google’s Dev blog this week: run cheap, deterministic checks before calling the model. For Python, that’s a Pyrefly-sized job: let static analysis handle facts before spending tokens on vibes. developers.googleblog.com/4-engineerin...

developers.googleblog.com

4 engineering patterns behind the strongest AI Agents Challenge submissions- Google Developers Blog

Upgrade your multi-agent systems with 4 proven engineering patterns from the Google AI Agents Challenge, including bidirectional MCP and tiered routing.

050

Pyrefly @pyrefly.org · 03/09/2026

Hello, Bluesky 👋 We’re Pyrefly: an open-source type checker and language server, fast enough for every keystroke and built for Python in the wild - from your first type hint to production. Expect typing puzzles, engineering notes, and well-typed snark. What should we dig into first? pyrefly.org

020