Top posts

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

Tools & Productivity
Any year
3277

Emacs Bedrock 2.0

Bedrock is a minimal, human-crafted starter-kit for Emacs, and today I’m pleased to announce that version 2.0 of Bedrock is available! This release requires Emacs 31, which came out in August 2026. If you are unable to upgrade Emacs that high, you should be able to remove some of the Emacs 31-specific config without…

3285

Typing Is Hard

Type checking is the process of taking a given program in some programming language and working out whether all variables and expressions have the correct types, i.e. strings are assigned to strings, arithmetic expressions involve only numbers, etc. Some languages also offer type inference , tasking the compiler with…