2 ms·
I'm stealing that quote, it's so good. I'm always surprised how ideas that sounded wonderful in my head turn into garbage when written down.
by tomfern 7y ago
I'm stealing that quote, it's so good. I'm always surprised how ideas that sounded wonderful in my head turn into garbage when written down.
- ithkuil 7y agoAn actual quote from Lamport: "mathematics is nature's way to show you how lousy your writing is". It's layered on top of a quote of Guindon he uses in a book about TLA+ in order to make a point for using math to formally specify systems