Hacked News
Formalizing Fermat's Last Theorem (www.anthropic.com)
659submitted 20 hours ago | 415 comments
Adult Film Producer Unmasks Prolific 'John DOE' Torrent Pirate as Meta Executive (torrentfreak.com)
399submitted 22 hours ago | 234 comments
Shutting down our public encrypted DNS (mullvad.net)
381submitted 20 hours ago | 175 comments
Show HN: Open-Source eInk Bike Computer (opentrailpaper.com)
324submitted 21 hours ago | 108 comments
Corporate America is getting hooked on open-source AI (www.nytimes.com)
305submitted 23 hours ago | 282 comments
Can AI design circuit boards yet? (eebench.org)
294submitted 19 hours ago | 177 comments
Gmail to end support for "Send as" for third-party addresses, such as @yahoo.com (support.google.com)
187submitted 23 hours ago | 128 comments
The Rust React Compiler is now native in Vite (blog.master.dev)
154submitted 21 hours ago | 39 comments
deSEC – Free Secure DNS (desec.io)
143submitted 23 hours ago | 52 comments
Fermat's Last Theorem in Lean 4 (github.com)
128submitted 20 hours ago | 25 comments
“Next-token predictor” is the wrong mental model for LLMs (gmcgoldr.github.io)
122submitted 21 hours ago | 259 comments
Government Rails Site Hit Hours After CVE Patch (rietta.com)
104submitted 19 hours ago | 35 comments
An open DNS recursive service for free security and high privacy (quad9.net)
103submitted 18 hours ago | 31 comments
Georgi Gerganov on llama.cpp/ggml future after Nvidia acquisition of HuggingFace (twitter.com)
75submitted 21 hours ago | 26 comments
Amazon Achieves Enshitification Inception (pluralistic.net)
75submitted 20 hours ago | 14 comments
Project HydraFusion: Frontier quality via multi-model orchestration (github.blog)
69submitted 22 hours ago | 31 comments
How to Create a Tor Exit Node (2015) (madpsy.uk)
54submitted 18 hours ago | 32 comments
Hayes AT command set (en.wikipedia.org)
42submitted 21 hours ago | 12 comments
Woman who exposed FBI official for working with Russian oligarch found dead (www.newsweek.com)
38submitted 23 hours ago | 0 comments
GPT-6 Astra Generally Available (twitter.com)
22submitted 18 hours ago | 6 comments
FreeTaxUSA's Binding Arbitration Agreement (www.freetaxusa.com)
21submitted 20 hours ago | 5 comments
UN approves resolution in support of map that shows Africa's true size (www.reuters.com)
20submitted 19 hours ago | 7 comments
Splash-free urinals: Design through physics and differential equations (academic.oup.com)
19submitted 20 hours ago | 5 comments
UN votes to adopt new map that makes our world look different (www.cnn.com)
18submitted 22 hours ago | 3 comments
More Targets of the OpenAI Agent Swarm (fi-le.net)
17submitted 19 hours ago | 1 comments
Searching for the Best Silicone USB Cable (www.frankchiarulli.com)
17submitted 18 hours ago | 5 comments
Microsoft says Windows 11 age checks will limit features, starting with Teams (www.neowin.net)
16submitted 20 hours ago | 3 comments
U.S. Navy Spent $3.4B on Idled Submarines, Could Spend Another $3.1B More (www.jalopnik.com)
16submitted 19 hours ago | 7 comments
UN to vote on adopting new world map that shows true size of all countries (www.independent.co.uk)
13submitted 22 hours ago | 11 comments
Xfinity silently blocks lots of new domains
13submitted 20 hours ago | 3 comments
Genetic diversity is a predictor of mortality in humans (link.springer.com)
13submitted 19 hours ago | 1 comments
US urged to consider military strikes to stop China achieving AGI first (www.scmp.com)
9submitted 23 hours ago | 5 comments
What the Third Reich Can Teach Us About America Today (www.nytimes.com)
9submitted 22 hours ago | 1 comments
US Military turns off ad trackers on devices amid Middle East targeting reports (www.reuters.com)
9submitted 19 hours ago | 1 comments
US Senator demands NSA update VPN guidance over foreign spying risks (www.techradar.com)
9submitted 18 hours ago | 0 comments
Fast weights and sparse attention in GLM-5.3-Flash (idlemachines.co.uk)
7submitted 23 hours ago | 0 comments
UN to move to Equal Earth Projection (en.wikipedia.org)
7submitted 22 hours ago | 0 comments
CPAN Uploads Are Up 50% Year-over-Year (www.olafalders.com)
7submitted 20 hours ago | 0 comments
Ask HN: Does anyone have access to GPT-6 Astra yet?
7submitted 20 hours ago | 5 comments
Sudden Unexpected Death in the Pfizer BNT162b2 Trial (esmed.org)
7submitted 19 hours ago | 2 comments
Most Software Was Already Slop (www.abeautifulsite.net)
6submitted 23 hours ago | 1 comments
Squeezing Performance Out of eBPF (bitbison.io)
6submitted 21 hours ago | 0 comments
Vigilantism Comes for Flock (this.weekinsecurity.com)
6submitted 19 hours ago | 1 comments
Gridfinity (en.wikipedia.org)
5submitted 23 hours ago | 3 comments
Some US car buyers envy what they cannot have – affordable Chinese EVs (www.reuters.com)
5submitted 23 hours ago | 0 comments
UK residents warned to stock up on food due to El Niño (www.bbc.co.uk)
5submitted 21 hours ago | 2 comments
Nobody Is Saying Why OpenAI and Anthropic Had Outages (www.wired.com)
5submitted 21 hours ago | 0 comments
NetworkManager Works to Enforce AI Policy by Tricking AI Agents to Add a Canary (www.phoronix.com)
5submitted 19 hours ago | 0 comments
In a First, a Pig Kidney Kept a Patient Alive Until He Got a Human One (www.nytimes.com)
5submitted 19 hours ago | 0 comments
The Download: selling battlefield drone data and AI reshaping language (www.technologyreview.com)
4submitted 21 hours ago | 1 comments