HN Top Links - Popular Stories from Hacker News

9481.

Signal Shot: Verifying the Signal Protocol and Rust Implementation with Lean (leodemoura.github.io)

4 points by birdculture 1 week ago | 0 comments

9482.

Why Are Palantir and OpenAI Scared of Alex Bores? (youtube.com)

4 points by frm88 1 week ago | 0 comments

9483.

Show HN: Muxforge Tmux Plugin Manager (muxforge.dev)

4 points by techalchemist 1 week ago | 0 comments

9484.

The 'unregistered Americans': because of their parents, they do not exist (theguardian.com)

4 points by MaysonL 1 week ago | 0 comments

9485.

Show HN: Detecting API degradation before thresholds are crossed

4 points by AnchorFlow 1 week ago | 0 comments

9486.

As wars throttle gas, Japan is embracing nuclear (politico.com)

4 points by leonidasrup 1 week ago | 0 comments

9487.

Jeff Bezos' Blue Origin blasts customer's satellite into wrong place (nypost.com)

4 points by 1vuio0pswjnm7 1 week ago | 0 comments

9488.

Elon Musk Ignores French Prosecutors, Widening Tech Rift with Europe (nytimes.com)

4 points by 1vuio0pswjnm7 1 week ago | 0 comments

9489.

Show HN: Mulder – Containerized MCP server for digital forensics investigations (github.com)

4 points by calebevans 1 week ago | 0 comments

9490.

Microsoft must face $2.8B UK lawsuit over cloud computing licences (reuters.com)

4 points by rolph 1 week ago | 0 comments

9491.

Blue Origin rocket grounded after satellite 'mishap' (bbc.com)

4 points by jethronethro 1 week ago | 0 comments

9492.

I can never talk to an AI anonymously again (theargumentmag.com)

4 points by maxutility 1 week ago | 0 comments

9493.

Japan lifts ban on lethal arms exports for first time since second world war (ft.com)

4 points by mikhael 1 week ago | 0 comments

9494.

Show HN: Stet – PostScript Level 3 interpreter and PDF toolkit in Rust (andycappdev.github.io)

4 points by AndyCappDev 1 week ago | 0 comments

9495.

Claude Platform on AWS (Coming Soon) (aws.amazon.com)

4 points by connortyndall 1 week ago | 0 comments

9496.

AMD Ryzen 9 9950X3D2 Dual Edition tested: Sweet, gratuitous overkill (theregister.com)

4 points by geekinchief 1 week ago | 0 comments

9497.

Falling fertility, debt and AI: is the US headed toward a population crisis? (theguardian.com)

4 points by Teever 1 week ago | 0 comments

9498.

Why Are Palantir and OpenAI Scared of Alex Bores? (nytimes.com)

4 points by tobr 1 week ago | 0 comments

9499.

HogPocket – Open-source product analytics, session replay, and feature flags (apps.apple.com)

4 points by omardakelbab1 1 week ago | 0 comments

9500.

'People still remember it 40 years later': the making of Chuckie Egg (theguardian.com)

4 points by stevekemp 1 week ago | 0 comments

9501.

Arch Linux now has a reproducible container image (lwn.net)

4 points by Brajeshwar 1 week ago | 0 comments

9502.

The Commodification of Travel (herman.bearblog.dev)

4 points by HermanMartinus 1 week ago | 0 comments

9503.

Approaches to Tenancy in Postgres (planetscale.com)

4 points by 0xKelsey 1 week ago | 0 comments

9504.

Guinea worm is about to be eradicated (twitter.com)

4 points by mhb 1 week ago | 0 comments

9505.

Show HN: ModelX – Prediction Exchange for LLMs (model-x.up.railway.app)

4 points by Entropnt 1 week ago | 0 comments

9506.

From one disappointing order to a massive 'ghost cake' delivery scandal in China (cnn.com)

4 points by asplake 1 week ago | 0 comments

9507.

Coreutils-9.11 Released (savannah.gnu.org)

4 points by Tomte 1 week ago | 0 comments

9508.

My AI Workflow (Without Losing My Skills) (marcgg.com)

4 points by r4um 1 week ago | 0 comments

9509.

Ask HN: Any Open Source Claude Design Alternatives?

4 points by rmzs0711 1 week ago | 0 comments

9510.

I started an open source project instead of begging on the street (medium.com)

4 points by nieuwmijnleven 1 week ago | 0 comments