Viewing profile — Fri21Sep

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…

"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 …