You Don't Know Jack About Formal Verification | Dark Hacker News