The future of computing lies in the development of systems that can verify their own correctness.
科学人应当没有愿望、没有情感,只剩一颗如石之心。
但我们不会承认,我们的现代艺术声称绝对原创绝对是一个真正的孤僻要求;一个绝对孤独的索赔。