Hacker News

New stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. FloatLib: Verified Floating-Point Arithmetic in Lean(leandojo.org)
    1 pointsby 3 minutes ago
    —discuss
  2. Driscoll's Gave China Its Blueberries–Then China Swiped the Secret to Growing Th(wsj.com)
    1 pointsby 5 minutes ago
    —discuss
  3. Open-Sourcing Rebalancer: High-Performance Assignment Problem Solver(fb.com)
    1 pointsby 7 minutes ago
    —discuss
  4. Lifestreams: A storage model for personal data (1996)(acm.org)
    1 pointsby 8 minutes ago
    —discuss
  5. A zero-day has been released for Meta's Muse(github.com/pwardle)
    2 pointsby 9 minutes ago
    —discuss
  6. I built an autonomous accounting tool to let AI do my taxes(github.com/codegamedev29)
    3 pointsby 9 minutes ago
    1comments
  7. Google fined more than €400M by Irish regulator over its use of location data(theguardian.com)
    1 pointsby 9 minutes ago
    —discuss
  8. Ask HN: Ceremonious Architecture in Times of AI
    2 pointsby 10 minutes ago
    —discuss
  9. We're Using AI Wrong. The Chat Window Sucks(stclair.ai)
    1 pointsby 10 minutes ago
    —discuss
  10. Artificial Intelligence and Labor Market Reallocation [pdf](nber.org)
    2 pointsby 10 minutes ago
    —discuss
  11. A U.S. Strategy to Secure Geopolitical Advantage on an Path to Superintelligence(rand.org)
    2 pointsby 11 minutes ago
    —discuss
  12. US threatens to ground Iranian airlines worldwide from Wednesday(aljazeera.com)
    2 pointsby 11 minutes ago
    —discuss
  13. I shipped 2,500 PRs last month to production(twitter.com/poteto)
    1 pointsby 11 minutes ago
    —discuss
  14. Monthly Roundup #46: September 2026(thezvi.substack.com)
    2 pointsby 13 minutes ago
    —discuss
  15. Sa: A Wrapper Around GNU Screen(joshstoolbox.com)
    1 pointsby 15 minutes ago
    —discuss
  16. OpenAI flags 6 new incidents of 'concerning' behavior, unveils plan to track it(nbcnews.com)
    3 pointsby 17 minutes ago
    —discuss
  17. The Way of Code by Rick Rubin(thewayofcode.com)
    1 pointsby 22 minutes ago
    —discuss
  18. Agents on Rails: Maximum Effort and DeepSeek 4.1 Flash(rubyonrails.org)
    2 pointsby 25 minutes ago
    —discuss
  19. Escaping the OpenAI Codex sandbox, twice(accomplish.ai)
    1 pointsby 25 minutes ago
    —discuss
  20. Outages across API, Grok.com, and Grok Build – API (us-east-1.api.x.ai) Status(x.ai)
    2 pointsby 26 minutes ago
    —discuss
  21. Bubble Rumble(bubblerumble.net)
    1 pointsby 28 minutes ago
    1comments
  22. Robin Williams' Daughter to Fans Creating AI Videos: 'Have Some Shame'(variety.com)
    10 pointsby 30 minutes ago
    —discuss
  23. Datasets.store: Pre-scraped ecommerce datasets across 80 retail platforms(datasets.store)
    1 pointsby 30 minutes ago
    —discuss
  24. Why do we have rust in the kernel?(theregister.com)
    2 pointsby 31 minutes ago
    1comments
  25. NewKid Days in SF on Oct. 25 – show what you're building to families(newkid.ai)
    1 pointsby 33 minutes ago
    —discuss
  26. People Hooked on Vapes Try a New Way to Quit: Cigarettes(bloomberg.com)
    6 pointsby 33 minutes ago
    —discuss
  27. Sorority Row's GLP-1 Secret(thecut.com)
    2 pointsby 43 minutes ago
    —discuss
  28. Making portable my unportable transputer C compiler(nanochess.org)
    4 pointsby 47 minutes ago
    —discuss
  29. Show HN: Marklite: Lightweight Markdown Viewer/Editor(marklite.app)
    1 pointsby 49 minutes ago
    —discuss
  30. The A.I. Party House Where Networking Has a Dark Side(nytimes.com)
    4 pointsby 49 minutes ago
    1comments

Show HN: Shapefile viewer that asks which datum when the .prj is missing

1 pointsby 57m ago9revolution9.com
Open original View on HN
0 comments
A quiet thread, for now.Start the conversation on HN ↗