"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."
La historia de América es una realidad tan desmesurada que parece inventada.
CRISPR is a reminder that nature is the greatest innovator.
最大的风险是不冒任何风险。在一个快速变化的世界里，唯一注定失败的策略就是不冒险。
伟大的团队建立在尊重、信任和共同愿景之上。
我想苏珊大妈还有那位上海的卖菜大婶都有她们的独特之处。大家通常会觉得她们无法在娱乐圈这个行业里闯出天下，但是才能和勇气让她们得到了肯定。一场秀和一个平台让她们有了一个可以圆梦的舞台。
雪人在我的想象中早已存在，远早于他出现在纸上。