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

Hacker News new | past | comments | ask | show | jobs | submit

login

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

Join us for AI Startup School this June 16-17 in San Francisco!
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact