HN Top Links - Popular Stories from Hacker News

8581.

Show HN: Rip.so – a graveyard for dead internet things (rip.so)

184 points by bozdemir 2 weeks ago | 120 comments

8582.

Three ways formally verified code can go wrong in practice (buttondown.com)

184 points by todsacerdoti 7 months ago | 113 comments

8583.

Ask HN: How do I learn practical electronic repair?

184 points by juanse 11 months ago | 112 comments

8584.

Designing a Language (2017) (cs.lmu.edu)

184 points by veqq 5 months ago | 110 comments

8585.

Chest Fridge (2009) (mtbest.net)

184 points by wolfi1 1 month ago | 102 comments

8586.

H-1B Exposed: Banking sector visa sponsorship investigation (h1bexposed.tech)

184 points by joshcsimmons 2 months ago | 100 comments

8587.

Gone (Almost) Phishin' (ma.tt)

184 points by luu 1 month ago | 91 comments

8588.

Text Is King (experimental-history.com)

184 points by zdw 3 months ago | 88 comments

8589.

Mapping connections of anti-offshore wind groups and their lawyers (climatedevlab.brown.edu)

184 points by worik 8 months ago | 80 comments

8590.

Did a celebrated researcher obscure a baby's poisoning? (newyorker.com)

184 points by littlexsparkee 3 months ago | 78 comments

8591.

Structured outputs on the Claude Developer Platform (claude.com)

184 points by adocomplete 5 months ago | 77 comments

8592.

Open source memory layer so any AI agent can do what Claude.ai and ChatGPT do (alash3al.github.io)

184 points by alash3al 2 weeks ago | 76 comments

8593.

Moss Survives 9 Months in Space Vacuum (scienceclock.com)

184 points by ashishgupta2209 5 months ago | 74 comments

8594.

Memories of .us (computer.rip)

184 points by sabas_ge 5 months ago | 70 comments

8595.

The surprising whimsy of the Time Zone Database (muddy.jprs.me)

184 points by jprs 2 months ago | 69 comments

8596.

'Gwada negative': French scientists find new blood type in woman (lemonde.fr)

184 points by spidersouris 10 months ago | 68 comments

8597.

The US is now the largest investor in commercial spyware (arstechnica.com)

184 points by furcyd 8 months ago | 67 comments

8598.

Edge AI for Beginners (github.com)

184 points by bakigul 7 months ago | 65 comments

8599.

Anything can be a message queue if you use it wrongly enough (2023) (xeiaso.net)

184 points by crescit_eundo 8 months ago | 65 comments

8600.

Isopods of the world (isopod.site)

184 points by debesyla 3 weeks ago | 64 comments

8601.

Benchmarking Postgres 17 vs. 18 (planetscale.com)

184 points by bddicken 7 months ago | 64 comments

8602.

Copaganda: How Police and the Media Manipulate Our News (teenvogue.com)

184 points by pavel_lishin 11 months ago | 64 comments

8603.

YesNotice (infinitedigits.co)

184 points by surprisetalk 5 months ago | 60 comments

8604.

Identify a London Underground Line just by listening to it (tubesoundquiz.com)

184 points by nelson687 1 month ago | 59 comments

8605.

LoRA Without Regret (thinkingmachines.ai)

184 points by grantpitt 7 months ago | 58 comments

8606.

Show HN: Unflip – a puzzle game about XOR patterns of squares (unflipgame.com)

184 points by bogdanoff_2 6 months ago | 56 comments

8607.

The Boring Part of Bell Labs (elizabethvannostrand.substack.com)

184 points by AcesoUnderGlass 5 months ago | 51 comments

8608.

Show HN: Apple's SHARP running in the browser via ONNX runtime web (github.com)

184 points by bring-shrubbery 1 week ago | 46 comments

8609.

Textadept (orbitalquark.github.io)

184 points by giancarlostoro 2 months ago | 44 comments

8610.

Two Bits Are Better Than One: making bloom filters 2x more accurate (floedb.ai)

184 points by matheusalmeida 2 months ago | 35 comments