Hackernews posts about PyreFly

  1. Tensor Shapes in Pyrefly – Avik Chaudhuri – PyCon US 2026 Typing Summit [video] (www.youtube.com)
    6 points by matt_d 16 days ago | discuss
  2. Pyrefly v1.1 is here 27% faster, refactoring tools, tensor shapes (pyrefly.org)
    5 points by ocamoss 3 days ago | discuss
  3. How to get your agent to use Pyrefly for type checking [video] (www.youtube.com)
    4 points by ocamoss 4 days ago | discuss
  4. SE Radio 725: Danny Yang and Sam Goldman on the Pyrefly Type Checker (se-radio.net)
    2 points by matt_d 3 days ago | discuss
  5. Are you expected to run five Python type-checkers now? (pyrefly.org)
    168 points by ocamoss 13 days ago | 208 comments
  6. Tensor Shapes in the Python Type System – Avik Chaudhuri – PyCon Typing Summit (pyrefly.org)
    3 points by ocamoss 6 days ago | discuss
  7. Type Checking in Agentic Workflows – Conner Nilsen – PyCon US 2026 Typing Summit (pyrefly.org)
    3 points by ocamoss 9 days ago | discuss
  8. Making Type Coverage Visible in Dify's CI (pyrefly.org)
    1 points by ocamoss 3 days ago | discuss
  9. Show HN: Prela – Purely Algebraic Relation Combinators (github.com)
    73 points by remywang 20 days ago | 13 comments
  10. Ask HN: Which companies gained a competitive edge purely via engineering?
    5 points by j1000 13 days ago | 13 comments
  11. PreFlight – Not Another AI code review agent (medium.com)
    2 points by jsingh2525 2 days ago | discuss
  12. Show HN: Preflight-UX – OSS toolkit to run UX product critiques (github.com)
    2 points by Sparckix 11 days ago | discuss
  13. Piwapp: A WhatsApp client and MCP purely written in Python (github.com)
    2 points by anycastubuntu 21 days ago | discuss
  14. Ask HN: Are most corporate SWE jobs performative?
    249 points by hnthrow10282910 11 days ago | 283 comments
  15. Show HN: We built an 8-bit CPU as 2nd year EE students (github.com)
    107 points by CorRupT9 6 days ago | 46 comments
  16. Nanogram – Private social media from your Raspberry Pi
    9 points by smalltorch 5 days ago | 3 comments
  17. Show HN: Write Your GitHub Actions in TypeScript (github.com)
    7 points by windsor 5 days ago | 1 comments
  18. Ask HN: Year of Linux Desktop is fun with LLMs
    6 points by mirekrusin 7 days ago | 3 comments
  19. Show HN: I Built a Debugging Challenge for the AI Coding Age (theincidentchallenge.com)
    5 points by stealthy_ 27 days ago | 4 comments
  20. A wild idea: Abstract reality using ontology
    3 points by shoushen 15 days ago | 1 comments
  21. The AI Conundrum: We are living in highly subsidized, interesting times
    3 points by pyeri 18 minutes ago | discuss
  22. Show HN: Division Swarm, the OS for Multi-Agent Systems (github.com)
    3 points by vn0m 18 days ago | discuss
  23. Show HN: Extract (YC P25) – Fast, accurate document parsing (extract.page)
    3 points by soamikapadia 18 days ago | discuss
  24. Show HN: Cordium: FOSS sandbox platform that eliminates credential injection (github.com)
    3 points by geoctl 21 days ago | discuss
  25. Ask HN: Examples of products and services created via agentic coding
    3 points by d_silin 25 days ago | discuss
  26. Any positive sides of LLM there?
    2 points by artturibyte 30 days ago | 2 comments
  27. ETLFunnel v1.0 – Accepting POC Requests
    2 points by vivekburman 1 day ago | discuss
  28. Show HN: Check – prefix any command to know if it'll work before you run it (www.golproductions.com)
    2 points by golproductions 7 days ago | discuss
  29. Show HN: Cordium – FOSS self-hosted sandbox platform alt. Codespaces/E2B/Daytona (github.com)
    2 points by geoctl 14 days ago | discuss
  30. Show HN: Baseball version of the popular 82-0 game (statgm.com)
    1 points by rcar1046 14 days ago | 1 comments
More