理论计算机科学中的挑战不仅仅是解决问题,而是理解为什么它们难以解决。
做一个世界的水手,游遍所有的港口。
I don’t let hate distract me, I let it fuel me.
In our reasonings concerning matter of fact, there are all imaginable degrees of assurance, from the highest certainty to the lowest species of moral evidence.
The only way to deal with an unfree world is to become so absolutely free that your very existence is an act of rebellion.