意识不是一个实体而是一个过程
Program testing can be used to show the presence of bugs, but never to show their absence!
能源转型不是威胁,而是对那些准备引领变革的人的机遇。
The hardest single part of building a software system is deciding precisely what to build.