Acting is a way of living out one's insanity.

最好的想法来自那些最接近问题的人。

我们对自然的自觉认识所能解决的最直接且在某种意义上最重要的问题，是对未来事件的预测，以便我们能根据这种预测安排当前的事务。

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

Out of my own great woe I make my little songs.

译文：大道没有具体的形态，那么内心要凭借什么去领悟呢?关键在于每个人自身的智慧和见识是否高明。