Hacker News

New stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. The Sheep That Stop Wildfires(newyorker.com)
    1 pointsby 0 minutes ago
    —discuss
  2. Show HN: LARP Capital – Prestige as a Service(larpcapital.us)
    1 pointsby 1 minute ago
    —discuss
  3. AI Exec: We May Have Pulled Off "The Largest Theft of Labor in Human History"(motherjones.com)
    1 pointsby 2 minutes ago
    1comments
  4. Web Data – Latest Capital Raise(firecrawl.dev)
    1 pointsby 3 minutes ago
    1comments
  5. Hiring Smart(kk.org)
    1 pointsby 4 minutes ago
    —discuss
  6. Recorded, Not Proven(claude.ai)
    2 pointsby 8 minutes ago
    —discuss
  7. Git-bug, project bug tracker tool using Git objects as storage, releases v0.11.0(github.com/git-bug)
    1 pointsby 10 minutes ago
    —discuss
  8. The UV index is not the warm sensation of sunlight on bare skin(asciitweezers.com)
    4 pointsby 11 minutes ago
    —discuss
  9. Relaticle, a self-hosted CRM where AI updates data only after your approval(relaticle.com)
    2 pointsby 11 minutes ago
    —discuss
  10. No Sloptober(no-sloptober.com)
    18 pointsby 12 minutes ago
    2comments
  11. Show HN: NetM8 OS(netm8.com)
    2 pointsby 14 minutes ago
    —discuss
  12. Show HN: Typed polyglot compiler for CLI/API/MCP generation(github.com/morloc-project)
    1 pointsby 15 minutes ago
    —discuss
  13. Tinyjs – desktop apps for macOS, Windows, and Linux in ~6 MB(tinyjs.app)
    1 pointsby 17 minutes ago
    —discuss
  14. I beat all the popular harnesses on FrontierHarness Eval(github.com/tontinton)
    2 pointsby 17 minutes ago
    —discuss
  15. Microsoft killed FoxPro in 2007. Anyway, here's FoxPro revived(foxscript.org)
    5 pointsby 17 minutes ago
    —discuss
  16. ArchiveBox v0.9 released with new native apps and 50 new plugins(sweeting.me)
    3 pointsby 18 minutes ago
    1comments
  17. Kotlin 2026: Layoffs, AI, Google – Is the Golden Age Over? Jake Wharton Explains [video](youtube.com)
    1 pointsby 21 minutes ago
    —discuss
  18. Why AI Can't Replace You with Cory Doctorow [YouTube] [video](youtube.com)
    3 pointsby 22 minutes ago
    —discuss
  19. Open-Weight AI Models Seize Token Lead, but Proprietary Still Make the Money(techstrong.ai)
    2 pointsby 22 minutes ago
    —discuss
  20. Hive at v5: The Swarm Grew Up, and It Is Learning to Leave the Dashboard(hivecommons.substack.com)
    1 pointsby 22 minutes ago
    —discuss
  21. DoorDash reaches $131.5M settlement with NYC for failing to pay workers(documentedny.com)
    3 pointsby 23 minutes ago
    —discuss
  22. Apple's new watches are always listening(theconversation.com)
    5 pointsby 23 minutes ago
    —discuss
  23. Enough Reason to Act: AI safety needs policy not dismissal(norabble.com)
    2 pointsby 25 minutes ago
    —discuss
  24. Show HN: Video clip maker/editor right in the browser (supports YouTube)(heahy.com)
    1 pointsby 27 minutes ago
    —discuss
  25. Show HN: Sandopolis – A portable multi-system Sega emulator
    1 pointsby 30 minutes ago
    —discuss
  26. Show HN: JevEval, evals using Jev-as-a-judge(deepeval.com)
    1 pointsby 30 minutes ago
    —discuss
  27. Datapages v0.10.0 Beta Release(github.com/romshark)
    4 pointsby 32 minutes ago
    3comments
  28. Kremlin-backed forgery scheme moved $6.9B through global banks(ft.com)
    3 pointsby 35 minutes ago
    —discuss
  29. Common denominators of organisms with exceptional longevity(aging-us.com)
    1 pointsby 37 minutes ago
    —discuss
  30. Motorola Signature 27 officially gets a North American launch(9to5google.com)
    1 pointsby 40 minutes ago
    1comments

Making Concurrent Hardware Verification Sequential (2025)

1 pointsby 48m agodl.acm.org
Open original View on HN
0 comments
A quiet thread, for now.Start the conversation on HN ↗