HN Top Links - Popular Stories from Hacker News

14641.

The CompCert formally-verified C compiler (compcert.inria.fr)

2 points by enedil on Jun 23, 2017 | 0 comments

14642.

Creating Urgency for Feedback: DEFCON and Waves (vspr.ai)

2 points by dannygold on Jun 23, 2017 | 0 comments

14643.

Voodoo Manufacturing (YC W17) raises $5MM to build a robotic factory (cnbc.com)

2 points by jschwartz11 on Jun 23, 2017 | 0 comments

14644.

FM radio transmitter using a VGA graphics card [pdf] (bk.gnarf.org)

2 points by xm4s on Jun 23, 2017 | 0 comments

14645.

Network-based evaluation tool to assess relief operations feasibility (sciencebulletin.org)

2 points by steff2902 on Jun 23, 2017 | 0 comments

14646.

Yelp Dataset Challenge Round 8 Winner (engineeringblog.yelp.com)

2 points by joshSzep on Jun 23, 2017 | 0 comments

14647.

Beneath Red Hat's and Oracle's Earnings Reports (windowsitpro.com)

2 points by brideoflinux on Jun 23, 2017 | 0 comments

14648.

California just added four more ‘discriminatory’ states to its travel ban (washingtonpost.com)

2 points by endswapper on Jun 23, 2017 | 0 comments

14649.

Russian World-views – Domestic power play and foreign behaviour (csis.gc.ca)

2 points by okket on Jun 23, 2017 | 0 comments

14650.

IBM News Room – User Survey Ranks IBM Industry’s Most Reliable Servers (www-03.ibm.com)

2 points by rbanffy on Jun 23, 2017 | 0 comments

14651.

Polynomial arithmetic shorthand (nayuki.io)

2 points by nayuki on Jun 23, 2017 | 0 comments

14652.

Russia threatens to ban end-to-end encrypted messaging app Telegram (news.sky.com)

2 points by cdubzzz on Jun 23, 2017 | 0 comments

14653.

Why You Should Buy a Treadmill Desk (thecut.com)

2 points by jseliger on Jun 23, 2017 | 0 comments

14654.

CIA Has Malware for Hacking Air-Gapped Networks via USB Thumb Drives (bleepingcomputer.com)

2 points by rubyn00bie on Jun 23, 2017 | 0 comments

14655.

A Raspbian desktop update with some new programming tools (raspberrypi.org)

2 points by mariuz on Jun 23, 2017 | 0 comments

14656.

In Defectors from the North, Doctors in South Korea Find Hope – And Data (undark.org)

2 points by ductionist on Jun 23, 2017 | 0 comments

14657.

Leaderless Uber Scrambles to Prevent Employee Exodus (wsj.com)

2 points by petethomas on Jun 23, 2017 | 0 comments

14658.

Explore the frontier of AI (deeplearning.ai)

2 points by personjerry on Jun 23, 2017 | 0 comments

14659.

Five building blocks of a data-driven culture (techcrunch.com)

2 points by janober on Jun 23, 2017 | 0 comments

14660.

Uber's Self-Driving Tech Rolls On (wired.com)

2 points by malandrew on Jun 23, 2017 | 0 comments

14661.

New FoldingHome Paper: Computational Study of a Brain Protein (folding.stanford.edu)

2 points by jseliger on Jun 23, 2017 | 0 comments

14662.

Weaponized Narrative Is the New Battlespace (defenseone.com)

2 points by l33tbro on Jun 23, 2017 | 0 comments

14663.

Google Home Outsmarts Amazon Alexa in 3,000 Question Quiz (fortune.com)

2 points by endswapper on Jun 23, 2017 | 0 comments

14664.

The Undisputed Master of Making Trains Run on Time (bloomberg.com)

2 points by ohjeez on Jun 23, 2017 | 0 comments

14665.

Andrew Ng announces Deeplearning.ai, his new venture after leaving Baidu (techcrunch.com)

2 points by Stanleyc23 on Jun 23, 2017 | 0 comments

14666.

Keyboard Ghosting Explained (microsoft.com)

2 points by anakron on Jun 24, 2017 | 0 comments

14667.

Bitcoin speculators are the new day traders (cnbc.com)

2 points by SirLJ on Jun 24, 2017 | 0 comments

14668.

'Bring Kalanick Back’ drive finds many employees in India (economictimes.indiatimes.com)