51–60 of 63 posts
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
About time too! This man is responsible for most of our progress in distributed systems. One of the few researchers Google hasn't poached from Microsoft yet.
Aren't there like 4 other Turing award winners at MSR that also somehow escaped poaching (and are there any at Google)? I think you may have the wrong idea about where researchers would prefer to work...
They have certainly successfully poached a bunch of awesome systems people from their positions in academia. I'm not sure how many from MS Research though.
About time too! This man is responsible for most of our progress in distributed systems. One of the few researchers Google hasn't poached from Microsoft yet.
Not sure why you seem to think researchers are flowing to Google. Microsoft Research is still the biggest name in distributed systems, if not CS in general. They have been consistently producing high-quality papers [1]. [1] http://jeffhuang.com/best_paper_awards.html
Microsoft Research is active in many more areas of research than Google. However, I'm not sure that implies they are better than Google in the specific area of distributed systems research. FWIW, it seems every now and then Google publishes incredible papers that surprises folks in that community.
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.
http://research.microsoft.com/en-us/um/people/lamport/pubs/p...
Clock, Byzantine general, Paxos, LaTeX, program proof. My CS curriculum often crossed Leslie Lamport's path. Here is an interview he did a while ago which go trough his work : http://www.budiu.info/blog/2007/05/03/an-interview-with-lesl...
>Q: The Byzantine Generals Problem paper (1982) describes the first provably correct algorithm for making several computers agree when some of them may give deliberate wrong answers. What are the its practical applications?
>A: The only practical applications I know of are in real-time process control — in particular, for systems that fly airplanes.
I guess Bitcoin didn't exist at the time..
There is something intriguing about these old timers' plain text html websites. One of these days I am going to have to drop WordPress.
Thinking about switching to a blogging platform myself. Or at least something that converts markdown to static HTML with git-commit hooks.
I guess what I'm trying to say is "Be careful what you wish for."
Clock, Byzantine general, Paxos, LaTeX, program proof. My CS curriculum often crossed Leslie Lamport's path. Here is an interview he did a while ago which go trough his work : http://www.budiu.info/blog/2007/05/03/an-interview-with-lesl...