miniblog.

Software is typically malleable. What software is the hardest to change? For me, the obvious cases are APIs near the bottom of the stack (e.g. imagine changing a Linux syscall) or systems with a large number of users (due to Hyrum's Law).

Software is typically malleable. What software is the hardest to change? For me, the obvious cases are APIs near the bottom of the stack (e.g. imagine changing a Linux syscall) or systems with a large number of users (due to Hyrum's Law).

The bottom type has a different name in a bunch of languages. I've seen nothing, _|_, !, never and empty. I don't know which is the most approachable to users though. `List[Empty]` reads very nicely for an empty list, whereas `never` reads nicely for error functions.