I am a radical.

"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."

那么为什么我要谈论失败的好处呢？因为失败意味着剥离掉那些不必要的东西。我因此不再伪装自己、远离自我，而重新开始把所有精力放在对我最重要的事情上。

You can be whatever you want to be.

Better never means better for everyone... It always means worse, for some.

在向埃及的远征中，拿破仑下达过这样的一个命令。

如果上帝想要人人都一样的话，他会给每人一双脚撑。