Live data from Hacker News

Leslie Lamport awarded Turing Award

acm.org

31–40 of 63 posts

Re: Leslie Lamport awarded Turing Award

#31
post #21

Earlier quoted context omitted.

I'm embarrassed to include myself among the ignorant masses--I just assumed this was for his work on LaTeX. The distributed systems stuff sounds much more interesting though. Looks like I have some reading to do! http://research.microsoft.com/en-us/um/people/lamport/pubs/p...

Yep. Time, Clocks, and the Ordering of Events in a Distributed System is cited in basically every distributed systems paper ever, and the ideas in it are behind, among other things, Amazon's Dynamo. It's also fairly accessible. One of the first systems papers I read, and while I certainly felt in over my head, I got the high level ideas

For me, the timing could not have been better; I'm to write and present a summary of that paper this week. It's an excellent paper, and while I am probably wrong, it feels like it defines the vocabulary for talking about time in computer systems. The very first episode of Star Trek: DS9 comes to mind; Captain Benjamin Sisco has met an alien species that does not exist in our system of linear time. Sisco cannot explain 'time' to the creature as he sees it as an innate part of communication. It is my belief that he would have a much better chance, had he read this paper.

Re: Leslie Lamport awarded Turing Award

#34
post #20

It's quite ironic that most of the world knows him for LaTeX and not for the zillion fundamental contributions he has made to Distributed Systems. Truly well deserved. #Respect

Funny, it was only today that I learned about his contribution of LaTeX. I only knew about his distributed systems work.

Re: Leslie Lamport awarded Turing Award

#37

Earlier quoted context omitted.

http://amturing.acm.org/byyear.cfm

Interestingly, Brian Kerninghan and Christos Papadimitriou have not received the award yet.

I'm wondering if they've been considered. Other names that come to mind:

Linus Torvalds

Richard Stallman

Guido van Rossum

Simon Peyton Jones

Andy Tanenbaum

John Resig

Tim Berners-Lee

Satoshi Nakamoto

Re: Leslie Lamport awarded Turing Award

#38
post #37

Earlier quoted context omitted.

Interestingly, Brian Kerninghan and Christos Papadimitriou have not received the award yet.

I'm wondering if they've been considered. Other names that come to mind: Linus Torvalds Richard Stallman Guido van Rossum Simon Peyton Jones Andy Tanenbaum John Resig Tim Berners-Lee Satoshi Nakamoto

How about Guy L. Steele? Surely he deserves it much more than most of these people, perhaps with the exception of tbl?

Re: Leslie Lamport awarded Turing Award

#39
post #37

Earlier quoted context omitted.

Interestingly, Brian Kerninghan and Christos Papadimitriou have not received the award yet.

I'm wondering if they've been considered. Other names that come to mind: Linus Torvalds Richard Stallman Guido van Rossum Simon Peyton Jones Andy Tanenbaum John Resig Tim Berners-Lee Satoshi Nakamoto

The only name on your list that is anywhere close to someday receiving the Turning Awards is Jones.

Re: Leslie Lamport awarded Turing Award

#40
post #2

What took so long? And, come on, you have to at least mention Latex. edit: they do, on a more full citation: http://amturing.acm.org/award_winners/lamport_1205376.cfm

I actually thought "what's he done /this/ time?" before reading the announcement. Then wondered the same thing.
Post reply on HN