"Escribir es un acto de libertad, una forma de resistir contra la opresión y el olvido."
The danger is not that we will be deprived of speech, but that we will have nothing worth saying.
我们即将到来:今天,我们的程序证明了费马的倒数第二个定理。
CRISPR治疗遗传疾病的潜力才刚刚开始被认识到。
I’m interested in the gaps between official history and personal memory.
The end of history will be a very sad time.
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。