In distributed systems, the key challenge is achieving consensus among unreliable components.
Writing is learning to die, learning to give everything away.
我对事物的表面不感兴趣，而是对隐藏在表面之下的东西感兴趣。
自动机和形式语言的研究对于理解计算的极限是基础性的。