Formalizing NIST standards | Hacker News Reader