#pyrefly — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #pyrefly, aggregated by home.social.
-
I wanted to migrate one of my #Python packages from #mypy to #ty and #pyrefly. I handed this task over to #Claude, and at the end I asked it to write out some guidance on how to perform it most efficiently. So what follows is AI-generated 'slop'.
#aicodingagents
https://dev.to/ldrscke/migrate-from-mypy-to-ty-and-pyrefly-4p30 -
I wanted to migrate one of my #Python packages from #mypy to #ty and #pyrefly. I handed this task over to #Claude, and at the end I asked it to write out some guidance on how to perform it most efficiently. So what follows is AI-generated 'slop'.
#aicodingagents
https://dev.to/ldrscke/migrate-from-mypy-to-ty-and-pyrefly-4p30 -
#pyrefly is 1.0.0 and will fill in the types for you with `pyrefly infer`
-
#pyrefly is 1.0.0 and will fill in the types for you with `pyrefly infer`
-
New post: Pyrefly emerge with long-awaited debut album ‘Lost & Found’ https://moshville.co.uk/news/2026/05/pyrefly-emerge-with-long-awaited-debut-album-lost-found/ #Pyrefly
-
Meta's Pyrefly sabotages competing Python extensions without telling you
https://github.com/facebook/pyrefly/issues/3292
#HackerNews #Meta #Pyrefly #Python #Extensions #Sabotage #Competing #Issues
-
Meta's Pyrefly sabotages competing Python extensions without telling you
https://github.com/facebook/pyrefly/issues/3292
#HackerNews #Meta #Pyrefly #Python #Extensions #Sabotage #Competing #Issues
-
Lessons from #Pyre that Shaped #Pyrefly
"Building a #typechecker is ultimately a deeply pragmatic exercise. It is easy to get lost in the weeds of type theory, but at the end of the day, we are building a tool that developers have to live with every single day. We chose usability over absolute soundness, and we built an architecture that embraces #Python's dynamism instead of fighting it."
-
Lessons from #Pyre that Shaped #Pyrefly
"Building a #typechecker is ultimately a deeply pragmatic exercise. It is easy to get lost in the weeds of type theory, but at the end of the day, we are building a tool that developers have to live with every single day. We chose usability over absolute soundness, and we built an architecture that embraces #Python's dynamism instead of fighting it."
-
🔍💥 Welcome to the #Python #type checker showdown nobody asked for! Watch as the nerds at #Pyrefly unleash a flood of #buzzwords, promising type-checking utopia while drowning developers in a sea of overly-complicated syntax. 🤯 Spoiler: nobody cares about your #type #completeness score, Pyrefly. 🙄
https://pyrefly.org/blog/typing-conformance-comparison/ #Checking #Developer #Struggles #HackerNews #ngated -
🔍💥 Welcome to the #Python #type checker showdown nobody asked for! Watch as the nerds at #Pyrefly unleash a flood of #buzzwords, promising type-checking utopia while drowning developers in a sea of overly-complicated syntax. 🤯 Spoiler: nobody cares about your #type #completeness score, Pyrefly. 🙄
https://pyrefly.org/blog/typing-conformance-comparison/ #Checking #Developer #Struggles #HackerNews #ngated -
🚀 Pyrefly: the trailblazing type checker that'll make your #IDE shine like a supernova! If you're eagerly waiting to compare empty containers while flying through type hints at light speed, #Pyrefly has got you covered. 💫 Who knew #debugging #Python could be this thrilling? 🙄
https://pyrefly.org/blog/container-inference-comparison/ #TypeChecker #Innovation #HackerNews #ngated -
🚀 Pyrefly: the trailblazing type checker that'll make your #IDE shine like a supernova! If you're eagerly waiting to compare empty containers while flying through type hints at light speed, #Pyrefly has got you covered. 💫 Who knew #debugging #Python could be this thrilling? 🙄
https://pyrefly.org/blog/container-inference-comparison/ #TypeChecker #Innovation #HackerNews #ngated -
Let's say you want to do good type-checking for the #Python project you're working on. You pick a tool, maybe you use it as an #LSP also (so your editor can show you errors, too). As an example, I'm using #Ty at the moment. There's three places this might be installed: globally (e.g., `brew install ty`), as a dev-only dependency inside your project (e.g., `uv add --dev ty`), or -- and this one might surprise you -- it might only be used and installed by `pre-commit`, which builds a separate environment for each needed tool (which is great for instance where I use `codespell` as a `pre-commit` check, which seems to need some higher version of Python than my actual project).
Where should you install it?
If you're the only one on your team running it, globally is fine. If more than just you, then absolutely as a dev-only dependency inside your project ... and **maybe** globally as well.
The only real problem is updates. If you use a reasonable global install scheme, updates will be easy. They're less easy inside your project or in `pre-commit`. And you might care one way or the other! I **don't** want updates! I **do** want updates!
As for Python type-checking, `ty` seems good so far, but not enough experience with it yet. `basedpyright`, `pyrefly`, and `ruff` all good. These four are my favorites.
#BasedPyright #Pyrefly #Ruff #PreCommit #CodeSpell #Homebrew
-
Let's say you want to do good type-checking for the #Python project you're working on. You pick a tool, maybe you use it as an #LSP also (so your editor can show you errors, too). As an example, I'm using #Ty at the moment. There's three places this might be installed: globally (e.g., `brew install ty`), as a dev-only dependency inside your project (e.g., `uv add --dev ty`), or -- and this one might surprise you -- it might only be used and installed by `pre-commit`, which builds a separate environment for each needed tool (which is great for instance where I use `codespell` as a `pre-commit` check, which seems to need some higher version of Python than my actual project).
Where should you install it?
If you're the only one on your team running it, globally is fine. If more than just you, then absolutely as a dev-only dependency inside your project ... and **maybe** globally as well.
The only real problem is updates. If you use a reasonable global install scheme, updates will be easy. They're less easy inside your project or in `pre-commit`. And you might care one way or the other! I **don't** want updates! I **do** want updates!
As for Python type-checking, `ty` seems good so far, but not enough experience with it yet. `basedpyright`, `pyrefly`, and `ruff` all good. These four are my favorites.
#BasedPyright #Pyrefly #Ruff #PreCommit #CodeSpell #Homebrew
-
Well … I get symbol renaming if I use #BasedPyright as my #LSP
-
It seems like my #Pyrefly problem isn’t related to my #AdventOfCode project. Before pyrefly, I could rename a symbol throughout the project. With pyrefly, I can’t. More investigation needed.
-
Working on #AdventOfCode. My plan was to solve each day in both #Python and #RustLang. I thought I would be further by now. Yes, my Python answer to day 1 solves both parts, but I'm trying to be exemplary: good names, docstrings, comments-where-needed, tests, project structure, all the things.
For some reason, #HelixEditor keeps complaining about the #LSP (using both #Pyrefly and #Ruff, as usual). I'm concerned I haven't set things up right somehow, but I don't yet see where I've gone wrong.
Once this is working, further days will be easy. At least ... I hope!
-
Working on #AdventOfCode. My plan was to solve each day in both #Python and #RustLang. I thought I would be further by now. Yes, my Python answer to day 1 solves both parts, but I'm trying to be exemplary: good names, docstrings, comments-where-needed, tests, project structure, all the things.
For some reason, #HelixEditor keeps complaining about the #LSP (using both #Pyrefly and #Ruff, as usual). I'm concerned I haven't set things up right somehow, but I don't yet see where I've gone wrong.
Once this is working, further days will be easy. At least ... I hope!
-
Bringing NumPy's type-completeness score to nearly 90% – Pyrefly
-
Bringing NumPy's type-completeness score to nearly 90% – Pyrefly
-
PyreFly: Because who needs Python in Python when you can overengineer it in Rust? 🚀✨ Just pip-install this glorified type checker and bask in the glow of 166 cores and 228 GB RAM, because... why not? 🤖💻
https://pyrefly.org/?featured_on=talkpython #PyreFly #Rust #Overengineering #TypeChecker #TechInnovation #HackerNews #ngated -
PyreFly: Because who needs Python in Python when you can overengineer it in Rust? 🚀✨ Just pip-install this glorified type checker and bask in the glow of 166 cores and 228 GB RAM, because... why not? 🤖💻
https://pyrefly.org/?featured_on=talkpython #PyreFly #Rust #Overengineering #TypeChecker #TechInnovation #HackerNews #ngated -
PyreFly: Python type checker and language server in Rust
https://pyrefly.org/?featured_on=talkpython
#HackerNews #PyreFly #Python #Rust #typechecker #language_server
-
PyreFly: Python type checker and language server in Rust
https://pyrefly.org/?featured_on=talkpython
#HackerNews #PyreFly #Python #Rust #typechecker #language_server
-
🎙️ Python Bytes 451: Databases are a Fad
with @mkennedy and @brianokken
https://pythonbytes.fm/episodes/show/451/databases-are-a-fad
#Python #pytest #testing #postgresql #pyrefly -
🎙️ Python Bytes 451: Databases are a Fad
with @mkennedy and @brianokken
https://pythonbytes.fm/episodes/show/451/databases-are-a-fad
#Python #pytest #testing #postgresql #pyrefly -
I think #astral may want to consider marketing #ty a bit more.
After a bunch of my coworkers and I got back from Pycon I'm hearing WAY more from them about #pyrefly - which confuses me because while Meta has made MASSIVE contributions to FLOSS and we should all thank them for that, Astral has consistently produced outstanding #python tooling.
I know there's plenty of room in the pool and that competition is good, I'd just hate to see a great tool get overlooked because its competitor was giving away free Espresso :) :P
-
I think #astral may want to consider marketing #ty a bit more.
After a bunch of my coworkers and I got back from Pycon I'm hearing WAY more from them about #pyrefly - which confuses me because while Meta has made MASSIVE contributions to FLOSS and we should all thank them for that, Astral has consistently produced outstanding #python tooling.
I know there's plenty of room in the pool and that competition is good, I'd just hate to see a great tool get overlooked because its competitor was giving away free Espresso :) :P
-
Introducing #Pyrefly: Meta's new #opensource #Python type checker, crafted in Rust for maximum performance!
Pyrefly is intended to replace the OCaml-based Pyre type checker previously used for Instagram’s codebase.
Find out more: https://bit.ly/4kIsRpu
-
Introducing #Pyrefly: Meta's new #opensource #Python type checker, crafted in Rust for maximum performance!
Pyrefly is intended to replace the OCaml-based Pyre type checker previously used for Instagram’s codebase.
Find out more: https://bit.ly/4kIsRpu
-
🐍🔧 #Rust fanboys rejoice! We've got not one, but TWO new #Python type checkers to argue about: #Pyrefly and #Ty. Because obviously what the Python ecosystem really needed was more esoteric tools nobody asked for. 😅🔍
https://blog.edward-li.com/tech/comparing-pyrefly-vs-ty/ #TypeCheckers #DeveloperCommunity #HackerNews #ngated -
🐍🔧 #Rust fanboys rejoice! We've got not one, but TWO new #Python type checkers to argue about: #Pyrefly and #Ty. Because obviously what the Python ecosystem really needed was more esoteric tools nobody asked for. 😅🔍
https://blog.edward-li.com/tech/comparing-pyrefly-vs-ty/ #TypeCheckers #DeveloperCommunity #HackerNews #ngated -
Pyrefly vs. Ty: Comparing Python's Two New Rust-Based Type Checkers
https://blog.edward-li.com/tech/comparing-pyrefly-vs-ty/
#HackerNews #Pyrefly #Ty #Python #Rust #TypeCheckers #Comparison
-
Pyrefly vs. Ty: Comparing Python's Two New Rust-Based Type Checkers
https://blog.edward-li.com/tech/comparing-pyrefly-vs-ty/
#HackerNews #Pyrefly #Ty #Python #Rust #TypeCheckers #Comparison
-
Looking for something to do at #PyConUS at 4:00 PM? Check out an open space!
West Atrium: Juggling!
Room 308: #Eurovision
Room 309: #CKAN Community
Room 309: Python, Electronics, datasheets, and component OCR
Room 315: Data engineering in Python the right way
Room 316: ORM OMG!
Room 318: Architecting in #AWS Python+#CDK. ☁️➕🐍
Room 318: Board Games!!!
Room 320: 3D and Computer Vision Meet
Room 321: Help using Python types and getting #Pyrefly type checking working in your IDE -
🎉 Introducing *Pyrefly*, yet another shiny bauble in the endless parade of Meta's "innovations"—because clearly, #Python was desperately gasping for another type checker. 🚀 Who wouldn't want their #IDE experience mixed with a dollop of Meta's magic? 😂
https://engineering.fb.com/2025/05/15/developer-tools/introducing-pyrefly-a-new-type-checker-and-ide-experience-for-python/ #Pyrefly #Meta #Innovations #TypeChecker #HackerNews #ngated -
🎉 Introducing *Pyrefly*, yet another shiny bauble in the endless parade of Meta's "innovations"—because clearly, #Python was desperately gasping for another type checker. 🚀 Who wouldn't want their #IDE experience mixed with a dollop of Meta's magic? 😂
https://engineering.fb.com/2025/05/15/developer-tools/introducing-pyrefly-a-new-type-checker-and-ide-experience-for-python/ #Pyrefly #Meta #Innovations #TypeChecker #HackerNews #ngated -
Pyrefly: A new type checker and IDE experience for Python
#HackerNews #Pyrefly #Python #TypeChecker #IDE #Development #Tools
-
Pyrefly: A new type checker and IDE experience for Python
#HackerNews #Pyrefly #Python #TypeChecker #IDE #Development #Tools
-
🔥🐍🚀 Behold: #Pyrefly, because who doesn't want to run a #Python type checker written in #Rust that launches in the distant future of Spring 2025? 🤔 You'll be faster too if you never actually do anything! 🌟👻 Enjoy the endless scroll through #legalese and cookie policies. 🍪📜
https://pyrefly.org/ #Spring2025 #TypeChecker #HackerNews #ngated -
Pyrefly - A faster Python type checker written in Rust
#HackerNews #Pyrefly #Python #type #checker #Rust #programming #speed #performance
