When I’m painting, I’m not thinking about anything. I’m just painting.
想法到处都是,但知识非常稀缺。
The more you know, the more you realize how little you know.
如果我比别人看得更远,那是因为我站在巨人的肩上。
"The future of system design lies in the integration of formal methods with traditional engineering practices."