成功不仅仅是实现目标,还在于旅程以及你一路同行的人。
Success is not just about achieving goals but about the journey and the people you bring along with you.
预测未来的最好方式就是创造未来。
人工智能不是零和游戏,它可以为每个人创造新的机会。
Don't just follow the market—shape it.
韩寒谈北京海淀区
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."