I write to connect with others, to bridge the gaps between us.
在计算复杂性中,我们不仅仅是在处理我们能计算的极限,也是在处理我们能证明的极限。
我相信音乐的力量可以治愈和激励人。
The power of abstraction is that it allows us to reason about systems at a higher level, without getting bogged down in the details.