"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."

盖亚假说是一种将地球视为有生命的系统的方式，不是情感上的，而是作为一个系统。

没有人是有极限的。

数字化转型不是选择题，而是必答题，银行业必须拥抱科技变革。

Sometimes you just have to put on lip gloss and pretend to be psyched.

你无法阻止浪潮，但你可以学会冲浪。

每个小镇都有自己的幽灵，每个幽灵都有自己的故事。

In computing, turning the obvious into the useful is a living definition of the word 'frustration'.

任何公司最有价值的资产都是它的员工。

谈创业

人们改变了，却忘了告诉对方。