HN Top Links - Popular Stories from Hacker News

8011.

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

182 points by todsacerdoti 3 months ago | 113 comments

8012.

How did places like Bell Labs know how to ask the right questions? (2023) (freaktakes.com)

182 points by sebg 10 months ago | 107 comments

8013.

An attacker’s blunder gave us a look into their operations (huntress.com)

182 points by mellosouls 4 months ago | 107 comments

8014.

Private equity snaps up disability services, challenging regulators (governing.com)

182 points by tencentshill 4 months ago | 99 comments

8015.

An Indoor Beehive in My Bedroom Wall (keepingbackyardbees.com)

182 points by gscott 6 months ago | 97 comments

8016.

Antiviral chewing gum to reduce influenza and herpes simplex virus transmission (penntoday.upenn.edu)

182 points by gnabgib 9 months ago | 88 comments

8017.

Native frame transposition coming to Emacs 31 (p.bauherren.ovh)

182 points by nanna 9 months ago | 86 comments

8018.

Fifty Years of Open Source Software Supply Chain Security (queue.acm.org)

182 points by yarapavan 9 months ago | 83 comments

8019.

A day at Hetzner Online in the Falkenstein data center (igorslab.de)

182 points by speckx 1 month ago | 81 comments

8020.

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

182 points by worik 4 months ago | 80 comments

8021.

Idempotency keys for exactly-once processing (morling.dev)

182 points by defly 1 month ago | 78 comments

8022.

Halt and Catch Fire Syllabus (2021) (bits.ashleyblewer.com)

182 points by Kye 4 months ago | 77 comments

8023.

Managing time when time doesn't exist (multiverseemployeehandbook.com)

182 points by TMEHpodcast 6 months ago | 73 comments

8024.

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

182 points by furcyd 4 months ago | 67 comments

8025.

Maestro – Next generation mobile UI automation (github.com)

182 points by jztan 10 months ago | 66 comments

8026.

Programming in the Sun: A Year with the Daylight Computer (wickstrom.tech)

182 points by ghuntley 3 months ago | 66 comments

8027.

Archaeologists unveil 3,500-year-old city in Peru (bbc.co.uk)

182 points by neversaydie 6 months ago | 62 comments

8028.

New bacteria, and two potential antibiotics, discovered in soil (rockefeller.edu)

182 points by PaulHoule 3 months ago | 62 comments

8029.

Mandelbrot deep zoom theory and practice (2021) (mathr.co.uk)

182 points by fanf2 on Jan 3, 2025 | 60 comments

8030.

YesNotice (infinitedigits.co)

182 points by surprisetalk 1 month ago | 59 comments

8031.

Myanmar military shuts down a major cybercrime center, detains over 2k people (apnews.com)

182 points by bikenaga 2 months ago | 56 comments

8032.

"Twelfth Night Till Candlemas" – A 40-year book-quest (davidallengreen.com)

182 points by ColinWright on Jan 9, 2025 | 54 comments

8033.

Hidden risk in Notion 3.0 AI agents: Web search tool abuse for data exfiltration (codeintegrity.ai)

182 points by abirag 3 months ago | 54 comments

8034.

Clojure Land – Discover open-source Clojure libraries and frameworks (clojure.land)

182 points by TheWiggles 2 months ago | 54 comments

8035.

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

182 points by bogdanoff_2 2 months ago | 54 comments

8036.

Branchless UTF-8 Encoding (cceckman.com)

182 points by vortex_ape 11 months ago | 42 comments

8037.

A decompilation and port of Sonic Advance 2-a GameBoy Advance game written in C (github.com)