#pyrefly
Stop scrolling and post two characters who bring you happiness 💜

Messmer and Megaera...you don't understand I would die for them (T∀T)

#ocsky #oc
October 23, 2025 at 7:05 PM
かがくのちからってすげー
pyreflyはまじもんのガチ勢入ってるな。メタクラスと型変数とジェネリクスをこんなにいじくり倒してうまく推論できるのはえぐい。
さすがにtyはunknown。
両者がんばって毎秒メジャーバージョンアップしてくれ。
October 21, 2025 at 12:14 PM
nathaira 🐍
⟢ fire knight
⟢ loyal servant to messmer
⟢ fire incantations and bloodflame

associated with fire and blood, black pyrefly, fire blossoms, embers and serpents
October 14, 2025 at 12:27 PM
Want better, faster #Python typing (cli and IDE)? Use the same tools that the Instagram team uses on their millions of lines of code.

#523: Pyrefly: Fast, IDE-friendly typing for Python

with Abby Mitchell, Danny Yang, Kyle Into, and host @mkennedy.codes

talkpython.fm/episodes/sho...
Pyrefly: Fast, IDE-friendly typing for Python
Python typing got fast enough to feel invisible. Pyrefly is a new, open source type checker and IDE language server from Meta, written in Rust, with a focus on instant feedback and real-world DX. Toda...
talkpython.fm
October 13, 2025 at 4:05 PM
🐍 Drop some SNAKES

oho this one is perfect for me (≖ᴗ≖ )
September 22, 2025 at 8:52 PM
What color defines your portfolio? 🎨

I try to paint a variety of colours, but my obvious favourites are yellow/gold and purple 😊💜
September 21, 2025 at 1:15 PM
Doing some slight touch-ups for my fire starter Pyrefly, which antenna shape do we vibe with the most?

#fakemon #pokemon #firestarter #conceptart
September 17, 2025 at 7:27 AM
Pyrefly vs. Ty: Comparing Python's Two New Rust-Based Type Checkers
Pyrefly vs. ty: Comparing Python’s Two New Rust-Based Type Checkers
A deep dive into Meta's pyrefly and Astral's ty - two new Rust-based Python type checkers that both promise faster performance and better type inference.
blog.edward-li.com
May 27, 2025 at 5:31 PM
Pyrefly and Ty: Two new Rust-powered Python type-checking tools compared - InfoWorld
Source: InfoWorld #python
June 28, 2025 at 8:43 AM
TyがさまざまなシナリオでPyreflyや他のツールを上回る結果を示していますが、両方とも初期のアルファ段階にあり、既知の問題があります。ブログでは、Pyreflyが積極的に型を推論するのに対し、Tyはより寛容なアプローチを採用しているという異なる手法が強調されています。両方のツールはインクリメンタル型チェックをサポートしていますが、戦略は異なります。また、ブログではPythonの型システムの進展についても触れ、交差型や否定型といった新機能を紹介し、ユーザーに両方の型チェッカーを試してみるよう呼びかけています。 (2/2)
May 28, 2025 at 7:43 AM
Pyrefly: A new type checker and IDE experience for Python (engineering.fb.com)

Discussion | Main Link
May 17, 2025 at 4:07 PM
Introducing Pyrefly: A new type checker and IDE experience for Python Today we are announcing an alpha version of Pyrefly, an open source Python type checker and IDE extension crafted in Rust. Pyrefly is a static typechecker that analyzes Python code to...

| Details | Interest | Feed |
Origin
engineering.fb.com
May 15, 2025 at 7:03 PM
PyreFly: Python type checker and language server in Rust

#HackerNews

<a href="https://pyrefly.org/?featured_on=talkpython" class="hover:underline text-blue-600 dark:text-sky-400 no-card-link" target="_blank" rel="noopener" data-link="bsky">https://pyrefly.org/?featured_on=talkpython
October 14, 2025 at 12:49 PM
75: Open-sourcing Pyrefly - A faster Python type checker written in Rust lnns.co/zEytm6R4aZo via @listennotes.com #Podcast
75: Open-sourcing Pyrefly - A faster Python type checker written in Rust
00:32:22 - Pyrefly is a faster, open-source Python type checker written in Rust, succeeding Pyre. But what prompted the rewrite and what besides the language c…
lnns.co
June 21, 2025 at 8:53 AM
If it works it works!

It maybe also depends on what you are typing and what type checker you are using. Pyright seems to work fine if I include enough ignore settings, but e.g. both pyrefly and ty fail.
June 23, 2025 at 8:06 PM
Introducing Pyrefly: A new type checker and IDE experience for Python Today we are announcing an ...

https://engineering.fb.com/2025/05/15/developer-tools/introducing-pyrefly-a-new-type-checker-and-ide-experience-for-python/

#DevInfra

Result Details
May 15, 2025 at 7:03 PM
Also true, I hate it that they skip WHOLE AREAS of the game, im heart broken by lack of pyrefly forest 😭
February 24, 2025 at 4:54 PM
Pyrefly <3 <3
February 21, 2025 at 2:54 AM
Don't cry it's just a game
October 19, 2023 at 9:57 PM
pyreflyにtyと、今年はrustなtype checkerの年なのか?
May 19, 2025 at 3:54 PM
gpt-5 in cursor does some odd things that neither the default model in Cursor or Claude Code don't. It's very keen on running commands via zsh
/bin/zsh -lc 'uv run pyrefly check | cat'

The default model correctly calls
uv run pyrefly check
directly
August 8, 2025 at 8:12 AM