Leslie Lamport (Turing Award winner of LaTex fame)

[ionelv]

Mr Lamport wins the internet today in my heart for this utterance in which he describes his book Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers:

"quixotic attempt to overcome engineers' antipathy towards mathematics"