I'm stealing that quote, it's so good. I'm always surprised how ideas that sound... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		tomfern on May 31, 2019 \| parent \| context \| favorite \| on: Undervalued Engineering Skills: Writing Well 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 on May 31, 2019 [–]

An 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

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact