|
|
|
|
|
|
by ithkuil
2583 days ago
|
|
|
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 |
|
|