HN Top Links - Popular Stories from Hacker News

2251.

130k Lines of Formal Topology: Simple and Cheap Autoformalization for Everyone? (arxiv.org)

33 points by PaulHoule 1 week ago | 11 comments

2252.

"Clothing-as-a-Service" startup charged with $300M fraud (2025) (cnbc.com)

33 points by mv4 1 week ago | 10 comments

2253.

How Long Is the Coast of Britain? (1967) (jstor.org)

33 points by Hooke 2 weeks ago | 9 comments

2254.

Carbon dioxide overload in human blood suggests a toxic atmosphere in 50 years (link.springer.com)

33 points by OutOfHere 1 week ago | 8 comments

2255.

Generalized Sequential Probability Ratio Test for Families of Hypotheses [pdf] (sites.stat.columbia.edu)

33 points by luu 3 weeks ago | 6 comments

2256.

US issues 30-day sanctions waiver for purchase of Russian oil at sea (reuters.com)

33 points by geox 11 hours ago | 6 comments

2257.

Out of Light Adjust Share: Caravaggio, La Tour, and the Art of Attention (harpers.org)

33 points by prismatic 2 weeks ago | 5 comments

2258.

Btrfs disk errors to fall asleep to (ounapuu.ee)

33 points by argulane 3 weeks ago | 4 comments

2259.

Claude Code told me what tools it needs to work faster (sderosiaux.substack.com)

33 points by chtefi 1 week ago | 4 comments

2260.

Holo v0.9: A Modern Routing Stack Built in Rust (github.com)

33 points by WarOnMosquitoes 2 weeks ago | 3 comments

2261.

Metacritic statement pledges to ban outlets that use AI-generated reviews (shacknews.com)

33 points by cratermoon 2 weeks ago | 3 comments

2262.

Iran says targeted AWS Data Centers for support of U.S. military (cnbc.com)

33 points by johnbarron 1 week ago | 2 comments

2263.

Scipy.stats. Chatterjeexi (docs.scipy.org)

33 points by kamaraju 2 weeks ago | 2 comments

2264.

Chat Control Vote in the EU to End Untargeted Mass Scanning of Private Chats (patrick-breyer.de)

33 points by dinowars 2 days ago | 2 comments

2265.

Kristi Noem Out as DHS Secretary (cbsnews.com)

33 points by cdrnsf 1 week ago | 2 comments

2266.

Scent, in Silico (asimov.press)

33 points by surprisetalk 3 weeks ago | 1 comments

2267.

Americans now spend 6.3 hours per day on their phones, up 1 hour from 2023 (apptopia.com)

33 points by gmays 3 weeks ago | 1 comments

2268.

Asus executive says MacBook Neo is 'shock' to PC industry (macrumors.com)

33 points by alwillis 2 days ago | 1 comments

2269.

NaN Is Weird (brassnet.biz)

32 points by freediver 5 days ago | 59 comments

2270.

How do you capture WHY engineering decisions were made, not just what?

32 points by zain__t 4 hours ago | 56 comments

2271.

Searching for the Agentic IDE (twitter.com)

32 points by bigwheels 2 days ago | 35 comments

2272.

Ask HN: Is it worth learning Vim in 2026?

32 points by zekejohn 3 weeks ago | 35 comments

2273.

You deleted everything and AWS is still charging you? (jvogel.me)

32 points by ke4qqq 6 hours ago | 26 comments

2274.

Malm Whale (atlasobscura.com)

32 points by thunderbong 1 week ago | 19 comments

2275.

Chiplets Get Physical: The Days of Mix-and-Match Silicon Draw Nigh (eejournal.com)

32 points by transpute 3 weeks ago | 18 comments

2276.

Meta's Zuckerberg faces questioning at youth addiction trial (reuters.com)

32 points by 1vuio0pswjnm7 3 weeks ago | 16 comments

2277.

The Human Root of Trust – public domain framework for agent accountability (humanrootoftrust.org)

32 points by eduardovega 2 weeks ago | 15 comments

2278.

Stop Putting Secrets in .env Files (jonmagic.com)

32 points by veverkap 1 week ago | 14 comments

2279.

Israel says it has attacked Iran, declares state of emergency (cnbc.com)

32 points by LordAtlas 1 week ago | 13 comments

2280.

Pentagon officials send Anthropic best and final offer for military use of AI (cbsnews.com)

32 points by rob 2 weeks ago | 10 comments