翻譯：看破他人欺詐不必怒形于色，沉默是保護(hù)自己的盾牌，暗中布局比當(dāng)面爭(zhēng)執(zhí)更有效。
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
The best way to predict the future is to invent it.
I'm the kind of guy that'll make you call your girl up and tell her you love her.
因害怕文字獄而避開，著書只是為了謀生。
Architecture is the art of making the invisible visible.