BoxMate: prevent malicious behavior by enforcing automatically generated specs | Hacker News Reader