HN Top Links - Popular Stories from Hacker News

12931.

An empirical study on the correctness of formally verified distributed systems (blog.acolyer.org)

105 points by mpweiher on May 29, 2017 | 16 comments

12932.

Properties of expanding universes (1966) (repository.cam.ac.uk)

105 points by vasco on Oct 23, 2017 | 16 comments

12933.

User-space networking with Snabb (lwn.net)

105 points by quickfox on Mar 2, 2017 | 15 comments

12934.

Show HN: Freeciv WebGL 3D (play.freeciv.org)

105 points by roschdal on Dec 2, 2017 | 15 comments

12935.

What is Eventual Consistency? (concurrencyfreaks.blogspot.com)

105 points by ingve on Jul 17, 2017 | 14 comments

12936.

Beyond public key encryption (blog.cryptographyengineering.com)

105 points by wglb on Jul 15, 2017 | 12 comments

12937.

U.S. lawmakers want to restrict internet surveillance on Americans (reuters.com)

105 points by uptown on Oct 5, 2017 | 12 comments

12938.

Passive Fingerprinting of HTTP/2 Clients [pdf] (blackhat.com)

105 points by lainon on Dec 27, 2017 | 12 comments

12939.

How to choose and pair typefaces (zellwk.com)

105 points by zellwk on Mar 3, 2017 | 10 comments

12940.

Preventing AMI’s BiOS from interfering with coreboot flashing on the Librem 13 (puri.sm)

105 points by turblety on Apr 15, 2017 | 10 comments

12941.

Show HN: Goka – distributed stream processing library for Kafka written in Go (github.com)

105 points by flosch on May 17, 2017 | 10 comments

12942.

The Breathless Hours (indianquarterly.com)

105 points by hoffmannesque on Sep 18, 2017 | 10 comments

12943.

Imperative Functional Programs That Explain Their Work (lambda-the-ultimate.org)

105 points by mpweiher on May 26, 2017 | 7 comments

12944.

Surviving Your First Year (backblaze.com)

105 points by bshanks on Oct 27, 2017 | 7 comments

12945.

Don't Be a Sucker (1947) [video] (archive.org)

105 points by idibidiart on Aug 15, 2017 | 0 comments

12946.

Does OO really match the way we think (1997) [pdf] (leshatton.org)

104 points by tjalfi on Aug 12, 2017 | 239 comments

12947.

Uber hit by legal setback in Europe (money.cnn.com)

104 points by Tomte on May 11, 2017 | 201 comments

12948.

Living in a parking lot in Santa Barbara (latimes.com)

104 points by lisper on Dec 23, 2017 | 199 comments

12949.

At Davos, IBM Chief Predicts Artificial Intelligence Won’t Be a Job Killer (wsj.com)

104 points by uptown on Jan 17, 2017 | 190 comments

12950.

Cinemark announces $8.99/mo. subscription to fill more seats, take on MoviePass (beta.latimes.com)

104 points by smacktoward on Dec 6, 2017 | 143 comments

12951.

Ask HN: Does anyone dream of code?

104 points by rs86 on Feb 8, 2017 | 139 comments

12952.

AlphaBay, the Largest Online 'Dark Market,' Shut Down (justice.gov)

104 points by pero on Jul 20, 2017 | 130 comments

12953.

Casper, Mattress Maker, Raises $170M and Plans I.P.O (nytimes.com)

104 points by peterkshultz on Jun 19, 2017 | 119 comments

12954.

Canada's Housing Bubble Will Burst (bloomberg.com)

104 points by linkregister on Jun 21, 2017 | 119 comments

12955.

'Acting Wife': Marriage Market Incentives and Labor Market Investments (nber.org)

104 points by jessaustin on Feb 19, 2017 | 117 comments

12956.

The declining authority of statistics and the experts who analyse them (theguardian.com)

104 points by prmph on Jan 19, 2017 | 114 comments

12957.

Replacing My Kid’s College Fund with a “Start Something” Fund (unsupervisedmethods.com)

104 points by RobbieStats on Jul 15, 2017 | 113 comments

12958.

Typed nils in Go 2 (dave.cheney.net)

104 points by nie on Aug 11, 2017 | 111 comments

12959.

Incorporating a limited company in Germany (thomas.skowron.biz)

104 points by timmy-turner on Feb 3, 2017 | 110 comments

12960.

Intel delays Cannonlake 10nm processor for the third time (electronicsweekly.com)

104 points by rbanffy on Sep 20, 2017 | 110 comments