Hackernews posts about PyreFly

  1. Type Narrowing Patterns in Pyrefly That Make Type Checking More Intuitive (pyrefly.org)
    6 points by ocamoss 7 days ago | discuss
  2. Pyrefly: A fast type checker and language server for Python, in Rust (github.com)
    2 points by nateb2022 30 days ago | discuss
  3. Trump tells Norway's PM he has no obligation to 'think purely of peace' (www.euronews.com)
    36 points by Tomte 16 days ago | 3 comments
  4. Elo - An purely functional expression language for No-Code/Low-Code tools (elo-lang.org)
    4 points by blambeau 29 days ago | 1 comments
  5. Show HN: Convert GIFs to MP4 purely on client side (shaneosullivan.wordpress.com)
    3 points by shaneos 28 days ago | 4 comments
  6. Purely Functional Games (2018) (soupi.github.io)
    3 points by todsacerdoti 2 days ago | discuss
  7. Show HN: Ad-Preflight – A CLI to Validate HTML5 Ads (Google/DV360 Compliance) (ad-preflight.com)
    1 points by volkina 8 days ago | discuss
  8. Zaloha2.sh – Small and simple directory synchronizer (purely script based) (github.com)
    1 points by sutif 30 days ago | discuss
  9. Show HN: DoNotNotify – Log and intelligently block notifications on Android (donotnotify.com)
    347 points by awaaz 30 days ago | 168 comments
  10. Ask HN: Burned out from tech, what else is there?
    100 points by bleosh 14 days ago | 102 comments
  11. Show HN: Data from a mixed-brand LiFePO₄ battery bank
    4 points by wkcollis1 21 days ago | 2 comments
  12. Ask HN: How does YC / HN think about founder voting splits vs. equity splits?
    4 points by cofounder1999 14 days ago | discuss
  13. ProjectCLI: The Swiss Army Knife CLI for bootstrapping any project
    4 points by dawitworku 28 days ago | discuss
  14. Prediction: Claude 5 will be a major regression
    3 points by cadabrabra 1 day ago | 12 comments
  15. Show HN: Everdone CodeReview – AI code reviews as a trackable workflow (everdone.ai)
    3 points by vinitmaniar 27 days ago | discuss
  16. We built the "Excel of Finance Apps," but the growth isn't there. Next move?
    2 points by caoxhua 21 days ago | 8 comments
  17. Ask HN: In the era of AI, which language would you choose?
    2 points by tcper 11 days ago | 3 comments
  18. Show HN: I built an OSHA compliance SaaS for oilfields using only LLMs (basincheck.com)
    2 points by jaycobski 22 days ago | 2 comments
  19. Show HN: Local Screenshot Image Rename (github.com)
    2 points by itake 23 days ago | 2 comments
  20. Show HN: Kindler: A declarative, Lua-based, build system (setsunasoftware.com)
    2 points by ThatGuyRaion 3 days ago | discuss
  21. Show HN: Debba.sql – A lightweight SQL manager built with Tauri and Rust (github.com)
    2 points by debba 8 days ago | discuss
  22. Show HN: A tiny JavaScript library for content origin metadata (no truth claims) (originjs.netlify.app)
    2 points by dheerazmakes 11 days ago | discuss
  23. Exploring hard-constrained PINNs for real-time industrial control
    2 points by stevealphios 16 days ago | discuss
  24. Show HN: Marginal IA – An open source Readwise for physical books (github.com)
    2 points by Poc 23 days ago | discuss
  25. Show HN: Karmic Tail – A calculator for the Destiny Matrix numerology system (karmictail.com)
    2 points by hugh1st 23 days ago | discuss
  26. Show HN: I built a *fully free* AI resume maker (www.resume-razor.com)
    2 points by rbitsoft 29 days ago | discuss
  27. Ask HN: Good SQL statements to benchmark RDBMS?
    1 points by herodoturtle 29 days ago | 7 comments
  28. Ask HN: SF founders training for a boxing match – anyone want in?
    1 points by bananarabbit 14 days ago | 3 comments
  29. Show HN: I've built the "Google Docs" for 3D Files (3dviewer.co)
    1 points by hugoroussel 15 days ago | 1 comments
  30. Show HN: Simple browser game to teach AI transformation concepts to small biz (aiquest.futureu.co)
    1 points by Renjit 21 days ago | 1 comments
More