HN Top Links - Popular Stories from Hacker News

13981.

Refinement Reflection: Haskell as a Theorem Prover (goto.ucsd.edu)

2 points by adamnemecek on Sep 20, 2016 | 0 comments

13982.

Keen Security Lab demos remote exploit of Tesla Model S (no physical contact) (youtube.com)

2 points by rorosaurus on Sep 20, 2016 | 0 comments

13983.

Highlights from Scale 2016 (code.facebook.com)

2 points by olalonde on Sep 20, 2016 | 0 comments

13984.

Underground People of Beijing (projects.aljazeera.com)

2 points by jdale27 on Sep 20, 2016 | 0 comments

13985.

A swiss army knife of debugging tools (jvns.ca)

2 points by luu on Sep 20, 2016 | 0 comments

13986.

RDD: A Fault-Tolerant Abstraction for In-Memory Cluster Computing (usenix.org)

2 points by akashtndn on Sep 20, 2016 | 0 comments

13987.

What’s in your bot stack? Survey results of people building bots today\ (medium.com)

2 points by sebg on Sep 20, 2016 | 0 comments

13988.

A New Terror-Alert System (newyorker.com)

2 points by kawera on Sep 20, 2016 | 0 comments

13989.

The rise of dark circuits (lemire.me)

2 points by deweerdt on Sep 20, 2016 | 0 comments

13990.

You’re at the final exam and never attended class. It’s that dream again (washingtonpost.com)

2 points by petethomas on Sep 20, 2016 | 0 comments

13991.

The State of the GitHub Octoverse 2016 (octoverse.github.com)

2 points by sebg on Sep 20, 2016 | 0 comments

13992.

Show HN: Recursive “stacking” and modularization of `UITableViewDataSource(s)` (github.com)

2 points by benguild on Sep 20, 2016 | 0 comments

13993.

How blockchain will grow beyond Bitcoin (techcrunch.com)

2 points by gk1 on Sep 20, 2016 | 0 comments

13994.

Making sense of modern pornography (newyorker.com)

2 points by danso on Sep 20, 2016 | 0 comments

13995.

Intel Core I7-7700K Flagship Kaby Lake CPU Listed Online (wccftech.com)

2 points by DiabloD3 on Sep 20, 2016 | 0 comments

13996.

Google Trips (youtube.com)

2 points by pcurve on Sep 20, 2016 | 0 comments

13997.

A small PHP script to get and renew TLS certs from Let's Encrypt (github.com)

2 points by kaienkira on Sep 20, 2016 | 0 comments

13998.

Project Autobuild (engineering.linkedin.com)

2 points by samber on Sep 20, 2016 | 0 comments

13999.

Elphel: NC393 camera development progress and the future plans (blog.elphel.com)

2 points by ashitlerferad on Sep 20, 2016 | 0 comments

14000.

Sycl.tech (sycl.tech)

2 points by matt42 on Sep 20, 2016 | 0 comments

14001.

Shift in American's Reason for Gun Ownership: People Protection (thetrace.org)

2 points by electic on Sep 20, 2016 | 0 comments

14002.

Tabs versus Spaces (youtube.com)

2 points by dankohn1 on Sep 20, 2016 | 0 comments

14003.

Filepiper – drop files to your cloud (filepiper.com)

2 points by reinhardholl on Sep 20, 2016 | 0 comments

14004.

U.S. Signals Backing for Self-Driving Cars (mobile.nytimes.com)

2 points by legodt on Sep 20, 2016 | 0 comments

14005.

Angular 2 Quickstarter / Bootstrap / Boilerplate Projects (fullstack.info)

2 points by oferzelig on Sep 20, 2016 | 0 comments

14006.

Boofuzz: A Fork and Successor of the Sulley Fuzzer Framework (github.com)

2 points by dfc on Sep 20, 2016 | 0 comments

14007.

Armed British drones took part in botched air strike (abc.net.au)

2 points by prawn on Sep 20, 2016 | 0 comments

14008.

VR’s Big Surprise: 3-D Worlds Have Little Appeal (technologyreview.com)

2 points by prostoalex on Sep 20, 2016 | 0 comments

14009.

All-Optical Computing and All-Optical Networks Are Dead (2009) (queue.acm.org)

2 points by drdre2001 on Sep 20, 2016 | 0 comments

14010.

The Lesser Known Normal Forms of Database Design (2014) (johnmyleswhite.com)

2 points by robin_reala on Sep 20, 2016 | 0 comments