上帝已死。
Sometimes the most powerful moments come from what you leave out.
"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
最便宜的疗愈方法,就是每天写下一件让自己感恩的事情。