HN Top Links - Popular Stories from Hacker News

5521.

TorchLean: Formalizing Neural Networks in Lean (leandojo.org)

104 points by matt_d 2 months ago | 20 comments

5522.

Sub-second volumetric 3D printing by synthesis of holographic light fields (nature.com)

104 points by zdw 2 months ago | 18 comments

5523.

An NSFW filter for Marginalia search (marginalia.nu)

104 points by speckx 1 month ago | 16 comments

5524.

The paddle wheel aircraft carriers of Lake Michigan (signoregalilei.com)

104 points by surprisetalk 1 month ago | 9 comments

5525.

Bun ported to Rust in 6 days (twitter.com)

104 points by qprofyeh 1 day ago | 5 comments

5526.

Iran war wreaking havoc on shipping and air cargo, could create global delays (theregister.com)

103 points by Bender 2 months ago | 204 comments

5527.

Google co-founder reveals that "many" of the new hires do not have a degree (yahoo.com)

103 points by 01-_- 3 months ago | 121 comments

5528.

A novelist who took on the Italian mafia and lived (thetimes.com)

103 points by Thevet 3 months ago | 96 comments

5529.

What does it mean to “write like you talk”? (arjunpanickssery.substack.com)

103 points by surprisetalk 1 month ago | 87 comments

5530.

A tough labor market for white-collar workers has turned recruiting upside down (wsj.com)

103 points by KnuthIsGod 3 months ago | 86 comments

5531.

How Cloudflare responded to the “Copy Fail” Linux vulnerability (blog.cloudflare.com)

103 points by mobeigi 3 days ago | 82 comments

5532.

Ask HN: What breaks first when your team grows from 10 to 50 people?

103 points by hariprasadr 1 month ago | 74 comments

5533.

From watchdogs to mouthpieces: Washington Post and the wreckage of legacy media (thejournal.ie)

103 points by DyslexicAtheist 3 months ago | 72 comments

5534.

The 600-year-old origins of the word 'hello' (bbc.com)

103 points by 1659447091 3 months ago | 70 comments

5535.

Photoshop's challenges with focus, pt. 2 (unsung.aresluna.org)

103 points by frizlab 6 days ago | 66 comments

5536.

Impeccable Style (impeccable.style)

103 points by noemit 3 months ago | 64 comments

5537.

New 'negative light' technology hides data transfers in plain sight (unsw.edu.au)

103 points by wjSgoWPm5bWAhXB 1 month ago | 64 comments

5538.

Familiarity is the enemy: On why Enterprise systems have failed for 60 years (felixbarbalet.com)

103 points by adityaathalye 2 weeks ago | 58 comments

5539.

Flue is a TypeScript framework for building the next generation of agents (flueframework.com)

103 points by momentmaker 1 week ago | 56 comments

5540.

Show HN: Mines.fyi – all the mines in the US in a leaflet visualization (mines.fyi)

103 points by irasigman 2 months ago | 52 comments

5541.

Uncharted island soon to appear on nautical charts (awi.de)

103 points by tannhaeuser 4 weeks ago | 51 comments

5542.

Tell HN: I'm a PM at a big system of record SaaS. We're cooked

103 points by throwawaypm123 3 months ago | 46 comments

5543.

I'll buy your electronics to feed our robot (dayworkx.com)

103 points by skholinn 1 month ago | 41 comments

5544.

How to install and start using LineageOS on your phone (lockywolf.net)

103 points by todsacerdoti 2 months ago | 38 comments

5545.

Recover Apple Keychain (arkoinad.com)

103 points by speckx 1 month ago | 37 comments

5546.

Volkswagen overtook Tesla as Europe's top EV seller in 2025 (reuters.com)

103 points by _fizz_buzz_ 3 months ago | 33 comments

5547.

Show HN: Modo – I built an open-source alternative to Kiro, Cursor, and Windsurf (github.com)

103 points by mohshomis 1 month ago | 28 comments

5548.

TADA: Speech generation through text-acoustic synchronization (hume.ai)

103 points by smusamashah 2 months ago | 27 comments

5549.

Fast and Easy Levenshtein distance using a Trie (2011) (stevehanov.ca)

103 points by sebg 4 weeks ago | 22 comments

5550.

Wikipedia bans AI-generated content in its online encyclopedia (theguardian.com)

103 points by Brajeshwar 1 month ago | 19 comments