"Verification is not just about finding bugs; it's about understanding why the system works the way it does."

我不觉得我需要取悦任何人，除了我自己。

I'm interested in things which suggest the world rather than suggest the personality.

身形最好的状态是顺其自然，感情最好的状态是真率。顺其自然就不会背离，真率就不用劳神。

失败是最好的老师。你通过犯错并找出纠正错误的方法来学习。