HN Top Links - Popular Stories from Hacker News

9151.

High-Throughput Lean 4 Autoformalization Model for Local Inference (meshapplied.com)

4 points by matteohorvath 3 weeks ago | 1 comments

9152.

Emacs 31.1 RC1 is available (lists.gnu.org)

4 points by ixsploit 4 weeks ago | 1 comments

9153.

I've been doing endurance testing on microSD cards for the last 3 years (reddit.com)

4 points by trymas 4 weeks ago | 1 comments

9154.

Context for Claude – give eyes and ears to your agents (contextforclaude.com)

4 points by Archit_lal_ 4 weeks ago | 1 comments

9155.

With OpenRouter, Is Stripe Becoming the Amazon of AI (github.com)

4 points by AnhTho_FR 4 weeks ago | 1 comments

9156.

Show HN: Vyral – Portable contracts for data, retrieval, durable work, and MCP (github.com)

4 points by ocdjeremy 4 weeks ago | 1 comments

9157.

Conversion of CO2 to CO by Solvated Electrons in Molten Salts (pubs.acs.org)

4 points by car 4 weeks ago | 1 comments

9158.

At the moment: 472 gas-fired power plants are under development in the US (twitter.com)

4 points by ksec 3 weeks ago | 1 comments

9159.

CyberStrike – open-source AI harness for offensive security (AGPL) (github.com)

4 points by orhanyildirim 3 weeks ago | 1 comments

9160.

Nvidia CMP170HX driver 64GB RAM unlocking patch (github.com)

4 points by ValdikSS 4 weeks ago | 1 comments

9161.

MacBook Is Now an AI Workstation: Run Qwen 3.8 Locally (suyash-joshi.medium.com)

4 points by suyash 4 weeks ago | 1 comments

9162.

Making LEDs at Home [video] (youtube.com)

4 points by Klaster_1 3 weeks ago | 1 comments

9163.

Suspicions of hitting daughter between a congressman and his ex-wife (washingtonpost.com)

4 points by doctorpangloss 3 weeks ago | 1 comments

9164.

France issues warning over substandard condoms (dw.com)

4 points by tchalla 3 weeks ago | 1 comments

9165.

Mockup Nvidia GPUs on Linux systems (github.com)

4 points by rnts08 3 weeks ago | 1 comments

9166.

Ox Alpha Is Performing SOTA and as Well as GPT-5.6 Sol in Multi-Agent Arena (twitter.com)

4 points by sensho 3 weeks ago | 1 comments

9167.

As demand for Meta AI glasses explodes, it's harder to avoid creepy recordings (arstechnica.com)

4 points by Alephinitesimal 3 weeks ago | 1 comments

9168.

Detexify Got Vibed (detexify.kirelabs.org)

4 points by ks2048 3 weeks ago | 1 comments

9169.

Futuristic 'hologram' tech promises ultra-realistic human telepresence (2018) (nbcnews.com)

4 points by peter_d_sherman 3 weeks ago | 1 comments

9170.

The Icelandic Phallological Museum: The world's only penis museum (phallus.is)

4 points by NaOH 3 weeks ago | 1 comments

9171.

The only leverage that scales in 2026 is Taste written down (kig.re)

4 points by kigster 3 weeks ago | 1 comments

9172.

Dolphins observed using sea snail shells as tools outside Western Australia (onlinelibrary.wiley.com)

4 points by bcaulfield 3 weeks ago | 1 comments

9173.

I created a free Analysis textbook (openkira.org)

4 points by SukkrivaaVijaya 4 weeks ago | 1 comments

9174.

Greenwich moon time? The race to set lunar clocks (ft.com)

4 points by samizdis 3 weeks ago | 1 comments

9175.

Taskuary – Your inbox becomes tasks, your coding CLI works them (github.com)

4 points by monkeydo09 3 weeks ago | 1 comments

9176.

Game Necromancy: Resurrecting Yahoo Word Racer from Old YouTube Videos (jamesshapiro.com)

4 points by jamesshapiro 3 weeks ago | 1 comments

9177.

Why is the Amish population growing so fast in America? (phys.org)

4 points by simonebrunozzi 4 weeks ago | 1 comments

9178.

Wetherspoons bans customers playing music from phones in pubs (bbc.co.uk)

4 points by zeristor 4 weeks ago | 1 comments

9179.

Claude has a "Concise" output style (code.claude.com)

4 points by ball_of_lint 3 weeks ago | 1 comments

9180.

Why Some People Are Born with Devastating Gene Mutations–and Never Get Sick (nationalgeographic.com)

4 points by bookofjoe 3 weeks ago | 1 comments