The challenge in model checking is not just to find errors, but to understand why they occur.
"A book is a mirror; if a monkey looks in, no philosopher looks out."
在输赢的过程中有太多偶然,今日我们太讲求所有事情的正义和公平,政治人物总是在谈论正义,我非常支持正义,我只是觉得那不可能,我们应该尽力,尽力去追求正义,但我们也应该记得,我们所面对的,无论在他们人生中发生过什么,偶然总是一个强烈的因素,我希望大家留一点空间这么想,不然真令人有一种幽闭恐怖症的感觉。
I'm a true believer that if you put in the work, the results will come.
机器人应该像人一样思考,而不是人像机器人一样工作。
"The past is always present, shaping who we are in ways we don’t always understand."