Top posts

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

Any topic
2026
2944

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…

2950

OpenTTD 16.0-Beta1

We’ve been working on some exciting new features for OpenTTD 16, and they need testing! The first beta release is now available, and we’ve opened the competition to create the title game for the next release.