Static Guarantees: How you can increase the safety of your code | Hacker News Reader