Top posts

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

Any topic
Any year
17105

Mercury Colonization

There is a good reason for colonizing another planet, which is to avoid extinction if the Earth is hit by a 10km or larger asteroid, as has happened many times in the Earth's history. Colonization of Mercury appears to be a very real and practical possibility, whereas colonization of Mars or the other planets, moons…

17118

This is how I git

Every now and then I get questions on how to work with git in a smooth way when developing, bug-fixing or extending curl - or how I do it. After all, I work on open source full time which means I have very frequent interactions with git (and GitHub). Simply put, I work with git … Continue reading This is how I git →

17124

Wing Commander II

If there was ever any doubt inside Origin Systems that Chris Roberts’s Wing Commander was destined to join Ultima as the company’s second great franchise, it was banished the moment the first game in the new series was released on September 26, 1990, and promptly sold by some accounts 100,000 copies in its first month…

17130

We have proof automation now

I've long had a soft spot for dependently-typed languages like Coq Rocq and Lean. They offer the possibility of a type system capable of encoding and enforcing arbitrarily subtle invariants. The sort of thing that, in regular languages, ends up (at best) as a comment, and which quickly gets lost as the size of the…