Best of 2017

The blog posts Hacker News loved most in 2017. 4,763 posts.

Any topic
3994

Principles of TLA+

TLA+ is a formal specification and verification language intended to help engineers specify, design and reason about complex, real-life algorithms and software or hardware systems. We explore its motivation, application and principles of design.

4009

Build your own Terminal using Qt

I'm a huge fan of Unix as an IDE and so the terminal is the core of my computational environment: I run everything from my development tools and text editor to my chat apps and email. There are a variety of terminals out there with their own set of pros and cons, but here we'll find out how to build our own terminal…

4016

Capsule Networks Explained

Assumed Knowledge: Convolutional Neural Networks, Variational Autoencoders Disclaimer: This article does not cover the mathematics behind Capsule Networks, but rather the intuition and motivation behind them. What are Capsule Networks and why do they exist? The Capsule Network is a new type of neural network…