使用程序证明四色定理不会改变数学-它只是表明该定理是一个世纪的挑战,对数学可能并不重要。
我一直觉得技术应该为那些重要的工作作出贡献——如发现、组织、社交,这样用户就能做一些对他们来说愉悦的事情:生活和爱,不用成天和干巴巴的计算机较劲!那意味着我们的产品一定要实现协同工作。
我今天才知道,我之所以漂泊就是在向你靠近。
"I think the best writing comes from a place of deep emotional truth."
Architecture should be timeless, not fashionable.
The white cube is dead; long live the context!