HN Top Links - Popular Stories from Hacker News

16111.

Show HN: Symbolic Circuit Distillation: prove program to LLM circuit equivalence (github.com)

16 points by nsomani 4 months ago | 2 comments

16112.

China taxes condoms, contraceptive drugs in bid to spur birth rate (reuters.com)

16 points by DustinEchoes 4 months ago | 2 comments

16113.

Logitech mice impaired due to expired certificate (old.reddit.com)

16 points by bdcravens 4 months ago | 2 comments

16114.

Who's who at X, the deepfake porn site formerly known as Twitter (ft.com)

16 points by _tk_ 4 months ago | 2 comments

16115.

The White House just said your life is worth nothing. Yes, literally. (electrek.co)

16 points by FabHK 4 months ago | 2 comments

16116.

Show HN: ADHD Focus Light (github.com)

16 points by zonghao 4 months ago | 2 comments

16117.

Musk Updates Starlink to Beat Iran's 'Kill Switch'–Makes It Free (forbes.com)

16 points by Imustaskforhelp 4 months ago | 2 comments

16118.

OpenAI Asking Contractors to Upload Work from Past Jobs to Evaluate AI Agents (wired.com)

16 points by rbanffy 4 months ago | 2 comments

16119.

Microsoft Windows Media Player stops serving up CD album info (theregister.com)

16 points by 7777777phil 4 months ago | 2 comments

16120.

Media Player Classic Qute Theater (github.com)

16 points by XzetaU8 4 months ago | 2 comments

16121.

"Don't worry. Boys are hard to find." Trump/Epstein and... Criminal Enterprises (lisevoldeng.substack.com)

16 points by Tadpole9181 4 months ago | 2 comments

16122.

Google translategemma 4B Translation Models (huggingface.co)

16 points by darktoto 4 months ago | 2 comments

16123.

Show HN: Is AI "good" yet? – tracking HN sentiment on AI coding (is-ai-good-yet.com)

16 points by ilyaizen 3 months ago | 2 comments

16124.

US to send ICE agents to Winter Olympics, prompting Italian anger (bbc.com)

16 points by tacheiordache 3 months ago | 2 comments

16125.

A Steam Deck can be a Bluetooth speaker (xeiaso.net)

16 points by speckx 3 months ago | 2 comments

16126.

State Department deleting 17 years of tweets (2009-2025); preservation needed (npr.org)

16 points by sleazylice 3 months ago | 2 comments

16127.

Show HN: Agentseed – Generate Agents.md from a Codebase (github.com)

16 points by avinshe 3 months ago | 2 comments

16128.

Solvingn the Santa Claus concurrency puzzle with a model checker (wyounas.github.io)

16 points by simplegeek 3 months ago | 2 comments

16129.

Mrinank Sharma Resigns from Anthropic (twitter.com)

16 points by chaghalibaghali 3 months ago | 2 comments

16130.

Gamma Function: Visualization for Complex Arguments (vanilla-gamma-graph.netlify.app)

16 points by cpuXguy 3 months ago | 2 comments

16131.

Race for AI is making Hindenburg-style disaster a real risk, says leading expert (theguardian.com)

16 points by trusche 3 months ago | 2 comments

16132.

12-hour days, no weekends: the anxiety driving AI's work culture is a warning (theguardian.com)

16 points by aanet 3 months ago | 2 comments

16133.

Google vs. SerpApi: We're Filing a Motion to Dismiss (serpapi.com)

16 points by SerpApi 3 months ago | 2 comments

16134.

Nearly half of 50-cal ammo seized by Mexico came from US Army plant (icij.org)

16 points by Avshalom 2 months ago | 2 comments

16135.

Yes, and (htmx.org)

16 points by todsacerdoti 2 months ago | 2 comments

16136.

EFF to Court: Don't Make Embedding Illegal (eff.org)

16 points by hn_acker 2 months ago | 2 comments

16137.

Robert Kaye from MusicBrainz has passed away (blog.metabrainz.org)

16 points by jbk 2 months ago | 2 comments

16138.

Vite 8.0 is out! (vite.dev)

16 points by rk06 2 months ago | 2 comments

16139.

Why DuckDuckGo is building its own web search index (insideduckduckgo.substack.com)

16 points by twapi 2 months ago | 2 comments

16140.

The Browser Becomes Your WordPress (wordpress.org)

16 points by tiernano 2 months ago | 2 comments