Sublime
An inspiration engine for ideas
software is like a science. We show correctness by failing to prove incorrectness, despite our best efforts. Such proofs of incorrectness can be applied only to provable programs. A program that is not provable—due to unrestrained use of goto, for example—cannot be deemed correct no matter how many tests are applied to it.
Robert C. Martin • Clean Architecture: A Craftsman's Guide to Software Structure and Design (Robert C. Martin Series)
Richard Hamming • You and Your Research
Analog
EM • 2 cards
Jim Simons: "I’m not an extremely fast thinker myself; I just work hard."
That was all I needed to do—work hard, not fast. A paper I published in '68 took me five years. But it has had 1,850 citations. For a math paper, that’s an awful lot.
There’s too much emphasis on a person’s being able to answer questions quickly."
In most computer projects there comes a day when it is discovered that the machine and the manual don't agree. When the confrontation follows, the manual usually loses, for it can be changed far more quickly and cheaply than the machine.
Frederick P. Brooks Jr. • Mythical Man-Month, Anniversary Edition, The: Essays On Software Engineering
systems and complexity
Gustavo Simas • 20 cards