文学就是我的天国。在这里,我不会被剥夺公民权。任何五官的残障都无法阻碍我和我的朋友书籍接近和深切交往。
最稳健的投资是那些让树木和机会共同成长的投资。
Nolite te bastardes carborundorum.
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."