When we can't talk about something, it becomes dangerous.

逻辑学研究不仅仅是关于形式系统，更是关于人类推理的本质。

我一直觉得技术应该为那些重要的工作作出贡献——如发现、组织、社交，这样用户就能做一些对他们来说愉悦的事情：生活和爱，不用成天和干巴巴的计算机较劲！那意味着我们的产品一定要实现协同工作。

制造工艺的每一个纳米进步，背后都是无数工程师的汗水。

算法不应该决定内容的价值，人的判断才是核心。

模型的好坏取决于其所基于的数据。