在编程中,我们所做的一切都是更通用的特例-而且我们常常知道得太快。
我想在纸上捕捉的不仅仅是事实,还有人们的灵魂。
恐惧风险的本能,反而让穷人承担更大风险。
做人就是与自己发生冲突。
I don't believe in guilt, I believe in living on impulse as long as you never intentionally hurt another person.
模型检查的挑战不仅在于发现错误,还在于理解它们为何发生。
在这个世界上,没有什么比孤独更能让人成长。
All fireworks that can rise and burst forth are beautiful.