You heard it here folks! HN just invented formal methods of verification and fizz testing! ;) (But seriously, I do both of these to test/verify the distributed

You heard it here folks! HN just invented formal methods of verification and fizz testing! ;) (But seriously, I do both of these to test/verify the distributed systems on which I work -- both are great ideas)