形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
写作就像在镜子前裸露灵魂,不惧怕它映照出的影像。
The truth is you don't know what is going to happen tomorrow. Life is a crazy ride, and nothing is guaranteed.
2016年:贝索斯致股东信《每天都要像创业的第一天那样》
书籍不仅仅是物品;它们是经历,它们改变我们。
The materials choose the artist as much as the artist chooses them.