The most dangerous thing in the digital era is not making mistakes, but missing opportunities.
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
【原文】楚狂接舆歌而过孔子，曰：“凤兮!凤兮!何德之衰?往者不可谏，来者犹可追。己而!已而!今之从政者殆而!”孔子下，欲与之言。趋而避之，不得与之言。【译文】过去的的事已经不可挽回了，将来的事还来得及改正。
我扮演的每一个角色都是一次旅程，一次进入未知的新冒险。
What has destroyed every previous civilization has been the tendency to the unequal distribution of wealth and power.
"The novel is a way of thinking about the world, a way of understanding the world."
The future of construction materials lies in smarter, greener solutions that don't compromise on quality.
在一个不自由的世界里，唯一的应对方式就是变得如此绝对自由，以至于你的存在本身就是一种反叛。
Customer satisfaction is the best advertisement for our company.
