One can only display complex information in the mind. Like seeing, movement or flow or alteration of view is more important than the static picture, no matter how lovely.
一个人只能在头脑中显示复杂的信息。就像看到，移动，流动或改变视图，比静止的图片更重要，无论多么可爱。
模型检查是验证有限状态并发系统正确性的强大技术。
过去总在变化，因为我们与它的关系总在改变。
In nature, we find solace for our souls and answers to our deepest questions.
CRISPR打开了我们甚至不知道存在的大门。
找到自己的唯一方法是在更伟大的事物中迷失自己。