Hackernews posts about PyreFly

  1. Pyrefly v1.3: More configurability and composable tensor shapes (pyrefly.org)
    1 points by ocamoss 5 days ago | discuss
  2. What's type-coverage, and why should I care? (pyrefly.org)
    2 points by ocamoss 25 days ago | discuss
  3. Ask HN: Did anyone try to build game engine purely for LLM
    5 points by steammaho 9 days ago | 4 comments
  4. Topagent.lol – an AI agent leaderboard ranked purely by who paid most (topagent.lol)
    2 points by ashleyrudland87 29 days ago | discuss
  5. H5i-dev/h5i: a headless browser purely written in Rust. no Chromium, no V8 (www.reddit.com)
    1 points by syumei 20 days ago | 5 comments
  6. Purely Functional Operating Systems (eighty-twenty.org)
    1 points by vinhnx 6 days ago | discuss
  7. Ask HN: Why do corporate failures always seem to punish the wrong people?
    124 points by mittermayr 27 days ago | 128 comments
  8. Ask HN: Co-Founder(s). Do I need any? How would I even find them?
    14 points by bhollan 3 days ago | 15 comments
  9. Ask HN: What is the ideal email domain setup?
    7 points by bix6 17 days ago | 7 comments
  10. Show HN: Zroar – Serialized Roaring Bitmaps in Zig (github.com)
    6 points by mrjn 30 days ago | discuss
  11. Show HN: A skill that makes people think you're using Claude Code (github.com)
    3 points by Juwanh 6 days ago | 2 comments
  12. Show HN: BentoPDF, Hyper Compress and Kura (www.bentopdf.com)
    3 points by __alam__ 21 days ago | 1 comments
  13. Show HN: Genetic Distance Map (p.migdal.pl)
    2 points by stared 15 days ago | 1 comments
  14. Ask HN: On the Contest of Meat and Machine
    2 points by joebig 7 days ago | discuss
  15. Show HN: Who or What is it? – A Picture Quiz (whoorwhatisit.com)
    2 points by splendidHaiku 18 days ago | discuss
  16. Show HN: Building AI agents client-side JavaScript
    1 points by stephenblum 17 days ago | 2 comments
  17. Centaur vs. Cyborg Being a Fisherman
    1 points by wwolfson97 28 days ago | 1 comments
  18. Show HN: A daily cartoon contest between AI models, judged blind (comic-cron.com)
    1 points by hahaguffaw 26 days ago | discuss
  19. LLM Tool Failures: Only 3 Root Causes – Value, Condition, Intent (github.com)
    7 points by offaxis 28 days ago | 1 comments
  20. Auto Pre Launch Checks (digitaltrustpass.com)
    3 points by pauljwilson 23 days ago | 1 comments
  21. A proxy that scans LLM requests/attach for secrets before they reach the model (github.com)
    1 points by ghuntley about 5 hours ago | discuss
  22. Show HN: SkillPreflight – score AI agent skills before installing them (github.com)
    1 points by 807092862 26 days ago | discuss
  23. Pyrefly vs. Ty: Comparing Python's two new Rust-based type checkers (blog.edward-li.com)
    394 points by edwardjxli over 1 year ago | 160 comments
  24. Pyrefly: A new type checker and IDE experience for Python (engineering.fb.com)
    237 points by homarp over 1 year ago | 165 comments
  25. Pyrefly: Python type checker and language server in Rust (pyrefly.org)
    203 points by brianzelip 11 months ago | 144 comments
  26. Pyrefly - A faster Python type checker written in Rust (pyrefly.org)
    142 points by muglug over 1 year ago | 75 comments
  27. Meta's Pyrefly sabotages competing Python extensions without telling you (github.com)
    52 points by FossAndFurious 5 months ago | 25 comments
  28. Pyrefly v1.0 is here (fast type checker and language server for Python) (pyrefly.org)
    41 points by ocamoss 4 months ago | 9 comments
  29. Pyrefly:A fast type checker/IDE extension for Python written in Rust (engineering.fb.com)
    13 points by typedpython over 1 year ago | 1 comments
  30. Pyrefly v1.0.0 is here (Type Checker / Language Server for Python) [video] (www.youtube.com)
    10 points by kinto 4 months ago | 8 comments
  31. Pyrefly 1.0 (github.com)
    7 points by 0x1997 4 months ago | 1 comments
  32. Define less, check more: Pyrefly now supports attrs (pyrefly.org)
    6 points by ocamoss 2 months ago | discuss
  33. Tensor Shapes in Pyrefly – Avik Chaudhuri – PyCon US 2026 Typing Summit [video] (www.youtube.com)
    6 points by matt_d 4 months ago | discuss
  34. Designing a Python Language Server: Lessons from Pyre That Shaped Pyrefly (pyrefly.org)
    6 points by ocamoss 6 months ago | discuss
  35. Type Narrowing Patterns in Pyrefly That Make Type Checking More Intuitive (pyrefly.org)
    6 points by ocamoss 8 months ago | discuss
  36. Pyrefly 1.2 is here – feat. Bazel support, attrs, and type coverage checking (pyrefly.org)
    5 points by ocamoss about 1 month ago | discuss
  37. Pyrefly v1.1 is here 27% faster, refactoring tools, tensor shapes (pyrefly.org)
    5 points by ocamoss 3 months ago | discuss
  38. Python Type Checker Comparison: Speed and Memory Usage – Pyrefly (pyrefly.org)
    5 points by rbanffy 5 months ago | discuss
  39. PyTorch Now Uses Pyrefly for Type Checking (pytorch.org)
    5 points by ocamoss 7 months ago | discuss
  40. Making Pyrefly Diagnostics 18x Faster (pyrefly.org)
    5 points by ocamoss 7 months ago | discuss
  41. Comparison of New Python Type Checkers: Ty, Pyrefly, and Zuban (sinon.github.io)
    5 points by 0x1997 about 1 year ago | discuss
  42. How to get your agent to use Pyrefly for type checking [video] (www.youtube.com)
    4 points by ocamoss 3 months ago | discuss
  43. Give your Python IDE a glow-up with Pyrefly (pyrefly.org)
    4 points by javabster 12 months ago | discuss
  44. Lessons from Pyre That Shaped Pyrefly – Pyrefly (pyrefly.org)
    3 points by rbanffy 6 months ago | discuss
  45. Pyrefly Is Now in Beta (pyrefly.org)
    3 points by javabster 10 months ago | discuss
  46. Pyrefly – A fast type checker and IDE for Python (github.com)
    3 points by microflash over 1 year ago | discuss
  47. Pyrefly – A fast type checker and IDE for Python (github.com)
    3 points by gjvc over 1 year ago | discuss
  48. SE Radio 725: Danny Yang and Sam Goldman on the Pyrefly Type Checker (se-radio.net)
    2 points by matt_d 3 months ago | discuss
  49. Adding Pyrefly Type Checking to Your Agentic Loop (pyrefly.org)
    2 points by ocamoss 5 months ago | discuss
  50. Lessons from Pyre That Shaped Pyrefly (pyrefly.org)
    2 points by PaulHoule 5 months ago | discuss
  51. Pyrefly: A fast type checker and language server for Python, in Rust (github.com)
    2 points by nateb2022 9 months ago | discuss
  52. Pyrefly Beta (fast type checker and language server for Python) [video] (www.youtube.com)
    2 points by ocamoss 10 months ago | discuss