I disagree. I've been keeping a journal for more than 10 years (started when I was 14 and am 25 now), where I report important events and more importantly reflect on them, and also on general concepts. Reading old…
"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…
I disagree. I've been keeping a journal for more than 10 years (started when I was 14 and am 25 now), where I report important events and more importantly reflect on them, and also on general concepts. Reading old…
"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…