I like it, finally someone is talking more about real-world user-facing impact of software verification. Facebook is using OCaml and their partnership with INRI

I like it, finally someone is talking more about real-world user-facing impact of software verification. Facebook is using OCaml and their partnership with INRIA is awesome