形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
I love you not because of who you are， but because of who I am when I am with you。
She was becoming herself and daily casting aside that fictitious self which we assume like a garment with which to appear before the world.
如果你回溯几百年，我们今天认为理所当然的事情会像魔法一样——能够远距离与人交谈、传输图像、飞行、像先知一样访问大量数据。这些都是几百年前会被视为魔法的事情。
The only limits in life are the ones you set for yourself.
Sustainability isn’t an option; it’s the only way forward.
时刻准备着。你知道的越多，携带的就越少。
"Biography is not just about what happened, but about what it meant."