计算的未来在于开发能够自我验证正确性的系统。
Being powerful is like being a lady. If you have to tell people you are, you aren't.
作家的职责是让安逸者不安,让不安者得慰。
未来属于那些在可能性变得明显之前就能看到它们的人。
"The only limit to our realization of tomorrow will be our doubts of today."
丙型肝炎的挑战不仅在于找到病毒,还在于理解它是如何逃避免疫系统的。