HN Top Links - Popular Stories from Hacker News

1081.

A Complete Formal Semantics of x86-64 User-Level Instruction Set Architecture (fsl.cs.illinois.edu)

119 points by matt_d on Apr 23, 2019 | 27 comments

1082.

Show HN: Dbdot – Golang tool to help generate Postgres schema diagrams (github.com)

119 points by akarki15 on Apr 7, 2019 | 12 comments

1083.

The Riemann Hypothesis, explained (2016) (medium.com)

119 points by psvidler on Apr 27, 2019 | 12 comments

1084.

AI-powered laundry-folding robot company has filed for bankruptcy (theverge.com)

118 points by lxm on Apr 25, 2019 | 190 comments

1085.

737 Max: 1960s Design, 1990s Computing Power and Paper Manuals (nytimes.com)

118 points by bushido on Apr 9, 2019 | 127 comments

1086.

Chinese tech firms are throwing out applicants over the age of 30 (technologyreview.com)

118 points by monsieurpng on Apr 9, 2019 | 123 comments

1087.

Things I Enjoy in Rust: Error Handling (blog.jonstodle.com)

118 points by ingve on Apr 22, 2019 | 85 comments

1088.

Loop invariants can give you coding superpowers (yourbasic.org)

118 points by ilarum on Apr 3, 2019 | 82 comments

1089.

Google OAuth Login Issues (status.cloud.google.com)

118 points by derwiki on Apr 17, 2019 | 35 comments

1090.

Improving Key Expiration in Redis (blog.twitter.com)

118 points by ngaut on Apr 15, 2019 | 14 comments

1091.

$35 Atomic Pi Cherry Trail Linux SBC (cnx-software.com)

117 points by watchdogtimer on Apr 29, 2019 | 85 comments

1092.

The wave of unicorn IPOs (economist.com)

117 points by wskinner on Apr 24, 2019 | 82 comments

1093.

Zircon Fair Scheduler (fuchsia.googlesource.com)

117 points by return_0e on Apr 11, 2019 | 77 comments

1094.

Apache web server bug grants root access on shared hosting environments (zdnet.com)

117 points by praveenscience on Apr 3, 2019 | 66 comments

1095.

Canada Group Sues Government over Google's Sidewalk Labs (bbc.com)

117 points by colinprince on Apr 18, 2019 | 65 comments

1096.

Characterizing secret leakage in public GitHub repositories (blog.acolyer.org)

117 points by feross on Apr 8, 2019 | 36 comments

1097.

Capture and Decode FM Radio (witestlab.poly.edu)

117 points by alfonsodev on Apr 6, 2019 | 20 comments

1098.

The Case for Formal Methods (futureofcoding.org)

117 points by stevekrouse on Apr 15, 2019 | 17 comments

1099.

Some Were Meant for C (2017) [pdf] (cs.kent.ac.uk)

116 points by chauhankiran on Apr 24, 2019 | 176 comments

1100.

Calling a real estate robocaller back (philly.com)

116 points by danso on Apr 30, 2019 | 120 comments

1101.

Apple Plus – brand versus subscription (ben-evans.com)

116 points by graeme on Apr 6, 2019 | 90 comments

1102.

Why Rent Control Doesn't Work (freakonomics.com)

116 points by MagicPropmaker on Apr 8, 2019 | 90 comments

1103.

Facebook Team Lands at Delhi Man's House for ID Verification over Political Post (news18.com)

116 points by webmobdev on Apr 7, 2019 | 82 comments

1104.

Winter Is Coming for Java Updates (azul.com)

116 points by javinpaul on Apr 9, 2019 | 80 comments

1105.

Work harder or the communists will win (m.signalvnoise.com)

116 points by doppp on Apr 16, 2019 | 79 comments

1106.

Gum bacteria implicated in Alzheimer's and other diseases (neurosciencenews.com)

116 points by laurex on Apr 8, 2019 | 50 comments

1107.

AA A321 takes off after smashing ground sign at JFK (avherald.com)

116 points by howard941 on Apr 21, 2019 | 42 comments

1108.

Manipulating the YouTube Algorithm [video] (youtube.com)

116 points by espeed on Apr 7, 2019 | 38 comments

1109.

The Amiga Before the Amiga: The Amiga Development System (amigalove.com)

116 points by doener on Apr 29, 2019 | 18 comments

1110.

Germans Who Refused to Execute Civilians During World War II (1988) [pdf] (sci-hub.tw)

115 points by apsec112 on Apr 20, 2019 | 104 comments