HN Top Links - Popular Stories from Hacker News

9391.

Extracting verified C++ from the Rocq theorem prover at Bloomberg (bloomberg.github.io)

129 points by clarus 8 months ago | 39 comments

9392.

Spanish archaeologists discover trove of ancient shipwrecks in Bay of Gibraltar (theguardian.com)

129 points by 1659447091 4 months ago | 39 comments

9393.

What is Z-Angle Memory and why is Intel developing it? (hpcwire.com)

129 points by rbanffy 4 months ago | 39 comments

9394.

Columnar Storage Is Normalization (buttondown.com)

129 points by ibobev 4 months ago | 38 comments

9395.

PART Telescopes – Bringing radio astronomy within reach of rural schools (mag.openrockets.com)

129 points by openrockets 4 months ago | 35 comments

9396.

Step 5 Preview: Advancing the Pareto Frontier (stepfun.com)

129 points by nateb2022 19 hours ago | 33 comments

9397.

Linux Internals: How /proc/self/mem writes to unwritable memory (2021) (offlinemark.com)

129 points by medbar 6 months ago | 29 comments

9398.

AGI-64 Brings Sierra Adventures to the Commodore 64 (meanhamster.com)

129 points by erickhill 1 month ago | 29 comments

9399.

AMD Based FreeBSD Desktop Reloaded (vermaden.wordpress.com)

129 points by vermaden 2 weeks ago | 29 comments

9400.

Ubuntu servers taken offline by "sustained, cross-border attack" (arstechnica.com)

129 points by RattlesnakeJake 4 months ago | 28 comments

9401.

Making LLM Training Faster with Unsloth and NVIDIA (unsloth.ai)

129 points by segmenta 4 months ago | 25 comments

9402.

How to Implement an FPS Counter (vplesko.com)

129 points by vplesko 4 months ago | 23 comments

9403.

Zigzag Decoding with AVX-512 (zeux.io)

129 points by luu 3 months ago | 22 comments

9404.

AI errno(2) values (netmeister.org)

129 points by zdw 3 months ago | 19 comments

9405.

Creating a Color Palette from an Image (amandahinton.com)

129 points by evakhoury 4 months ago | 18 comments

9406.

DHS demanded Google surrender data on a Canadian man over anti-ICE posts (wired.com)

129 points by HotGarbage 4 months ago | 18 comments

9407.

Learnings from 4 months of Image-Video VAE experiments (linum.ai)

129 points by schopra909 6 months ago | 16 comments

9408.

DeepSeek-v4.1 Flash: Pushing the Limits of KV Cache Compression (zartbot.github.io)

129 points by mfiguiere 3 days ago | 10 comments

9409.

Adult German men must request permission to leave Germany for more than 3 months (fr.de)

129 points by raffael_de 5 months ago | 2 comments

9410.

129 points by OutOfHere 7 months ago | 0 comments

9411.

129 points by zayd7861 1 month ago | 0 comments

9412.

VW is bringing physical buttons back to the dashboard with the ID. Polo EV (engadget.com)

128 points by thunderbong 8 months ago | 333 comments

9413.

Why the global elite gave up on spelling and grammar (wsj.com)

128 points by matthieu_bl 6 months ago | 300 comments

9414.

After the AI Crash (potsandpansbyccg.com)

128 points by sysoleg 1 month ago | 236 comments

9415.

Ask HN: Is the Job Market Actually Bad?

128 points by idontwantthis 4 months ago | 204 comments

9416.

Comic-Con Bans AI Art After Artist Pushback (404media.co)

128 points by cdrnsf 7 months ago | 164 comments

9417.

North Korean's 100k fake IT workers net $500M a year for Kim (theregister.com)

128 points by speckx 6 months ago | 146 comments

9418.

Tell HN: OpenAI brings back 5 hour limit for plus and business standard users

128 points by spwa4 1 week ago | 146 comments

9419.

Should you stop cracking your knuckles? (bbc.com)

128 points by tchalla 1 month ago | 139 comments

9420.

Show HN: Adboost – A browser extension that adds ads to every webpage (github.com)

128 points by surprisetalk 7 months ago | 129 comments