Most cited

Posts that commenters keep linking to, ranked by how many different people have cited them in Hacker News comments. 437 posts.

Any topic
2017
427

ICOs and VCs

The Brave browser team concluded an ICO for their Basic Attention Token yesterday in about thirty seconds. This led to this tweet: The Basic Attention Token (BAT) ICO just raised 30 million dollars in 24 seconds. VC’s didn’t even have time to put on a sweater vest. — briantobal (@briantobal) May 31, 2017 Of course…

428

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.

437

Implementing VisiCalc (2003)

I'm writing this in preparation for the Computer History Museum's The Origins and Impact of VisiCalc panel on April 8th 2003. This is basically a draft and I hope to do some more editing as time permits and you should expect many typos until then. I'm also going to continue to edit and change this as I remember…