Home / 2017
2017 Archive
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