计算的未来在于开发能够自我验证正确性的系统。
Persistence in research often pays off when you least expect it.
【译文】一辈子不做不应该做的事,世界上就不会有痛恨自己的人了。
他们从来也不会搞错他们上场的次序。真是了不起。
The only way to survive is to take care of each other.
美丽要比善良好,善良要比难看强。