Hackernews posts about Pyrex

  1. Formal Verification Gates for AI Coding Loops (reubenbrooks.dev)
    144 points by pyrex41 28 days ago | 34 comments
  2. Tensor Shapes in Pyrefly – Avik Chaudhuri – PyCon US 2026 Typing Summit [video] (www.youtube.com)
    6 points by matt_d 12 days ago | discuss
  3. How to get your agent to use Pyrefly for type checking [video] (www.youtube.com)
    4 points by ocamoss about 4 hours ago | discuss
  4. Are you expected to run five Python type-checkers now? (pyrefly.org)
    168 points by ocamoss 9 days ago | 208 comments
  5. Tensor Shapes in the Python Type System – Avik Chaudhuri – PyCon Typing Summit (pyrefly.org)
    3 points by ocamoss 2 days ago | discuss
  6. Type Checking in Agentic Workflows – Conner Nilsen – PyCon US 2026 Typing Summit (pyrefly.org)
    3 points by ocamoss 5 days ago | discuss
  7. Pyrex catalog from from 1938 with hand-drawn lab glassware [pdf] (exhibitdb.cmog.org)
    363 points by speckx 8 months ago | 74 comments
  8. PYREX vs. pyrex: What's the difference? (www.corning.com)
    173 points by lisper 9 months ago | 122 comments
  9. The Pyrex Glass Controversy That Just Won't Die (2019) (gizmodo.com)
    28 points by Tomte about 1 year ago | 39 comments
  10. Microsoft boffins cook up storage using Pyrex glass can last over 10k years (www.theregister.com)
    2 points by Bender 4 months ago | 2 comments
  11. Show HN: Underpriced AI – AI-powered valuations for resellers (underpricedai.com)
    3 points by fkratzer 5 months ago | discuss
  12. Pyrefly vs. Ty: Comparing Python's two new Rust-based type checkers (blog.edward-li.com)
    394 points by edwardjxli about 1 year ago | 160 comments
  13. Pyrefly: A new type checker and IDE experience for Python (engineering.fb.com)
    237 points by homarp about 1 year ago | 165 comments
  14. Pyrefly: Python type checker and language server in Rust (pyrefly.org)
    203 points by brianzelip 8 months ago | 144 comments
  15. Pyrefly - A faster Python type checker written in Rust (pyrefly.org)
    142 points by muglug about 1 year ago | 75 comments
  16. A 30-meter pass in the Pyrenees through which insects migrate (english.elpais.com)
    85 points by belter almost 2 years ago | 21 comments
  17. Meta's Pyrefly sabotages competing Python extensions without telling you (github.com)
    52 points by FossAndFurious about 2 months ago | 25 comments
  18. Pyrefly v1.0 is here (fast type checker and language server for Python) (pyrefly.org)
    41 points by ocamoss about 1 month ago | 9 comments
  19. PyReason: Explainable inference for annotated, real valued, graph based and tem (github.com)
    27 points by todsacerdoti about 1 year ago | 2 comments
  20. Pyrefly:A fast type checker/IDE extension for Python written in Rust (engineering.fb.com)
    13 points by typedpython about 1 year ago | 1 comments
  21. Speaking at PyTexas – CFP closes December 1, 2024 (www.pytexas.org)
    13 points by rbanffy over 1 year ago | 1 comments
  22. Pyrefly v1.0.0 is here (Type Checker / Language Server for Python) [video] (www.youtube.com)
    10 points by kinto about 1 month ago | 8 comments
  23. Pyre: New JIT Python interpreter written in Rust (pyre-lang.org)
    10 points by youknowone 3 months ago | 1 comments
  24. Pyrefly 1.0 (github.com)
    7 points by 0x1997 about 1 month ago | 1 comments
  25. Designing a Python Language Server: Lessons from Pyre That Shaped Pyrefly (pyrefly.org)
    6 points by ocamoss 3 months ago | discuss
  26. Type Narrowing Patterns in Pyrefly That Make Type Checking More Intuitive (pyrefly.org)
    6 points by ocamoss 5 months ago | discuss
  27. Pyret: A programming language for programming education (pyret.org)
    6 points by azhenley 10 months ago | discuss
  28. Python Type Checker Comparison: Speed and Memory Usage – Pyrefly (pyrefly.org)
    5 points by rbanffy about 2 months ago | discuss
  29. PyTorch Now Uses Pyrefly for Type Checking (pytorch.org)
    5 points by ocamoss 4 months ago | discuss
  30. Making Pyrefly Diagnostics 18x Faster (pyrefly.org)
    5 points by ocamoss 4 months ago | discuss
  31. Comparison of New Python Type Checkers: Ty, Pyrefly, and Zuban (sinon.github.io)
    5 points by 0x1997 10 months ago | discuss
  32. Pyret Programming Language (pyret.org)
    5 points by xrayarx 11 months ago | discuss
  33. Prexist – Find if your startup idea already exists out there! (prexist.pages.dev)
    4 points by e33or-assasin 10 months ago | 6 comments
  34. Give your Python IDE a glow-up with Pyrefly (pyrefly.org)
    4 points by javabster 9 months ago | discuss
  35. Pyre Browser – Taking all predatory profit out of the internet
    4 points by pyrebrowser over 1 year ago | discuss
  36. MCP PyExec: Python Execution Server with Docker, Auth and HTTP Streaming (objectgraph.com)
    3 points by gavi 11 months ago | 1 comments