自动机和形式语言的研究对于理解计算的极限是基础性的。
水产养殖技术应该服务于两个目标:生产力和地球健康。
我们希望能释放(内心的)怪兽,让它们和世界打交道。