事物之間的空間往往比事物本身更重要。
The space between things is often more important than the things themselves.
But all these stars are silent. You-you alone-will have the stars as no one else has them…
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
The true measure of success is the impact you have on others.
"We live in a world where walls have ears and the ground has eyes."