I choose a block of marble and chop off whatever I don't need.
杰夫·贝索斯接受了莱克斯·弗里德曼的播客采访
未来属于那些在别人看到挑战的地方看到机会的人。
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
The novel is the art of making the private public, the personal universal.
人类最美丽和最丑陋的倾向都不是固定生物本性的一部分,而是创造人类的社会过程的结果。
The most powerful thing about the internet is its ability to connect people.