HN Top Links - Popular Stories from Hacker News

1711.

TLA+ in Isabelle/HOL (davecturner.github.io)

79 points by kalaracey on Dec 25, 2023 | 2 comments

1712.

Sellafield: Europe’s most toxic nuclear site (theguardian.com)

78 points by philk10 on Dec 4, 2023 | 94 comments

1713.

US begins review that could eventually lead to PVC ban (phys.org)

78 points by jelliclesfarm on Dec 16, 2023 | 86 comments

1714.

Tampermonkey: Dev Mode will become mandatory for running userscripts in Chromium (tampermonkey.net)

78 points by lemoncookiechip on Dec 5, 2023 | 85 comments

1715.

Second Life UPS Mark II (pop.fsck.pl)

78 points by proxysna on Dec 6, 2023 | 82 comments

1716.

A few words about Blameless culture (gybe.ca)

78 points by vinnyglennon on Dec 4, 2023 | 51 comments

1717.

Freeaim VR Shoes (freeaim.com)

78 points by rolph on Dec 30, 2023 | 47 comments

1718.

QR error correction helps and hinders scanning (2021) (huonw.github.io)

78 points by lucb1e on Dec 29, 2023 | 45 comments

1719.

Scientists have 20-minute "conversation" with a humpback whale (earth.com)

78 points by aforelight on Dec 22, 2023 | 44 comments

1720.

Lagrange points could become battlegrounds in a new space race (sciencealert.com)

78 points by elorant on Dec 25, 2023 | 40 comments

1721.

How to survive in a Chinese company (jaapgrolleman.com)

78 points by jaapgrolleman on Dec 24, 2023 | 35 comments

1722.

Electronics Flea Market (electronicsfleamarket.com)

78 points by irsagent on Dec 28, 2023 | 33 comments

1723.

EVE Online – Down the Rabbit Hole [video] (youtube.com)

78 points by MrJagil on Dec 8, 2023 | 29 comments

1724.

A slightly longer Lean 4 proof tour (terrytao.wordpress.com)

78 points by iso8859-1 on Dec 7, 2023 | 27 comments

1725.

New QuickJS Release (github.com)

78 points by rdtsc on Dec 9, 2023 | 27 comments

1726.

Hubless-wheel electric penny farthing is a one-of-a-kind masterpiece (newatlas.com)

78 points by Brajeshwar on Dec 16, 2023 | 26 comments

1727.

WikiReader (en.wikipedia.org)

78 points by wildergarden on Dec 3, 2023 | 24 comments

1728.

What is a parser mismatch vulnerability? (2022) (brainonfire.net)

78 points by subset on Dec 23, 2023 | 22 comments

1729.

W4 Games announces pricing model for console ports (w4games.com)

78 points by sbruchmann on Dec 11, 2023 | 20 comments

1730.

Segment Anything Model (Sam) Visualized (flowforward.simple.ink)

78 points by nimsy on Dec 1, 2023 | 17 comments

1731.

Show HN: Forwarder – FOSS MITM proxy written in Go (forwarder-proxy.io)

78 points by michalmatczuk on Dec 20, 2023 | 17 comments

1732.

NLP Research in the Era of LLMs (nlpnewsletter.substack.com)

78 points by sebg on Dec 22, 2023 | 17 comments

1733.

Show HN: Rqbit – bittorent CLI and desktop app written in Rust (github.com)

78 points by ikatson on Dec 3, 2023 | 14 comments

1734.

Designing a distributed SQL engine: Challenges and decisions (en.oceanbase.com)

78 points by pykello on Dec 2, 2023 | 6 comments

1735.

Tesla Cybertruck's stiff structure, sharp design raise safety concerns (reuters.com)

77 points by dev_tty01 on Dec 9, 2023 | 119 comments

1736.

12VO power standard appears to be gaining steam, will reduce PC cabling, costs (tomshardware.com)

77 points by CharlesW on Dec 26, 2023 | 94 comments

1737.

I want to convince you to have an on-premise offering (hivekit.io)

77 points by max_sendfeld on Dec 5, 2023 | 91 comments

1738.

Terminal graphics protocol (sw.kovidgoyal.net)

77 points by tosh on Dec 7, 2023 | 70 comments

1739.

USB-C Cures Mosquito Bites (shkspr.mobi)

77 points by robin_reala on Dec 18, 2023 | 63 comments

1740.

Sudo without a setuid binary or SSH over a Unix socket (tim.siosm.fr)

77 points by LorenDB on Dec 20, 2023 | 59 comments