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