...que una de las personas a las que más admiro y a las que más debo vaya a venir por primera vez a España, y que además sea a mi ciudad natal (o casi, ya debía tener 2 o 3 días de vida cuando llegué allí), y que sea para dar dos conferencias sobre temas que no me interesan una mierda. ¿Sabrá Leslie Lamport que existimos no-matemáticos que usamos su software?
Obviamente (escribo este párrafo tras releer el anterior, que sonaba duro, muy lejos de mi intención) esto no es un reproche ni nada parecido: es probable que este buen señor está hasta la bola de ser conocido sólo por la creación de algo que seguramente él emprendió como mero medio de lo que él debe considerar su verdadera obra: la investigación matemática, de la cuál yo no puedo estar más lejos ni tener menos idea. Se trataba simplemente de una reflexión (muy burdamente apuntada, sea dicho) sobre cuándo sabes que un proyecto es exitoso: cuando alguien (y no soy desde luego el único) lo usa para algo que a tí ni se te había pasado por la cabeza (idea de completo sentido común pero que me inculcó especialmente Nando). Muchísimas gracias, Leslie.

Algo habrás hecho para que el karma te maltrate así.
Juer... mira que eres quejica :P
Un tipo así tiene que contar cosas interesantísimas aunque hable, digamos, de cómo elige los calcetines por la mañana...
Yo me acabo de leer así por encima su artículo de "How to write a proof" (una de las conferencias que va a dar) y me parece que mola (pero bueno, a mí me gustan las matemáticas : )
Su web tiene bastante cosillas para leer:
http://research.microsoft.com/users/lamport/pubs/pubs.html
Poseso...
Si no digo yo que no...
A mí también me gustan las matemáticas... lo cual no está reñido con que no tenga ni idea! El abstract de la charla que mencionas dice algo como que el método tradicional para escribir pruebas matemáticas es super-rancio. Ir a una charla como esa sin saber en qué demonios consiste ese método super-rancio que hay que dejar atrás es... como mínimo pretencioso.
Además curra en Microsoft =:-D (es broma)
Ya decía yo que me sonaba el nombre. Es ese señor de libro que una vez pretendiste hacerme leer, ¿no? Y encima en inglés. Que te diviertas xD
Bueno, hay que decir que la memoria de prácticas de mi otra carrera quedó muy bien y todo el departamento de profes me elogiaron por la "maravillosa presentación" y que también me ha ayudado a bordar un trabajo con el que me han dado una matrícula de honor este año. No iba a ser todo sufrimiento. Aún así creo que hay que tener valor (y haber dormido bien la noche anterior) para ir a esa charla.
Yo iría a la segunda charla encantado pero me temo que no voy a tener tiempo :-(
Matemáticos, no tienen sentido común y están todos locos!!!
Me quedo con mis espadas...
Fuerza y honor.