The more recent book on Isabelle hol is free online bit.ly/1nrrije
Why yes, I did tell the head of engineering that tinder is a better way to find good engineers than LinkedIn at the all hands. I have data.
The best code is the stuff that looks obvious when you read it, but it wasn’t obvious before reading
Crypto is cryptography. I kill a kitten every time someone says it to mean ponzicoin79