为气候上天国,为同伴下地狱。
我们的责任不仅限于股东,还包括我们所在的社区。
我不需要许可来闪耀。
"I always try to find the extraordinary in the ordinary."
形式化方法的美在于它们能够提供关于系统行为的绝对保证。
过去从未消逝,它甚至还未过去。
Writing is my way of fighting against forgetting.