The truth about the world, he said, is that anything is possible. Had you not seen it all from birth and thereby bled it of its strangeness it would appear to you for what it is, a hat trick in a medicine show, a fevered dream, a trance bepopulate with chimeras having neither analogue nor precedent, an itinerant carnival, a migratory tentshow whose ultimate destination after many a pitch in many a mudded field is unspeakable and calamitous beyond reckoning.

即使输了，我也能学到东西。

Surround yourself with people who challenge you, not just those who agree with you.

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

历史不是机械的，因为人们有自由去改变它。

The most credible empirical research often comes from studies that have a clear and transparent design, where the assumptions are laid out for everyone to see.

人类的境况从根本上说是关于渴望与失去。

信任是好的，控制更好。