The most important thing in a computer system is the file system.
计算机系统中最重要的东西是文件系统。
可持续性不是一种选择，而是农业唯一的出路。
模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
旧梦是好梦，没有实现，但是我很高兴我有过这些梦。
Funny how it works with white kids though. It's dope to be black until it's hard to be black.
"We are all searching for something, but sometimes what we are searching for is already within us."
You can't have a better tomorrow if you're still thinking about yesterday.