我认为数学家更像艺术家,而不是科学家。
形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
I wanted to discover myself, the reason I was born, and the meaning of life.
The beauty of cinema lies in its ability to make us feel less alone.
艺术提供的是空间——一种精神的喘息空间。