The novel is not a mirror of society, but a window into the human heart.
金融行业要有社会责任，不能唯利是图。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
Disruption is not about technology; it's about business models.
Everything that happens once can never happen again. But everything that happens twice will surely happen a third time.
学习算法的研究必须同时考虑学习的统计和计算方面。
我不知道我想要什么。我反复无常、不坚定、被动；我喜欢不确定、无边界；我喜欢持续的不确定性。
The best way to predict the future is to create it.