Top posts

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

Any topic
2018
1532

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…