HN Top Links - Popular Stories from Hacker News

1471.

Formal Reasoning About Programs (2017) [pdf] (adam.chlipala.net)

83 points by p0llard on Dec 31, 2019 | 23 comments

1472.

Segmentio/encoding: optimized drop-in replacement for Go's encoding/JSON package (github.com)

83 points by fullung on Dec 4, 2019 | 17 comments

1473.

Circumventing the JVM's Bytecode Verifier (anthony.som.codes)

83 points by half-kh-hacker on Dec 31, 2019 | 15 comments

1474.

Chunking Optimizations: Let the Knife Do the Work (nullprogram.com)

83 points by ingve on Dec 9, 2019 | 13 comments

1475.

Save .ORG from Arbitrary Censorship by Halting the Private Equity Buy-Out (eff.org)

83 points by nayuki on Dec 7, 2019 | 9 comments

1476.

Chaos-mesh: a chaos engineering platform for Kubernetes (github.com)

83 points by ngaut on Dec 31, 2019 | 9 comments

1477.

Crux as General-Purpose Database (jorin.me)

83 points by tosh on Dec 14, 2019 | 7 comments

1478.

Simple Software Manifesto (arewesimpleyet.org)

82 points by Spakman on Dec 10, 2019 | 87 comments

1479.

Yatri: First electric motorcycle to be made in Nepal (yatrimotorcycles.com)

82 points by milap on Dec 28, 2019 | 87 comments

1480.

Fake News Is Still Fooling Facebook’s Fact-Checking Systems (onezero.medium.com)

82 points by pslattery on Dec 3, 2019 | 80 comments

1481.

Worst Software Metrics (gitclear.com)

82 points by wbharding on Dec 27, 2019 | 66 comments

1482.

Digital Exile: How I Got Banned for Life from Airbnb (2018) (medium.com)

82 points by jnbiche on Dec 27, 2019 | 57 comments

1483.

The Arctic may have crossed key threshold in a long-dreaded climate feedback (adn.com)

82 points by ForHackernews on Dec 13, 2019 | 56 comments

1484.

Layered Programming (2013) (akkartik.name)

82 points by sktrdie on Dec 11, 2019 | 51 comments

1485.

64-bit unix timestamp is not supported in MySQL functions (2005) (bugs.mysql.com)

82 points by tobyjsullivan on Dec 10, 2019 | 38 comments

1486.

HackerOne breach lets outside hacker read customers’ private bug reports (arstechnica.com)

82 points by louis-paul on Dec 7, 2019 | 31 comments

1487.

PG&E Had Systemic Problems with Power Line Maintenance, California Probe Finds (wsj.com)

82 points by grzm on Dec 3, 2019 | 26 comments

1488.

Neovim Configuration and Plugins in Fennel Lisp (oli.me.uk)

82 points by bwidlar on Dec 1, 2019 | 19 comments

1489.

To Wash It All Away (2014) [pdf] (scholar.harvard.edu)

82 points by heyyyouu on Dec 9, 2019 | 19 comments

1490.

XXL: A minimal vector programming language (2016) (github.com)

82 points by kick on Dec 27, 2019 | 19 comments

1491.

Show HN: dlinject.py – Inject a .so into a running Linux process, without ptrace (github.com)

82 points by DavidBuchanan on Dec 30, 2019 | 19 comments

1492.

So Where’s My Low Voltage DC Wall Socket? (hackaday.com)

81 points by kyancey on Dec 16, 2019 | 113 comments

1493.

Escaping San Francisco (techpost.io)

81 points by mysticlabs on Dec 24, 2019 | 106 comments

1494.

Are Humans Fit for Space? A ‘Herculean’ Study (wired.com)

81 points by dsr12 on Dec 25, 2019 | 102 comments

1495.

A Stanford Professor Says Juul Stole Her Anti-Vaping PowerPoint Slides (buzzfeednews.com)

81 points by hhs on Dec 24, 2019 | 84 comments

1496.

Kernel-Bypass Networking (godaddy.com)

81 points by bbowen on Dec 10, 2019 | 55 comments

1497.

Donate – iTerm2 (iterm2.com)

81 points by troydavis on Dec 16, 2019 | 35 comments

1498.

Gitlab 12.6 (about.gitlab.com)

81 points by bjoko on Dec 22, 2019 | 28 comments

1499.

Gsuite suspended my account because I paid (old.reddit.com)

81 points by CommieBobDole on Dec 18, 2019 | 17 comments

1500.

A Rocket to Nowhere (2005) (idlewords.com)

81 points by kick on Dec 11, 2019 | 14 comments