[Haskell-cafe] www.galois.com vs Google??

[Vasili I. Galchin]

Hello Haskellers(and all FPL people),

        I just ran across the following effort by Google:
http://blogs.techworld.com/war-on-error/2014/07/googles-project-zero-flaw-programme-do-gooding-spin-or-a-much-needed-evolution/index.htm

         It seems to me that www.galois.com(www.janestreetcapital.com)
realizes that the solution to software correctness problems doesn't
lie with uncontrolled "mutability" ...

        Question: does Google concur with www.galois.com or google's
effort just "more of the same"??

Vasili