The world is full of magic things, patiently waiting for our senses to grow sharper.
万物皆数。
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
A leader’s legacy is measured by the success of those they’ve mentored.
Your time and space are limited. Remove， give away， throw out things in your life that don‘t spark joy any longer in order to make room for those that do.
The universe is not queerer than we suppose, but queerer than we can suppose.
今日世界上最会嘲笑人的便是报纸。每天我们打开报纸，都能看到那些把生活搞砸的人，他们与错误对象共枕，使用错误药物，通过错误法案种种，让人在茶余饭后拿来挖苦的新闻，这些人失败了，我们称他们为“失败者”，还有其它做法吗？西方传统给了我们一个光荣的选择，就是“悲剧”。