How to Write Software With Mathematical Perfection
Leslie Lamport may not be a household name, but he’s behind a few of them for computer scientists: the typesetting program LaTeX and the work that made cloud infrastructure at Google and Amazon possible. He’s also brought more attention to a handful of problems, giving them distinctive names like the bakery algorithm and the Byzantine Generals Problem. This is no accident. The 81-year-old computer…
Click to rate this post!
[Total: 0 Average: 0]
You have already voted for this article
(Visited 90 times, 1 visits today)