HN Top Links - Popular Stories from Hacker News

5311.

Can F* Replace Haskell and Coq? (cryptulf.com)

5 points by Avi-D-coder on Jun 25, 2019 | 0 comments

5312.

New breakthrough in the field of noninvasive robotic device control (humanbioscience.org)

5 points by davy_eminy1531- on Jun 25, 2019 | 0 comments

5313.

Gradually Switching Traffic from Heroku to EKS (medium.com)

5 points by liveweird on Jun 25, 2019 | 0 comments

5314.

AMD's "Chinese Clone" Plans Implode as U.S. Regulators Close In (ibtimes.com)

5 points by maxwell on Jun 25, 2019 | 0 comments

5315.

If a climate apocalypse is imminent, should we bother paying our debts? (theoutline.com)

5 points by paulpauper on Jun 25, 2019 | 0 comments

5316.

Swift Property Wrappers (nshipster.com)

5 points by jayrhynas on Jun 25, 2019 | 0 comments

5317.

SUSE Linux bridges the gap between the server and the cloud (zdnet.com)

5 points by CrankyBear on Jun 25, 2019 | 0 comments

5318.

Helping customers secure their accounts (segment.com)

5 points by vpontis on Jun 25, 2019 | 0 comments

5319.

Apple Threatened to Kick Parler Off App Store Unless They Banned Certain People (toddstarnes.com)

5 points by smsm42 on Jun 26, 2019 | 0 comments

5320.

Aggression Detectors: The Unproven, Invasive Surveillance Technology in Schools (features.propublica.org)

5 points by llamataboot on Jun 26, 2019 | 0 comments

5321.

Adapting to the Future of Social Media (blog.quuu.co)

5 points by runlock on Jun 26, 2019 | 0 comments

5322.

AMD Ryzen 3950X ($749) CPU Beats Intel's $2000 I9-9980XE (techquila.co.in)

5 points by areejs on Jun 26, 2019 | 0 comments

5323.

Teeworlds Web: Serverless Game (WebAssembly and WebRTC) Compiled Using Cheerp (teeworlds.leaningtech.com)

5 points by apignotti on Jun 26, 2019 | 0 comments

5324.

How to Backup Heroku PostgreSQL Database to an Encrypted AWS S3 Bucket (pawelurbanek.com)

5 points by pawurb on Jun 26, 2019 | 0 comments

5325.

Two US Towns Pay $1.1m Ransom to Hackers (packetstormsecurity.com)

5 points by Rezas on Jun 26, 2019 | 0 comments

5326.

Track This – A New Kind of Incognito (By Firefox) (trackthis.link)

5 points by ChrisArchitect on Jun 26, 2019 | 0 comments

5327.

In Transactional Memory, No One Can Hear You Scream (blog.ret2.io)

5 points by nspaced on Jun 26, 2019 | 0 comments

5328.

Swift for Tensorflow: Python Interoperability (tensorflow.org)

5 points by tosh on Jun 26, 2019 | 0 comments

5329.

Why Parents Should Raise Kids to Be Generalists, Not Specialists (fatherly.com)

5 points by kareemm on Jun 26, 2019 | 0 comments

5330.

Peter Watts: Attack of the Hope Police, Delusional Optimism at the End of World? (youtube.com)

5 points by drclau on Jun 26, 2019 | 0 comments

5331.

Something Awful’s founder thinks YouTube sucks at moderation (theverge.com)

5 points by Tomte on Jun 26, 2019 | 0 comments

5332.

Liked to Death: Is Instagram and Social Media Ruining Travel? (expertvagabond.com)

5 points by gerbilly on Jun 26, 2019 | 0 comments

5333.

Reddit 'quarantines' major political subreddit over threats to police (reuters.com)

5 points by anigbrowl on Jun 26, 2019 | 0 comments

5334.

The first AI capable of simulating the universe works so well it's scary (thenextweb.com)

5 points by xbmcuser on Jun 27, 2019 | 0 comments

5335.

Russia’s Citizens Can’t Escape Their Largest Tech Company (bloomberg.com)

5 points by isalmon on Jun 27, 2019 | 0 comments

5336.

Show HN: Log-with-statusbar: NPM log package where the last line doesn't scroll (npmjs.com)

5 points by ourarash on Jun 27, 2019 | 0 comments

5337.

Intel Sounds Scared of AMD and Its Zen 2 Architecture, Internal Document Reveals (techquila.co.in)