我们需要将软件不仅仅视为代码,而是可以分析和验证的数学对象。
艺术家必须保持自由,甚至要从自己的风格中解放出来。
The most exciting phrase to hear in science, the one that heralds new discoveries, is not 'Eureka!' but 'That's funny...'
I hope that the Pacific Ocean is as blue as I dreamed I was.