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)
    74comments
  2. Linux support is coming to Snapdragon X2 Series(qualcomm.com)
    171comments
  3. Claude discovers a novel enzyme system with CRISPR-like repeats(anthropic.com)
    660comments
  4. Ideas on modernizing the open-source desktop(lwn.net)
    88comments
  5. Meta takes down a critical video about meta AI Glasses after filming at Meta(reddit.com)
    27comments
  6. ArXiv receives multiyear commitments to support it as an independent nonprofit(arxiv.org)
    20comments
  7. Contrastive Language Models(contrastive-lm.notion.site)
    14comments
  8. VSCode's SSH Agent Is Bananas (2025)(fly.io)
    142comments
  9. RAM: the forgotten history (2024)(coredump.cx)
    discuss
  10. Virtio-nvgpu: Near-native Nvidia GPU access inside a KVM guest(github.com/nestrilabs)
    42comments
  11. The "Windows XP Box" (2003)(mini-itx.com)
    25comments
  12. Making portable my unportable transputer C compiler(nanochess.org)
    4comments
  13. Why 'What's Opera, Doc?' looks like that(animationobsessive.substack.com)
    13comments
  14. Fixing the Portobello Police Station Clock(pointinthecloud.com)
    102comments
  15. Women Who Sold Books Door to Door(jstor.org)
    discuss
  16. Meta VR Glasses(meta.com)
    345comments
  17. Mercury 2.5 LLM hits 770 tokens per second(artificialanalysis.ai)
    63comments
  18. Making Tailscale Faster(tailscale.com)
    65comments
  19. OpenAI agent hacked Australian government website, PM says(bbc.com)
    7comments
  20. Italian parliament votes for return to nuclear energy(apnews.com)
    581comments
  21. The mystery animal on an ancient god's head(signoregalilei.com)
    32comments
  22. Tokens too cheap to meter(jyn.dev)
    200comments
  23. A brief history of Windows scroll bar shortcuts(devblogs.microsoft.com/oldnewthing)
    80comments
  24. Show HN: An open-source manufacturing ERP/MES/QMS(carbon.ms)
    15comments
  25. Data liberation: Apache Kafka's native cluster mirroring(redhat.com)
    1comments
  26. Solving for faster SHA-1 collision detection(sam.dev)
    8comments
  27. Lambda MicroEgg(philipzucker.com)
    1comments
  28. Six-year-old breaks women's world Rubik's Cube record [video](youtube.com)
    33comments
  29. LensVLM: Compressing long context as images, expanding only relevant pages(huggingface.co)
    7comments
  30. Gemini 3.8 text-to-speech(blog.google)
    137comments

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.