It's all about guarantees in software design | Hacker News Reader