"I am interested in the way that the poem can be a kind of dialogue with the reader."

"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."

人类最大的敌人是自己。

体验越强烈，表达就越不清晰。

穿着粗布衣裳，吃着简单饭菜，这样的快乐哪里需要刻意寻求？

I have to be alone very often. I'd be quite happy if I spent from Saturday night until Monday morning alone in my apartment. That's how I refuel.