Happiness is brief. It will not stay. God batters at its sails.
"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."
"The world is a book, and those who do not travel read only one page."
Nothing just happens, it's all part of a plan.
"Quantum cryptography is not about keeping secrets, it's about knowing when someone is trying to steal them."
然后我有了信仰，然后我有了想象，我被他們對嘲笑的沉迷所感染，然后我看見剛果河從黑土地上蜿蜒流過，在森林中劃下一道金色的溝壑。
Continuous improvement is not just a slogan, it should be our daily practice.
Young girls are told you have to be the delicate princess. I'm trying to show they can be the warriors.