Home / 2019 / April
April 2019 Archive
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