HN Top Links - Popular Stories from Hacker News

44461.

Lectures on the Curry-Howard Isomorphism [pdf] (disi.unitn.it)

8 points by Oxitendwe on Oct 14, 2017 | 0 comments

44462.

Guy Steele on Computer Science Meta Notation [video] (youtube.com)

8 points by ozy on Oct 15, 2017 | 0 comments

44463.

Refactoring my C++ application into a Golang library made it better in every way (medium.com)

8 points by Ullaakut on Oct 16, 2017 | 0 comments

44464.

Vue 2.5 released (medium.com)

8 points by IamManchanda on Oct 16, 2017 | 0 comments

44465.

Why education is productive – a parable of men and beasts (marginalrevolution.com)

8 points by sndean on Oct 16, 2017 | 0 comments

44466.

Suggest HN: Automatically Link from Duplicate Submission to Original

8 points by twobyfour on Oct 17, 2017 | 0 comments

44467.

How the U.S. government may have identified who Satoshi Nakamoto is (medium.com)

8 points by astdb on Oct 17, 2017 | 0 comments

44468.

Code Design Principles for Public APIs of Modules (code.kiwi.com)

8 points by rkuska on Oct 17, 2017 | 0 comments

44469.

Leveraging iOS Frameworks to Speed Up Development at SoundCloud (developers.soundcloud.com)

8 points by aaronlevin on Oct 17, 2017 | 0 comments

44470.

Meet Horovod: Uber’s Open Source Deep Learning Framework for TensorFlow (eng.uber.com)

8 points by mkvorwerck on Oct 17, 2017 | 0 comments

44471.

Making development board cases with ShimonBox (blog.pkh.me)

8 points by ux on Oct 17, 2017 | 0 comments

44472.

Fast Numerical Linear Algebra in Clojure: Orthogonalization and Least Squares (dragan.rocks)

8 points by dragandj on Oct 17, 2017 | 0 comments

44473.

If you wanna read one article about customer psychology read this one (startupwithneel.com)

8 points by neelbanerjee on Oct 17, 2017 | 0 comments

44474.

Build a live video app with ARKit and OpenTok (tokbox.com)

8 points by robjperez on Oct 18, 2017 | 0 comments

44475.

This Is What a 21st-Century Police State Really Looks Like (buzzfeed.com)

8 points by prsamcontigo on Oct 18, 2017 | 0 comments

44476.

Modern JavaScript Explained for Dinosaurs (medium.com)

8 points by peterxjang on Oct 18, 2017 | 0 comments

44477.

How Wallaroo Scales Distributed State (blog.wallaroolabs.com)

8 points by spooneybarger on Oct 19, 2017 | 0 comments

44478.

Refactoring C++ application into Go made it better in every way (medium.com)

8 points by blacksmythe on Oct 19, 2017 | 0 comments

44479.

JavaScript Must Die (gist.github.com)

8 points by daniel31415 on Oct 19, 2017 | 0 comments

44480.

Western employees reviewed 8 big Chinese tech companies they worked for (twitter.com)

8 points by niguanwoshishei on Oct 19, 2017 | 0 comments

44481.

Boring Company Hat (boringcompany.com)

8 points by 11thEarlOfMar on Oct 20, 2017 | 0 comments

44482.

Jack Nutting's answer to How bad is it in Sweden? (quora.com)

8 points by mpweiher on Oct 20, 2017 | 0 comments

44483.

Thoughts on how to find alternate algebra-like systems (westoncb.blogspot.com)

8 points by westoncb on Oct 21, 2017 | 0 comments

44484.

Wherein an ousted blockchain CEO controls the companies Medium blog (medium.com)

8 points by memossy on Oct 21, 2017 | 0 comments

44485.

Show HN: I made myself a minimalist portfolio (lukasz.cc)

8 points by lukaszmtw on Oct 21, 2017 | 0 comments

44486.

Android getting “DNS over TLS” support (xda-developers.com)

8 points by rafaelferreira on Oct 22, 2017 | 0 comments

44487.

A New Theory Explains How Consciousness Evolved (theatlantic.com)

8 points by Grognak on Oct 23, 2017 | 0 comments

44488.

Fear and Loathing in Lock Free Programming (medium.com)

8 points by SEJeff on Oct 23, 2017 | 0 comments

44489.

PowerShell Universal Dashboard Inputs and Dynamic Pages (poshtools.com)

8 points by l33t_d0nut on Oct 23, 2017 | 0 comments

44490.

Book Review: ‘Energy and Civilization: A History’ by Vaclav Smil (eandt.theiet.org)

8 points by dredmorbius on Oct 23, 2017 | 0 comments