HN Top Links - Popular Stories from Hacker News

15961.

A formally verified proof of the soundness of System F (github.com)

2 points by mmphosis on Feb 28, 2019 | 0 comments

15962.

The politicisation of white evangelical Christianity is hurting it – Flocks away (economist.com)

2 points by iron0013 on Feb 28, 2019 | 0 comments

15963.

Containerd Graduated Within the CNCF (blog.docker.com)

2 points by feross on Feb 28, 2019 | 0 comments

15964.

Realtalk: List size, conversion rates, and ACTUAL subscribers (indiehackers.com)

2 points by jordantcarlisle on Feb 28, 2019 | 0 comments

15965.

Gene Editing Is Trickier Than Expected–But Fixes Are in Sight (wired.com)

2 points by headalgorithm on Feb 28, 2019 | 0 comments

15966.

Status as a Service (eugenewei.com)

2 points by djjose on Feb 28, 2019 | 0 comments

15967.

Make the Most Out of Last Level Cache in Intel Processors [pdf] (people.kth.se)

2 points by ingve on Feb 28, 2019 | 0 comments

15968.

Amanda Cox, Who Brings Life to Data on Our Pages (nytimes.com)

2 points by iron0013 on Feb 28, 2019 | 0 comments

15969.

Energy–Maneuverability Theory (en.wikipedia.org)

2 points by godelmachine on Feb 28, 2019 | 0 comments

15970.

AI won’t relieve the misery of Facebook’s human moderators (theverge.com)

2 points by jonbaer on Feb 28, 2019 | 0 comments

15971.

USTR to suspend China tariff hike 'until further notice' (reuters.com)

2 points by howard941 on Feb 28, 2019 | 0 comments

15972.

Animal-AI Olympics (animalaiolympics.com)

2 points by jonbaer on Feb 28, 2019 | 0 comments

15973.

Ask HN: How Can I Scale?

2 points by tiuPapa on Feb 28, 2019 | 0 comments

15974.

A New Functional Approach to Complex Types in Apache Hive (tech.trivago.com)

2 points by DDerTyp on Feb 28, 2019 | 0 comments

15975.

Bending Jest to Our Will: Caching Modules Across Tests (petecorey.com)

2 points by pcorey on Feb 28, 2019 | 0 comments

15976.

Do browser cookies increase flight prices? (skyscanner.net)

2 points by yitchelle on Feb 28, 2019 | 0 comments

15977.

A simple debugging module for AWS Lambda(λ) timeout with HTTP request logging (github.com)

2 points by marked-down on Feb 28, 2019 | 0 comments

15978.

The Biggest Obstacle to Medicare for All Is Other Democrats (splinternews.com)

2 points by howard941 on Feb 28, 2019 | 0 comments

15979.

Resources vs. Resourcefulness (millennialmoderator.com)

2 points by alekseyweyman on Feb 28, 2019 | 0 comments

15980.

John Baez: The math that unifies the laws of physics (nautil.us)

2 points by chmaynard on Feb 28, 2019 | 0 comments

15981.

Enterprise Pie (blog.licensezero.com)

2 points by feross on Feb 28, 2019 | 0 comments

15982.

US bars lithium-ion batteries from passenger aircraft cargo (cnet.com)

2 points by tdurden on Feb 28, 2019 | 0 comments

15983.

What Peak Car Looks Like (bloombergquint.com)

2 points by jonbaer on Feb 28, 2019 | 0 comments

15984.

Gender-Distinguishing Features in Film Dialogue [pdf] (cs.cornell.edu)

2 points by luu on Feb 28, 2019 | 0 comments

15985.

Threat Spotlight: Sextortion (blog.barracuda.com)

2 points by ourmandave on Feb 28, 2019 | 0 comments

15986.

The dos and don'ts of large, online communities (samwho.co.uk)

2 points by samwho on Feb 28, 2019 | 0 comments

15987.

The quest for autism’s causes, and what it reveals about all of us (knowablemagazine.org)

2 points by knowablemag on Feb 28, 2019 | 0 comments

15988.

Cyber-Mercenary Groups Shouldn't Be Trusted in the Browser or Anywhere Else (eff.org)