HN Top Links - Popular Stories from Hacker News

8881.

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

184 points by bozdemir 1 month ago | 120 comments

8882.

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

184 points by todsacerdoti 8 months ago | 113 comments

8883.

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

184 points by veqq 7 months ago | 110 comments

8884.

Chest Fridge (2009) (mtbest.net)

184 points by wolfi1 2 months ago | 102 comments

8885.

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

184 points by joshcsimmons 4 months ago | 100 comments

8886.

Gone (Almost) Phishin' (ma.tt)

184 points by luu 2 months ago | 91 comments

8887.

Text Is King (experimental-history.com)

184 points by zdw 4 months ago | 88 comments

8888.

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

184 points by worik 9 months ago | 80 comments

8889.

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

184 points by littlexsparkee 4 months ago | 78 comments

8890.

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

184 points by adocomplete 7 months ago | 77 comments

8891.

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

184 points by alash3al 1 month ago | 76 comments

8892.

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

184 points by ashishgupta2209 6 months ago | 74 comments

8893.

Memories of .us (computer.rip)

184 points by sabas_ge 6 months ago | 70 comments

8894.

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

184 points by jprs 3 months ago | 69 comments

8895.

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

184 points by spidersouris 11 months ago | 68 comments

8896.

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

184 points by furcyd 9 months ago | 67 comments

8897.

Edge AI for Beginners (github.com)

184 points by bakigul 8 months ago | 65 comments

8898.

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

184 points by crescit_eundo 9 months ago | 65 comments

8899.

Isopods of the world (isopod.site)

184 points by debesyla 1 month ago | 64 comments

8900.

Benchmarking Postgres 17 vs. 18 (planetscale.com)

184 points by bddicken 8 months ago | 64 comments

8901.

YesNotice (infinitedigits.co)

184 points by surprisetalk 6 months ago | 60 comments

8902.

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

184 points by nelson687 2 months ago | 59 comments

8903.

LoRA Without Regret (thinkingmachines.ai)

184 points by grantpitt 8 months ago | 58 comments

8904.

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

184 points by bogdanoff_2 7 months ago | 56 comments

8905.

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

184 points by AcesoUnderGlass 6 months ago | 51 comments

8906.

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

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

8907.

Textadept (orbitalquark.github.io)

184 points by giancarlostoro 3 months ago | 44 comments

8908.

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

184 points by matheusalmeida 4 months ago | 35 comments

8909.

Drawvg Filter for FFmpeg (ayosec.github.io)

184 points by nolta 3 months ago | 30 comments

8910.

Rsync and outrage (medium.com)

184 points by st3fan 2 weeks ago | 29 comments