#文章
《How to Write Software With Mathematical Perfection》

一篇对Lamport的采访，里面这句话印象深刻：

“What that involves is basically not trying to write algorithms in a programming language: If you really want to do things right, you need to write your algorithm in the terms of mathematics.”

下一步该学学TLA+了：）