The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.

真正的艺术家永远是个孩子。

穆里尼奥评价切尔西

Gentlemen,what are the Four pillars?Travesty,Horror,Decadence,Excrement.

The effects of policy changes are often more nuanced than simple economic models suggest.

沟通中最大的问题是错觉以为沟通已经发生。

I'm interested in the in-between spaces, the places where things come together.

创业要选择有挑战的事情，这样才能激发自己的潜能。