HN Top Links - Popular Stories from Hacker News

13051.

Verified Low-Level Programming Embedded in F* (arxiv.org)

2 points by pjmlp on Mar 8, 2017 | 0 comments

13052.

Redundancy does not imply fault tolerance: distributed storage and single errors (blog.acolyer.org)

2 points by mpweiher on Mar 8, 2017 | 0 comments

13053.

How to identify the 1% startups that actually succeed (insights.excitingrole.com)

2 points by patgenzler on Mar 8, 2017 | 0 comments

13054.

Facebook Is Using Artificial Intelligence to Help Prevent Suicide (buzzfeed.com)

2 points by aaronyy on Mar 8, 2017 | 0 comments

13055.

Code Review tips from the CIA (wikileaks.org)

2 points by kiyanwang on Mar 8, 2017 | 0 comments

13056.

Virtual Duality (ryan2point0.wordpress.com)

2 points by ryantracey on Mar 8, 2017 | 0 comments

13057.

Project Everest, a verified HTTPS stack in F* (project-everest.github.io)

2 points by pjmlp on Mar 8, 2017 | 0 comments

13058.

Standford nlp notes (cs 224) (github.com)

2 points by federicoponzi on Mar 8, 2017 | 0 comments

13059.

Life Expectancy Projected to Soar – Except in the US (articles.mercola.com)

2 points by lp001 on Mar 8, 2017 | 0 comments

13060.

Show HN: I started a new translation app to help me remember words (leaknows.com)

2 points by sebmarion on Mar 8, 2017 | 0 comments

13061.

The CIA’s No Good, Very Bad, Totally Awful Tuesday (lawfareblog.com)

2 points by JumpCrisscross on Mar 8, 2017 | 0 comments

13062.

In Istanbul, fat cats are a good thing (economist.com)

2 points by JumpCrisscross on Mar 8, 2017 | 0 comments

13063.

My Ultimate Jira Personal Kanban (philippe.bourgau.net)

2 points by philou on Mar 8, 2017 | 0 comments

13064.

BBC News: Global Reports of Microsoft Faults (bbc.co.uk)

2 points by frankydp on Mar 8, 2017 | 0 comments

13065.

Nintendo says dead Switch pixels are “normal,” which isn’t wrong (arstechnica.com)

2 points by mnmlsm on Mar 8, 2017 | 0 comments

13066.

4 forgotten code constructs: time to revisit the past? (chrismm.com)

2 points by Liriel on Mar 8, 2017 | 0 comments

13067.

[demo] Comment.ai: AI bot for exchanging Reddit comments (comment.ai)

2 points by Radim on Mar 8, 2017 | 0 comments

13068.

Russia continues LinkedIn block after it refuses to store data in Russia (techcrunch.com)

2 points by JumpCrisscross on Mar 8, 2017 | 0 comments

13069.

Scuttlebutt: a decent(ralised) secure gossip platform (scuttlebutt.nz)

2 points by alannallama on Mar 8, 2017 | 0 comments

13070.

How to start a successful Blog (jacobitzphotography.com)

2 points by Street_Bounty on Mar 8, 2017 | 0 comments

13071.

5 algorithms to train a neural network (neuraldesigner.com)

2 points by metin-konrad on Mar 8, 2017 | 0 comments

13072.

To stop poachers we should build a realistic robot rhino that shoots back

2 points by jlebrech on Mar 8, 2017 | 0 comments

13073.

Making a Plotly.js Dashboard in Datazar (blog.datazar.com)

2 points by lnolte on Mar 8, 2017 | 0 comments

13074.

In Conversation: David Letterman (vulture.com)

2 points by nkurz on Mar 8, 2017 | 0 comments

13075.

CSS Grids are enabled by default in Firefox 52 (developer.mozilla.org)

2 points by syck on Mar 8, 2017 | 0 comments

13076.

Full stack JAVA (codenameone.com)

2 points by fishyfishyy on Mar 8, 2017 | 0 comments

13077.

CIA Python style guide (wikileaks.org)

2 points by ffjffsfr on Mar 8, 2017 | 0 comments

13078.

Tails 2.11 is out – fixes many security issues (tails.boum.org)

2 points by Sami_Lehtinen on Mar 8, 2017 | 0 comments

13079.

Wikipedia Edits – A Real-Time Analysis (sachaysl.github.io)

2 points by Tree1993 on Mar 8, 2017 | 0 comments

13080.

Build a Preact app in 4 steps (medium.com)

2 points by 0x142857 on Mar 8, 2017 | 0 comments