Success in farming comes from understanding both the land and the market.
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
你必须愿意失败,愿意犯错,愿意带着学到的教训重新开始。
我能对你说什么有价值的话呢,除了或许你追求得太多,以至于无法找到。
知识最大的敌人不是无知,而是知识的幻觉。
I don’t want to fall in love, I just want to fall asleep.
世界是一个迷宫,我们都在试图找到出路。