Naïve physics (wikipedia.org)
2 pointsby 2 minutes ago
—discuss
A Universal Hölder Bound with runtime verification (zenodo.org)
1 pointsby 4 minutes ago
—discuss
The AI Genie Phenomenon and Three Types of AI Chatbot Addiction (arxiv.org)
1 pointsby 8 minutes ago
—discuss
OpenAI: Astra Model Is Nerfed (reddit.com)
3 pointsby 12 minutes ago
1comments
Australia investigating how F-35 fighter jet parts went missing in Hong Kong (theguardian.com)
2 pointsby 14 minutes ago
—discuss
Show HN: AI coding agents that prove their work (daneb.github.io)
1 pointsby 15 minutes ago
—discuss
Fear and Loathing in the Bunker (nytimes.com)
1 pointsby 15 minutes ago
—discuss
A bounty system for surfacing new crypto scam patterns before they spread (dontkyc.me)
1 pointsby 15 minutes ago
—discuss
Five Indianapolis officers charged following reporting on Flock misuse (msn.com)
1 pointsby 17 minutes ago
—discuss
Prefill Concurrency in SGLang: Consistent TTFT Under Multi-Tenant Load (sference.com)
1 pointsby 17 minutes ago
—discuss
Show HN: Note Duel – LLM Arena for composing music (noteduel.com)
1 pointsby 18 minutes ago
—discuss
How Virus-Like 'Jumping Genes' Became Our Partners in Evolution (quantamagazine.org)
1 pointsby 21 minutes ago
—discuss
The Day Bobby Fischer Blew It (thestacksreader.com)
1 pointsby 21 minutes ago
—discuss
Regional Revitalization in the Tokyo Suburbs:Population and Regional Differences (note.com)
1 pointsby 22 minutes ago
1comments
Scientists Detect Radio Signals from an Exoplanet for the First Time in History (wired.com)
1 pointsby 23 minutes ago
1comments
Homa: The End of TCP for AI Clusters [video] (youtube.com)
1 pointsby 24 minutes ago
—discuss
The Hugging Face incident and impacts of misaligned models on third parties (openai.com)
1 pointsby 27 minutes ago
—discuss
NASA Details Earthquake Effects on the Earth (nasa.gov)
1 pointsby 29 minutes ago
—discuss
Spherical Cow (wikipedia.org)
1 pointsby 30 minutes ago
—discuss
Ultima Online Retrospective – The Last Hurrah [video] (youtube.com)
2 pointsby 33 minutes ago
—discuss
MiMo-v2.6-RL-OSS dataset (huggingface.co)
2 pointsby 36 minutes ago
—discuss
New in Chrome 154: iframes that automatically resize themselves to their content (bram.us)
2 pointsby 36 minutes ago
—discuss
Improving site performance by shipping more CSS (github.blog)
1 pointsby 36 minutes ago
—discuss
It all fits: wgpu, Metal, Vulkan, WebGL, WASM, WebGPU, Luau [video] (youtube.com)
1 pointsby 38 minutes ago
1comments
Show Keystrokes – Keystroke and Shortcut Visualizer Custom Element (show-keystrokes.netlify.app)
1 pointsby 38 minutes ago
—discuss
How Work Network Works: A Multi-Activity Mobile Rewards Platform (work-networks.com)
1 pointsby 39 minutes ago
—discuss
Codetta: High-Capacity, Keyless, and Undetectable Multi-Agent Collusion (arxiv.org)
1 pointsby 39 minutes ago
—discuss
Minecraft random seed world record (with a particle accelerator) [video] (youtube.com)
2 pointsby 39 minutes ago
—discuss
Understanding the Impact of LLM Watermarking on AI Agent Behavior (lasso.security)
23 pointsby 41 minutes ago
1comments
Meta Expands Private Processing Confidential Computing to AI Glasses (unite.ai)
1 pointsby 41 minutes ago
—discuss

Zeta(5) has been proven irrational (also Lean-verified)

2 pointsby 1h agoreddit.com

This reaches 1/3 milestones deemed a "breakthrough" by Epoch AI: https://epoch.ai/frontiermath/open-problems/apery-irrational...

The remaining two "breakthrough" milestones are (i) a proof or refutation of the Poincaré conjecture in 4 dimensions (ii) an improvement to the best-known classical prime factorisation algorithms.

Open thread on HN ↗