The desire to get rich is a natural human instinct, and it's not something to be ashamed of.
艺术的功能不仅仅是告诉你已经知道的东西。
"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."
Program testing can be used to show the presence of bugs, but never to show their absence!
悲伤是爱变成了永恒的缺失。
Life is about making an impact, not making an income.