I write to explore the boundaries of language and experience.
最深刻的真理往往是我们回避的那些。
"To live is the rarest thing in the world. Most people exist, that is all."
"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."