"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."
The world is full of beauty and ugliness, and it's up to us to choose which one we want to see.
如果你试图创建一家公司,就像烘焙蛋糕。你必须以正确的比例拥有所有的成分。
技术没有边界,但商业要聚焦。
I don't like to be labeled. I'm not a rebel, I'm not a conformist, I'm not any of that. I'm just me.