"The writer's job is to be a witness to his time."
"Verification is not just about finding bugs; it's about understanding why the system works the way it does."
脆弱不是軟弱,而是徹底的誠實。
想走得快,獨自前行;想走得遠(yuǎn),結(jié)伴同行。
存在的本質(zhì)即是平靜。我們所需要做的就是保持安靜。