对自由民主最严重的威胁来自内部,来自制度的衰败和对它们的信任的丧失。
过去从未消逝,它甚至没有过去。这在侦探小说中尤其如此。
Life is too short to be living someone else's dream.
I think the key to success is to be passionate about what you're doing.
"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."