A shallow dive into formal verification | Dark Hacker News