写下那些不应该被遗忘的事情。

"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."

"The only limit to our realization of tomorrow is our doubts of today."

"Children need stories to help them navigate the complexities of life."

最好的故事是那些在你读完很久之后仍然留在你心中的故事。