标签:分布式程序员系统

2013年图灵奖得主 Leslie Lamport 专访:程序员需要更多的数学知识

Leslie Lamport可能并不是一个家喻户晓的名字,但对于计算机科学家们来说,他是一些耳熟能详的「名字」幕后的贡献者。比如Paxos算法、排版程序LaTeX、规格语...