Hacker News

Top stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. Linux support is coming to Snapdragon X2 Series(qualcomm.com)
    149comments
  2. Early rogue AI agent activity and attempts to hack found on urlquery.net(transluce.org)
    27comments
  3. Claude discovers a novel enzyme system with CRISPR-like repeats(anthropic.com)
    635comments
  4. Contrastive Language Models(contrastive-lm.notion.site)
    6comments
  5. ArXiv receives multiyear commitments to support it as an independent nonprofit(arxiv.org)
    20comments
  6. VSCode's SSH Agent Is Bananas (2025)(fly.io)
    130comments
  7. Ideas on modernizing the open-source desktop(lwn.net)
    49comments
  8. Virtio-nvgpu: Near-native Nvidia GPU access inside a KVM guest(github.com/nestrilabs)
    35comments
  9. Making portable my unportable transputer C compiler(nanochess.org)
    4comments
  10. The "Windows XP Box" (2003)(mini-itx.com)
    21comments
  11. Meta VR Glasses(meta.com)
    319comments
  12. OpenAI breaches Medicare, Albanese reveals(smh.com.au)
    127comments
  13. Feds Target AI Critics as "Foreign Agents"(kenklippenstein.com)
    263comments
  14. Fixing the Portobello Police Station Clock(pointinthecloud.com)
    99comments
  15. Why 'What's Opera, Doc?' looks like that(animationobsessive.substack.com)
    5comments
  16. Mercury 2.5 LLM hits 770 tokens per second(artificialanalysis.ai)
    57comments
  17. Women Who Sold Books Door to Door(jstor.org)
    discuss
  18. Making Tailscale Faster(tailscale.com)
    57comments
  19. The mystery animal on an ancient god's head(signoregalilei.com)
    27comments
  20. Italian parliament votes for return to nuclear energy(apnews.com)
    507comments
  21. Six-year-old breaks women's world Rubik's Cube record [video](youtube.com)
    16comments
  22. Lambda MicroEgg(philipzucker.com)
    1comments
  23. Data liberation: Apache Kafka's native cluster mirroring(redhat.com)
    1comments
  24. Tokens too cheap to meter(jyn.dev)
    196comments
  25. LensVLM: Compressing long context as images, expanding only relevant pages(huggingface.co)
    7comments
  26. Show HN: An open-source manufacturing ERP/MES/QMS(carbon.ms)
    14comments
  27. Gemini 3.8 text-to-speech(blog.google)
    133comments
  28. A brief history of Windows scroll bar shortcuts(devblogs.microsoft.com/oldnewthing)
    73comments
  29. Solving for faster SHA-1 collision detection(sam.dev)
    6comments
  30. Radicle: Disclosure of Vulnerability in the Network Protocol(radicle.dev)
    54comments

Prime Gaps at Most 186

51 pointsby 20d agogithub.com
11 comments
20d agoHN ↗

who knew the primary utility of pure math would be to juice pre-ipo valuations ¯\_(ツ)_/¯

20d agoHN ↗

What is this AI-generated gobbledygook actually trying to say? That there are infinitely many pairs of primes p,q with q=p+186?

The first equation under "The result" seems to be saying they found an infinite sequence of primes whose density is forever greater than 1/186, which doesn't match my understanding of how prime density works.

20d agoHN ↗

it's saying that there is an infinite list of pairs of primes p,q such that |p-q|<=186. the syntax they're using is arguably bad, but standard

20d agoHN ↗

I think it is talking about the existance of close primes, rather than the densitiy of close primes.

20d agoHN ↗

blegh, both the code comments and readme reek of verbose claude puke.

The registered Lean build passed without errors or warnings.

thanks. i like it when my proofs do not error.

Edit: just saw this was published under openai, yikes.

20d agoHN ↗

??? this is unreadable lol. i feel like i understand the math behind it but the writing is so unintelligible that i dont even care about the results.

20d agoHN ↗

??? this is unreadable lol. i feel like i understand the math behind it but the writing is so unintelligible that i dont even care about the results.

Who cares, partially no one understands advanced math, and even fewer will one we replace mathematicians with AI.

This just proves that OpenAI is awesome, the value of brains is dropping precipitously, and Sam Altman needs to be made into a trillionare.