居逆境中，周身皆针砭药石，砥节砺行而不觉；处顺境内，眼前尽兵刃戈矛，销膏靡骨而不知。
处于逆境中，就好比周身都扎着针、敷着药；冥冥中却能磨炼人的意志、培养高尚的品行。处于顺境中，就好比被各种各样的兵器包围；冥冥中掏空了身体，消磨了向上进取的意志。
"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."
生活就是抓住机会尝试新事物。
"The human heart is a mystery, even to itself."
The more we learn about the universe, the more we realize how much we have yet to discover.
Innovation is not about technology, it's about mindset.
记忆是脆弱的，我的作品试图保存那些不可避免地会消失的东西。