HN Top Links - Popular Stories from Hacker News

13861.

In Menlo Park housing fight, Bonta sends potential warning to California cities (sfchronicle.com)

3 points by randycupertino 1 month ago | 0 comments

13862.

Beyond the Library: An Agentic Framework for Autoformalizing Research Math (arxiv.org)

3 points by matt_d 1 month ago | 0 comments

13863.

We Lost Reading (pelayoarbues.com)

3 points by max-ch 1 month ago | 0 comments

13864.

Design of 1 TWe Fusion Power Plant (medium.com)

3 points by AlanSE 1 month ago | 0 comments

13865.

Unlimited text chats with GPT-5.6 Luna for everyone (twitter.com)

3 points by wertyk 1 month ago | 0 comments

13866.

Automating Godel's Ontological Proof of God's Existence [pdf] (christoph-benzmueller.de)

3 points by ibobev 1 month ago | 0 comments

13867.

Gemma Translator: offline DIY translation device built with Gemma 4 (youtube.com)

3 points by twobitshifter 1 month ago | 0 comments

13868.

The messy politics behind Google's big AI shakeup (theverge.com)

3 points by Anon84 1 month ago | 0 comments

13869.

Anhedonia (en.wikipedia.org)

3 points by klaussilveira 1 month ago | 0 comments

13870.

Everyday Technology Is Becoming a Black Box. Is There a Cost? (thereader.mitpress.mit.edu)

3 points by EA-3167 1 month ago | 0 comments

13871.

tla-rs: IronFleet and AutoMan in Verus (github.com)

3 points by matt_d 1 month ago | 0 comments

13872.

Because the machine must break (true empowerment in the age of AI tools) (nathalielawhead.com)

3 points by speckx 1 month ago | 0 comments

13873.

AI and Productivity: What Firms Are Saying on Earnings Calls (stlouisfed.org)

3 points by b-man 1 month ago | 0 comments

13874.

Show HN: AI Assistant that verifies its own sources (cochat.ai)

3 points by colibris 1 month ago | 0 comments

13875.

Riddle Me This, Clanker (failingloudly.substack.com)

3 points by shubsharan 1 month ago | 0 comments

13876.

Show HN: ARF – a record format for AI evaluation runs, with reproducible digests (korvo.xyz)

3 points by akshay_bhardwaj 1 month ago | 0 comments

13877.

Someone Stole $15,000 And Nobody Cared (michelesteelenow.substack.com)

3 points by jawns 1 month ago | 0 comments

13878.

List of Edible Salts (en.wikipedia.org)

3 points by Chaseraph 1 month ago | 0 comments

13879.

The energy use of agentic AI (theclimatebrink.com)

3 points by alphabetatango 1 month ago | 0 comments

13880.

Starbucks new powder making people sick [video] (youtube.com)

3 points by Bender 1 month ago | 0 comments

13881.

Fediverse Sovereignty and Patentable Experiences (future-secured.com)

3 points by adrianwaj 1 month ago | 0 comments

13882.

Show HN: Claude Code that renders Hebrew/Arabic/Persian in the terminal (github.com)

3 points by Noambbb 1 month ago | 0 comments

13883.

Objects That Explain America (nytimes.com)

3 points by mooreds 1 month ago | 0 comments

13884.

A path tracer through the translation stack (ark.marianposaceanu.com)

3 points by marianposaceanu 1 month ago | 0 comments

13885.

Demise of the monoculture: many have never heard UK's record-breaking No 1 song (theguardian.com)

3 points by coloneltcb 1 month ago | 0 comments

13886.

All Agent Skills (allagentskills.com)

3 points by Diablo556 1 month ago | 0 comments

13887.

What it takes to build agent infrastructure yourself (twitter.com)

3 points by gmays 1 month ago | 0 comments

13888.

Romania blasts rock to divert water from drought-hit Danube to nuclear reactor (theguardian.com)