"No worries we hashed IP adresses"
A classic case of two steps forward, one step backward. Google knew this would be a big change for the tech community and devised a release strategy accordingly.
The most definitive version of a proof one can imagine is when the proof has been expressed via a formal language and a proof assistant checks that each step of the proof complies with axioms or already proven theorems…
"No worries we hashed IP adresses"
A classic case of two steps forward, one step backward. Google knew this would be a big change for the tech community and devised a release strategy accordingly.
The most definitive version of a proof one can imagine is when the proof has been expressed via a formal language and a proof assistant checks that each step of the proof complies with axioms or already proven theorems…