Leslie Lamport (Turing Award winner of LaTex fame)

Jul. 5th, 2021 01:25 pm
[personal profile] 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"

  • Add Memory
  • Share This Entry
This account has disabled anonymous posting.
If you don't have an account you can create one now.
HTML doesn't work in the subject.
More info about formatting
 
Notice: This account is set to log the IP addresses of everyone who comments.
Links will be displayed as unclickable URLs to help prevent spam.

Profile

JMA-PSOS

December 2025

S M T W T F S
 1 234 56
78 9 1011 12 13
14 151617 181920
21 222324 2526 27
28 29 3031   

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Dec. 30th, 2025 09:17 am
Powered by Dreamwidth Studios