Hacker GitHub

← All repos

meta/pyrefly

View on GitHub ↗ ★ 7,177 Rust

A fast type checker and language server for Python

20 mentions on Hacker News by 16 people: 7 stories, 13 comments · first 2025-05-02 · latest 2026-10-18

Mentions per year 20 mentions · busiest year 2025 (14)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 3
    Pyrefly v1.4.0
    story by ocamoss · 2026-10-18 · 0 comments
  2. ▲ 7
    Pyrefly 1.0
    story by 0x1997 · 2026-05-13 · 1 comment
  3. …by me a while ago during our beta launch. thanks for reporting. we have a full response [here]( https://github.com/facebook/pyrefly/issues/3292#issuecomment... ) in the github issue
    comment by kinto · 2026-05-02 · in Meta's Pyrefly sabotages competing Python extensions without telling you
  4. …just hasn't been noticed. Bug report with full details, source references, and reproduction steps: https://github.com/facebook/pyrefly/issues/3292 The fix is straightforward: ask the user before touching settings they didn't set, and…
    comment by FossAndFurious · 2026-05-02 · in Meta's Pyrefly sabotages competing Python extensions without telling you
  5. ▲ 52
    Meta's Pyrefly sabotages competing Python extensions without telling you
    story by FossAndFurious · 2026-05-02 · 25 comments
  6. ▲ 2
    Pyrefly: A fast type checker and language server for Python, in Rust
    story by nateb2022 · 2026-01-05 · 0 comments
  7. …maintainer here) If you haven't already, please file an issue for that crash on the [Pyrefly repo]( https://github.com/facebook/pyrefly ) as well :)
    comment by ocamoss · 2025-12-16 · in Announcing the Beta release of ty
  8. …still in alpha. We're planning on adding unreachable code diagnostics soon (github issue [here]( https://github.com/facebook/pyrefly/issues/1292 )). These come for free with Pyright so we don't want to regress features. I'm happy to help…
    comment by kinto · 2025-10-14 · in Pyrefly: Python type checker and language server in Rust
  9. …provide a reproduction - signature/doc when selecting autocomplete options is a known bug [here]( https://github.com/facebook/pyrefly/issues/1090 ) - go to declaration: I've created an issue for that [here](…
    comment by kinto · 2025-10-14 · in Pyrefly: Python type checker and language server in Rust
  10. The weird Literal promotion makes pyrefly unusable for me, except if I'd avoid Literal types: https://github.com/facebook/pyrefly/issues/742
    comment by whilenot-dev · 2025-10-14 · in Pyrefly: Python type checker and language server in Rust
  11. …loop (and the LiteralString variant of .join is just the first overload listed in the type hints)… https://github.com/facebook/pyrefly/issues/1107 - this is kinda important, I don't think I can use it before this is improved :/
    comment by eqvinox · 2025-10-14 · in Pyrefly: Python type checker and language server in Rust
  12. …to hear if there are any gaps from your perspective, having an already strictly-typed codebase. 1. https://github.com/facebook/pyrefly/issues/954
    comment by samwgoldman · 2025-08-21 · in An Update on Pytype
  13. …mypy - https://github.com/python/mypy Pyright - https://github.com/microsoft/pyright Pyrefly - https://github.com/facebook/pyrefly ty - https://github.com/astral-sh/ty
    comment by froh · 2025-08-20 · in An Update on Pytype
  14. https://github.com/facebook/pyrefly/releases Pyrefly v0.29.0 Status : ALPHA
    comment by veber-alex · 2025-08-20 · in An Update on Pytype
  15. ▲ 3
    Pyrefly – A fast type checker and IDE for Python
    story by microflash · 2025-05-16 · 0 comments
  16. ▲ 3
    Pyrefly – A fast type checker and IDE for Python
    story by gjvc · 2025-05-15 · 0 comments
  17. …taking a look and raising the need for poetry support. We added a GitHub issue to track that here: https://github.com/facebook/pyrefly/issues/166
    comment by team_pyrefly · 2025-05-08 · in Kate and Python Language Server
  18. There's Pyrefly if you wanna check it out: https://github.com/facebook/pyrefly
    comment by joshdavham · 2025-05-07 · in Ty: A fast Python type checker and language server
  19. Also interesting, pyrefly uses Ruff’s parser! https://github.com/facebook/pyrefly/blob/a8626110da034f8e513...
    comment by emptysea · 2025-05-07 · in Ty: A fast Python type checker and language server
  20. ▲ 2
    Pyrefly: A fast type checker and IDE for Python
    story by badmonster · 2025-05-02 · 0 comments