Hacker News

New stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. I Prefer to Write Correspondence Long-Hand [Image](bi6.us)
    1 pointsby 0 minutes ago
    —discuss
  2. Meta's new transoceanic undersea cable boasts a petabit of bandwidth(tomshardware.com)
    1 pointsby 0 minutes ago
    —discuss
  3. One professor's AI-assisted output: 200 papers and 14 books this year(washingtonpost.com)
    1 pointsby 0 minutes ago
    1comments
  4. Amazon is trying to rehire workers it laid off, emails show(businessinsider.com)
    1 pointsby 1 minute ago
    —discuss
  5. Americans Fear AI Will Make the World Worse, Love It Anyway(404media.co)
    1 pointsby 2 minutes ago
    —discuss
  6. OpenWrt One and local AI = new superpower
    2 pointsby 4 minutes ago
    —discuss
  7. Plaindromes(futilitycloset.com)
    1 pointsby 5 minutes ago
    —discuss
  8. MCP Server for Local AI Information(promptquorum.com)
    1 pointsby 5 minutes ago
    1comments
  9. Show HN: A Shapefile converter that fixes the winding you didn't know was wrong(9revolution9.com)
    1 pointsby 5 minutes ago
    —discuss
  10. Katamari Object Library(andrew-boylan.com)
    1 pointsby 5 minutes ago
    —discuss
  11. Show HN: Sanka – Open-source DRF-to-FastAPI migration engine, benchmarked(github.com/sankahq)
    1 pointsby 6 minutes ago
    —discuss
  12. Andreessen Horowitz is launching an (AI) 'academy' with no homework(theverge.com)
    1 pointsby 7 minutes ago
    —discuss
  13. PBKDF2 has a 100k-iteration ceiling in Cloudflare Workers(whoszoo.app)
    1 pointsby 7 minutes ago
    —discuss
  14. Inference Cost Calculator(flaviocopes.com)
    1 pointsby 7 minutes ago
    —discuss
  15. 4K Analog Video Feedback Fractal Device(youtube.com)
    1 pointsby 8 minutes ago
    —discuss
  16. The Gnome LLM Policy That I Want(gnome.org)
    3 pointsby 8 minutes ago
    —discuss
  17. Fork of Adium adds support for Apple Silicon, WhatsApp, Telegram, Signal, Teams(github.com/knutmann)
    2 pointsby 9 minutes ago
    1comments
  18. Americans' Views of Data Centers Have Turned More Negative(pewresearch.org)
    2 pointsby 11 minutes ago
    —discuss
  19. Cars, New York City 1974-1976(langdonclay.com)
    1 pointsby 12 minutes ago
    —discuss
  20. Ask HN: Which harness do you use with Qwen3.8 27B? And why?
    1 pointsby 13 minutes ago
    —discuss
  21. Closing the Gap Between Float and Posit Hardware Efficiency(arxiv.org)
    1 pointsby 14 minutes ago
    —discuss
  22. Oil Tanker Costs Hit Record $1.2M a Day as Iran War Disrupts Shipping(ft.com)
    1 pointsby 14 minutes ago
    1comments
  23. NBER Economics of Artificial Intelligence Program Conference(nber.org)
    1 pointsby 15 minutes ago
    —discuss
  24. The Price of Intelligence Is Falling Rapidly(marginalrevolution.com)
    3 pointsby 16 minutes ago
    1comments
  25. Jehovah's Witnesses allow blood-derived products but keep ban on whole-blood(apnews.com)
    3 pointsby 16 minutes ago
    3comments
  26. Open-source tool will eliminate "fail-fast" logic from your code(github.com/asstgr)
    1 pointsby 17 minutes ago
    —discuss
  27. Show HN: Readplace – Read the Web Not the Slop(readplace.com)
    1 pointsby 18 minutes ago
    —discuss
  28. Why your numbers look wrong(carmenansio.com)
    1 pointsby 19 minutes ago
    —discuss
  29. The GitHub wiki is an anti-pattern(michaelheap.com)
    4 pointsby 19 minutes ago
    1comments
  30. Daily Food Recalls(dailyfoodrecalls.com)
    1 pointsby 19 minutes ago
    —discuss

Testing AIs on 68 of the hardest open Erdos problems, verified in Lean

3 pointsby 52m agoarxiv.org
Open original View on HN
0 comments
A quiet thread, for now.Start the conversation on HN ↗