math is easy compared with this html rendering stuff :P
The more recent book on Isabelle hol is free online bit.ly/1nrrije
Zomggggg. Z3 is now MIT licensed. Zomg. This is huge.
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