我相信最好的故事是那些根植于现实的故事。
形式化方法不是银弹,但它们是追求可靠系统的重要工具。
The power of organocatalysis is that it often provides surprisingly simple solutions to complex problems.
大国攻打小国,就好像儿童爬在地上当马一样。
I write to make sense of the chaos within me.