HN Top Links - Popular Stories from Hacker News

13261.

Learning How to Prove: From the Coq Proof Assistant to Textbook Style (arxiv.org)

115 points by mindcrime on Oct 7, 2019 | 19 comments

13262.

Pac-Man: How We Played the Game (retrobitch.wordpress.com)

115 points by severine on Mar 4, 2019 | 18 comments

13263.

Usain Bolt’s Split Times and the Power of Calculus (quantamagazine.org)

115 points by furcyd on Apr 3, 2019 | 18 comments

13264.

Whaling in the Soviet Union (psmag.com)

115 points by telotortium on May 19, 2019 | 18 comments

13265.

Squashed Bugs, with Failure Rate Heatmaps (pingcap.com)

115 points by roecuco on Dec 21, 2019 | 18 comments

13266.

Simple RPC framework in 300 lines of Go (github.com)

115 points by ankuranand on Aug 4, 2019 | 17 comments

13267.

The Decentralized Web Primer (2017) (dweb-primer.ipfs.io)

115 points by dgellow on Mar 10, 2019 | 15 comments

13268.

I'm donating $150/month to the musl libc project (andrewkelley.me)

115 points by ryanworl on Jun 24, 2019 | 12 comments

13269.

Swift compiler driver rewritten in Swift (github.com)

115 points by rvz on Oct 10, 2019 | 12 comments

13270.

Live coding a basic Go compiler with LLVM in 20 minutes (github.com)

115 points by ngaut on Mar 9, 2019 | 11 comments

13271.

Agent 355 (en.wikipedia.org)

115 points by areoform on Jul 4, 2019 | 10 comments

13272.

Reflections on Learning Rust by Building Punchtop (hyperbo.la)

115 points by p4lindromica on Feb 19, 2019 | 9 comments

13273.

Beyond L2 Loss – How We Experiment with Loss Functions (eng.lyft.com)

115 points by rebello95 on Dec 23, 2019 | 3 comments

13274.

The Phone That’s Failing Apple: iPhone XR (wsj.com)

114 points by robertgk on Jan 6, 2019 | 359 comments

13275.

CERN cuts ties with 'sexist' scientist Alessandro Strumia (bbc.com)

114 points by kgwgk on Mar 9, 2019 | 263 comments

13276.

Much fridge food ‘goes there to die’ (news.osu.edu)

114 points by EndXA on Aug 30, 2019 | 197 comments

13277.

Rick Steves Wants to Save the World, One Vacation at a Time (nytimes.com)

114 points by ohjeez on Mar 22, 2019 | 147 comments

13278.

The post-exponential era of AI and Moore’s Law (techcrunch.com)

114 points by ChuckMcM on Nov 11, 2019 | 147 comments

13279.

It Shouldn't Be This Hard to Responsibly Fly a Drone (spectrum.ieee.org)

114 points by gilad on Sep 8, 2019 | 145 comments

13280.

SoftBank Is Selling Wag Stake Back to Company (bloomberg.com)

114 points by xrd on Dec 10, 2019 | 143 comments

13281.

Ask HN: What problems do you see worth solving in 2019-2020?

114 points by Beefin on Aug 27, 2019 | 142 comments

13282.

Add limits to amount of JavaScript that can be loaded by a website (bugs.webkit.org)

114 points by ingve on Jan 30, 2019 | 137 comments

13283.

The perfect language and why Go still isn't it (snazz.xyz)

114 points by snazz on Jul 31, 2019 | 137 comments

13284.

WeWork chases new financing as cash crunch looms (ft.com)

114 points by paulsutter on Oct 11, 2019 | 135 comments

13285.

Disney Announces $12.99 Bundle for Disney+, Hulu, and ESPN+ (geekdommovies.com)

114 points by sshuttari on Aug 10, 2019 | 133 comments

13286.

Ask HN: How do you keep your programming motivation up?

114 points by shetill on Sep 10, 2019 | 130 comments

13287.

Bitcoin Spreads Like a Virus (papers.ssrn.com)

114 points by mthwsjc_ on Mar 21, 2019 | 129 comments

13288.

Dropbox CTO Resigns (sec.gov)

114 points by tpw212 on Oct 2, 2019 | 128 comments

13289.

Facebook and Speech (continuations.com)

114 points by uptown on Oct 18, 2019 | 128 comments

13290.

AMD Ryzen 5 2500X and Ryzen 3 2300X CPU Review (anandtech.com)

114 points by rbanffy on Feb 11, 2019 | 121 comments