I write to confront the silence, to break it.
我信仰史宾诺莎的上帝,祂以宇宙的秩序与和谐来示现,而不是那个会干涉人类命运和行为的上帝。
The greatest thing you'll ever learn is just to love and be loved in return.
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。