HN Top Links - Popular Stories from Hacker News

21301.

Proving Bounds for the Randomized MaxCut Approximation Algorithm in Lean4 (abhamra.com)

63 points by todsacerdoti 9 months ago | 3 comments

21302.

CUDA Shared Memory Swizzling (leimao.github.io)

63 points by jxmorris12 1 month ago | 2 comments

21303.

Mado: Fast Markdown linter written in Rust (github.com)

63 points by nateb2022 4 months ago | 2 comments

21304.

LLM Doesn't Write Correct Code. It Writes Plausible Code (twitter.com)

63 points by pretext 6 months ago | 2 comments

21305.

Signy: Signed URLs for Small Devices (github.com)

63 points by hasheddan 7 months ago | 2 comments

21306.

This Month in Ladybird: June 2026 (ladybird.org)

63 points by richardboegli 2 months ago | 1 comments

21307.

Patch for critical vulnerability in p2pool (Monero) to be released on 2026-06-13 (github.com)

63 points by sxde 3 months ago | 1 comments

21308.

DeepSeek-v3.2 (huggingface.co)

63 points by meetpateltech 9 months ago | 1 comments

21309.

Clojure FFI layer for libgdx-core (github.com)

63 points by resatori 2 months ago | 0 comments

21310.

A Road to Common Lisp (2018) (stevelosh.com)

63 points by AlexeyBrin 2 months ago | 0 comments

21311.

MiniZinc, constraint modelling language solve discrete optimisation problems (minizinc.org)

63 points by Alifatisk 5 months ago | 0 comments

21312.

Wine 11.0 RC2 – Run Windows Applications on Linux, BSD, Solaris and macOS (gitlab.winehq.org)

63 points by neustradamus 9 months ago | 0 comments

21313.

ZX Spectrum Next on the Internet: Xberry Pi ESP01 and Pi Zero Upgrades (retrogamecoders.com)

63 points by ibobev 9 months ago | 0 comments

21314.

Launch HN: Chert (YC P26) – Twilio for iMessage (trychert.com)

62 points by garygao 4 months ago | 200 comments

21315.

What does privatization of the US Postal Service mean? (phenomenalworld.org)

62 points by htunnicliff 2 months ago | 150 comments

21316.

Ask HN: What would you do if you didn't work in tech?

62 points by johnathandos 9 months ago | 141 comments

21317.

Iowa-led states ask OpenAI to keep their bots on a leash (iowaattorneygeneral.gov)

62 points by ArcHound 1 month ago | 121 comments

21318.

We must not grant AI agents legal personhood (ft.com)

62 points by andsoitis 1 month ago | 113 comments

21319.

Dropbox's Jan 1st 2027 terms of service (dropbox.com)

62 points by simonebrunozzi 1 week ago | 111 comments

21320.

US diesel hits record $6 a gallon on Iran supply shock (ft.com)

62 points by mraniki 2 weeks ago | 111 comments

21321.

BYD Slashes Price of Electric Car and Becomes Cheapest in Australia [video] (youtube.com)

62 points by thelastgallon 1 week ago | 103 comments

21322.

Twins reared apart do not exist (davidbessis.substack.com)

62 points by tptacek 9 months ago | 102 comments

21323.

Babies Are Bleeding to Death as Parents Reject a Vitamin Shot Given at Birth (propublica.org)

62 points by brendoelfrendo 4 months ago | 94 comments

21324.

Launch HN: Palus Finance (YC W26): Better yields on idle cash for startups, SMBs

62 points by sam_palus 6 months ago | 93 comments

21325.

The road to electric in charts and data (rac.co.uk)

62 points by zeristor 6 months ago | 91 comments

21326.

Clean code in the age of coding agents (yanist.com)

62 points by yanis_t 5 months ago | 90 comments

21327.

Amazon Vega OS and Vega Developer Tools (developer.amazon.com)

62 points by luismedel 11 months ago | 90 comments

21328.

Uncle Bob: It's Over (old.reddit.com)

62 points by lopespm 4 months ago | 89 comments

21329.

Sonnet 4.6 Elevated Rate of Errors (status.claude.com)

62 points by kylestanfield 5 months ago | 88 comments

21330.

Toy Story 5 shows 'terror' of children's screen addiction, says Tom Hanks (bbc.com)

62 points by defrost 3 months ago | 87 comments