Top posts

Every blog post that took off on Hacker News, ranked by the votes of its best submission. 215 posts.

Math & Algorithms
2018
132

The Great Theorem Prover Showdown

Functional programming and immutability are hot right now. On one hand, this is pretty great as there’s lots of nice things about functional programming. On the other hand, people get a little overzealous and start claiming that imperative code is unnatural or that purity is always preferable to mutation. I think that…