"The most important thing is to enjoy your life—to be happy—it's all that matters."
"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
反对民煮最好的论据就是与一个普通选民五分钟的谈话.
色彩是我整日的痴迷、快乐和折磨。