News for hackers. Stuff that matters.
Re:Undervalued Engineering Skills: Writing Well by tomfern on Friday May 31, 2019 @01:50PM (#20063264)
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.
Re:Undervalued Engineering Skills: Writing Well by ithkuil on Friday May 31, 2019 @04:44PM (#20064804)
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