All writing is autobiography.
所有的写作都是自传。
建筑是关于创造场所,而不仅仅是空间。
"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."
Sometimes the simplest questions lead to the deepest theories.