Hacker News

Top stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. Early rogue AI agent activity and attempts to hack found on urlquery.net(transluce.org)
    47comments
  2. Linux support is coming to Snapdragon X2 Series(qualcomm.com)
    160comments
  3. Claude discovers a novel enzyme system with CRISPR-like repeats(anthropic.com)
    648comments
  4. Ideas on modernizing the open-source desktop(lwn.net)
    66comments
  5. Microsoft tried to ban "Microslop", and six months later it has given up(windowslatest.com)
    7comments
  6. ArXiv receives multiyear commitments to support it as an independent nonprofit(arxiv.org)
    20comments
  7. Contrastive Language Models(contrastive-lm.notion.site)
    9comments
  8. VSCode's SSH Agent Is Bananas (2025)(fly.io)
    134comments
  9. Virtio-nvgpu: Near-native Nvidia GPU access inside a KVM guest(github.com/nestrilabs)
    41comments
  10. Making portable my unportable transputer C compiler(nanochess.org)
    4comments
  11. The "Windows XP Box" (2003)(mini-itx.com)
    24comments
  12. Why 'What's Opera, Doc?' looks like that(animationobsessive.substack.com)
    10comments
  13. Fixing the Portobello Police Station Clock(pointinthecloud.com)
    101comments
  14. Meta VR Glasses(meta.com)
    335comments
  15. Mercury 2.5 LLM hits 770 tokens per second(artificialanalysis.ai)
    61comments
  16. Making Tailscale Faster(tailscale.com)
    62comments
  17. Women Who Sold Books Door to Door(jstor.org)
    discuss
  18. The backend that ran every game we made, ten years and counting(m2h.nl)
    2comments
  19. OpenAI agent hacked Australian government website, PM says(bbc.com)
    2comments
  20. Italian parliament votes for return to nuclear energy(apnews.com)
    551comments
  21. Data liberation: Apache Kafka's native cluster mirroring(redhat.com)
    1comments
  22. The mystery animal on an ancient god's head(signoregalilei.com)
    29comments
  23. Tokens too cheap to meter(jyn.dev)
    199comments
  24. A brief history of Windows scroll bar shortcuts(devblogs.microsoft.com/oldnewthing)
    77comments
  25. Six-year-old breaks women's world Rubik's Cube record [video](youtube.com)
    22comments
  26. Show HN: An open-source manufacturing ERP/MES/QMS(carbon.ms)
    14comments
  27. Lambda MicroEgg(philipzucker.com)
    1comments
  28. Solving for faster SHA-1 collision detection(sam.dev)
    7comments
  29. LensVLM: Compressing long context as images, expanding only relevant pages(huggingface.co)
    7comments
  30. Gemini 3.8 text-to-speech(blog.google)
    136comments

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.