Google has not been scanning gmail mails for ad targeting since 2017. I think after 9 years we can finally let that one go. Ad display I'll still grant you of course.
I highly doubt that you can prove correctness with types alone. How would you verify the correctness of this function with types alone: Integer add(Integer a, Integer b) { return a + b; } How would types verify for me…
Google has not been scanning gmail mails for ad targeting since 2017. I think after 9 years we can finally let that one go. Ad display I'll still grant you of course.
I highly doubt that you can prove correctness with types alone. How would you verify the correctness of this function with types alone: Integer add(Integer a, Integer b) { return a + b; } How would types verify for me…