Music speaks what cannot be expressed, soothes the mind and gives it rest.

A company’s culture is defined by the values it upholds, not just the products it sells.

2016年：贝索斯致股东信《每天都要像创业的第一天那样》

"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."