真正的勇气是即使知道可怕，也要继续前进。

"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."

自守表示的研究揭示了数域的隐藏对称性。

第一步是测量任何容易测量的东西。这本身没有问题。第二步是忽视无法测量的东西或给它一个任意的数值。这是人为且误导的。第三步是假设不容易测量的东西不太重要。这是盲目。第四步是说不能轻易测量的东西实际上不存在。这是自杀。

I'm trying to imitate Jesus in the fact that he said to be like children, to love children, to be as pure as children and to make yourself as innocent and to see the world through eyes of wonderment.

The past is not dead, it is not even past.

"Literature is the art of discovering something extraordinary about ordinary people, and saying with ordinary words something extraordinary."

A fisherman's wisdom combined with scientific data creates the best conservation policies.