HN Top Links - Popular Stories from Hacker News

991.

Curry-Howard, the Ontological Ultimate (psnively.github.io)

75 points by kryptiskt on Oct 15, 2014 | 80 comments

992.

Ask HN: ”Coffee date” etiquette

75 points by cpach on Oct 30, 2014 | 68 comments

993.

64-bit Android L developer preview (plus.google.com)

75 points by nantunes on Oct 9, 2014 | 65 comments

994.

The Human Factor – the 2009 crash of Air France Flight 447 (vanityfair.com)

75 points by celadevra_ on Oct 14, 2014 | 61 comments

995.

Farewell CoffeeScript (github.com)

75 points by staltz on Oct 2, 2014 | 53 comments

996.

Analyze Your HN Posts with Watson User Modeling (hn.mybluemix.net)

75 points by Jonovono on Oct 8, 2014 | 49 comments

997.

Ducksboard is joining New Relic (ducksboard.com)

75 points by eloycoto on Oct 8, 2014 | 40 comments

998.

OpenBSD Passes 300,000 Commits (undeadly.org)

75 points by adamnemecek on Oct 20, 2014 | 39 comments

999.

Storage Scalability in Docker (developerblog.redhat.com)

75 points by rbanffy on Oct 4, 2014 | 13 comments

1000.

Sourcery (YC W13) Raises $2.5M to Connect Kitchens and Local Food Suppliers (techcrunch.com)

75 points by bjoernlasseh on Oct 3, 2014 | 11 comments

1001.

Fun with Dependent Types in Haskell (alfredodinapoli.com)

75 points by lelf on Oct 13, 2014 | 11 comments

1002.

Neural Turing Machines [pdf] (arxiv.org)

75 points by neurologic on Oct 21, 2014 | 11 comments

1003.

Mechanical Turk: The New Face of Behavioral Science? (priceonomics.com)

75 points by ryan_j_naughton on Oct 15, 2014 | 9 comments

1004.

Steve Wozniak to teach at University of Technology, Sydney (arnnet.com.au)

75 points by femto on Oct 22, 2014 | 8 comments

1005.

Redis Sentinel properties and fail scenarios (antirez.com)

75 points by mmastrac on Oct 21, 2014 | 6 comments

1006.

Ireland to close corporate tax loophole used by Google and others (latimes.com)

74 points by llamataboot on Oct 15, 2014 | 88 comments

1007.

Why firms don't want you to be brilliant at your job (bbc.com)

74 points by dreamweapon on Oct 20, 2014 | 72 comments

1008.

Varnish 4.0.2 released (varnish-cache.org)

74 points by lkarsten on Oct 9, 2014 | 55 comments

1009.

Less.Mail – An email assistant that makes you work less (less.robinlabs.com)

74 points by ilyaeck on Oct 27, 2014 | 55 comments

1010.

IBM Paying Globalfoundries $1.5B to Take Unit in Retreat from Chips (bloomberg.com)

74 points by colmvp on Oct 20, 2014 | 44 comments

1011.

Hoverboard? Still in the Future (nytimes.com)

74 points by declan on Oct 21, 2014 | 40 comments

1012.

SAT solving – An alternative to brute force Bitcoin mining (2013) (jheusser.github.io)

74 points by scscsc on Oct 2, 2014 | 26 comments

1013.

Check that your Node.js project is well written, secure and follow conventions (github.com)

74 points by fgribreau on Oct 20, 2014 | 22 comments

1014.

Crash-only software: More than meets the eye (2006) (lwn.net)

74 points by djpuggypug on Oct 16, 2014 | 14 comments

1015.

The Reddit world map – How to map out online social networks (randalolson.com)

74 points by rhiever on Oct 27, 2014 | 12 comments

1016.

Type-safe Transducers in Clojure, Scala, and Haskell (blog.podsnap.com)

74 points by luu on Oct 29, 2014 | 11 comments

1017.

Show HN: HelloBitcoin. A “Hello World” of Bitcoin, Written in Go (github.com)

74 points by bryceneal on Oct 3, 2014 | 6 comments

1018.

Atari 2600 transistor-level simulation (blog.visual6502.org)

74 points by frakturfreund on Oct 12, 2014 | 6 comments

1019.

Amazon just told me to log into someone else's account – and delete it (ousbey.com)

73 points by Roedou on Oct 28, 2014 | 70 comments

1020.

Retailers are disabling NFC readers to shut out Apple Pay (theverge.com)

73 points by gws on Oct 25, 2014 | 66 comments