De la panadería a los sistemas distribuidos
Leslie Lamport es un científico en la industria, un rara avis cuyas contribuciones han tenido un impacto tan sutil como importante. Lamport fue capaz de resolver problemas básicos en la construcción de los sistemas distribuidos y concurrentes de forma elegante e intuitiva lo que le hizo merecedor del Premio Turing en 2013. Con el crecimieno de las infraestructuras informáticas, sus contribuciones han cobrado cada vez más relevancia, siendo sus ideas la base para resolver grandes problemas de enorme actualidad como la replicación de sistemas, la verificación de los mismos o la tolerancia a fallos. Y por si no fuera poco, creó el lenguaje de edición de textos LaTeX, una herramienta fundamental en el mundo académico.
Y para desentrañar a este enorme personaje, contamos de nuevo con la inmejorable presencia del Dr. Manuel Carro, profesor de la Universidad Polítécnica de Madrid, director del Instituto IMDEA Software.
Enlaces
Estos son los enlaces a algunos de los temas interesantes de los que hemos hablado:
- Según la descripción de ACM, Leslie Lamport recibió el Premio Turing en 2013 por sus contribuciones fundamentales a la teoría y la práctica de los sistemas distribuidos y concurrentes. En particular la invención de conceptos tales como la causalidad y los relojes lógicos, las propiedades de seguridad y viveza, las máquinas de estado replicadas y la consistencia secuencial.
- El algoritmo de la panadería es una de las grandes contribuciones de Lamport. Para apreciarlo hay que ir más allá de la semejanza con un problema que aparentemente es simple.
- Lamport desarrolló la lógica temporal de acciones (TLA) que permitió describir sistemas distribuidos gracias a su capacidad de expresar el orden temporal entre distintas acciones.
- El artículo sobre PAXOS tardó 9 años en publicarse en ACM Transactions on Computer Systems.
- Lamport creó LaTeX, una evoluciónd de TeX que ha facilitado la creación de textos de todo tipo.
Si te gusta nuestra música puedes escucharla aquí:
- Universal de Alumo
- Good all times (instrumental) de Alex Cohen
¡Síguenos!
Si quieres seguir nuestro programa desde vuestro reproductor de podcasts preferido, podéis suscribiros en iTunes, Tapewrite, iVoox o en nuestro RSS.
Además podéis escribirnos a hola@tecnologeria.com o contactar con nosotros a través de Facebook o Twitter o nuestro canal en Telegram, donde podrás estar informado de cuándo grabamos, podrás venir a vernos en directo o influir en el contenido del programa.
Pablo Trinidad 21 septiembre, 2018
Publicado en: 1BIT de memoria, Audios
Etiquetas: concurrencia, historia, sistemas distribuidos
El padre de la computación personal
No se puede negar que Alan Kay, premio Turing en 2003, ha tenido una enorme influencia en la computación personal tal y como la entendemos hoy. Y es que este americano aficionado a la música formó parte del mítico PARC, el centro de investigación de Xerox en Palo Alto que pretendía crear la oficina del futuro a principio de los 70. Y es allí donde desarrolló su idea del Dynabook (un ordenador del tamaño de un libro), trabajó en el desarrollo de los primeros interfaces de usuario y diseñó Smalltalk, un lenguaje de programación muy innovador en su época del que se han nutrido la mayoría de los lenguajes orientados a objetos actuales. Todos estos elementos son los que ayudaron a construir la primera computadora personal en el año 81 y han influido enormemente en la informática que conocemos hoy en día.
Y para descubrir a este enorme personaje, contamos con la inmejorable presencia del Doctor Jesús García Molina, catedrático de la Facultad de Informática de la Universidad de Murcia y responsable del nombramiento de Alan Kay como Doctor Honoris Causa por esta Universidad.
Enlaces
Estos son los enlaces a algunos de los temas interesantes de los que hemos hablado:
- Según la descripción de ACM, Alan Kay recibió el Premio Turing en 2003 por ser el pionero detrás de muchas de las ideas que son la raíz de los lenguajes de programación orientados a objetos contemporáneos, liderando el equipo que desarrolló Smalltalk, y por sus contribuciones fundamentales a la computación personal.
- Kay fue uno de los responsables del desarrollo del famoso Xerox Star, el primer ordenador comercial que incorporó entre otras cosas los primeros interfaces de usuario gráficos basados en ventanas.
- Equipo del PARC en The Learning Group dió lugar a 4 premios Turing: Sutherland, Lampson, Engelbart y Thacker.
- El Dynabook es considerado el precursor de las tablets, e-books y los ordenadores portátiles.
- Smalltalk es un lenguaje de programación orientado a objetos, de tipado dinámico y reflexivo. De él han bebido Java, Objective-C, Python o Ruby.
- En su artículo The early History of SmallTalk, Kay cuenta toda la historia en detalle de la concepción de este lenguaje desde los años 60 a su liberación a principio de los 80.
- Al escribir el guión de la película TRON (1982), la escritora Bonnie MacBird entrevistó a varios expertos entre los que estaba Alan Kay. Kay inspiró al personaje Alan y años más tarde acabó casándose con Bonnie MacBird.
- Es interesante leer su charla “The computer revolution hasn’t happened yet” o su charla TED de 2007 sobre su visión del mundo de los ordenadores.
- En 2002 crea el Viewpoints Research Institute, una organización sin ánimo de lucro dedicada al desarrollo de material multimedia educacional para niños..
- Además ha participado activamente en el proyecto One Child per Laptop, impulsado por Nicholas Negroponte.
Si te gusta nuestra música puedes escucharla aquí:
- Universal de Alumo
- Good all times (instrumental) de Alex Cohen
¡Síguenos!
Si quieres seguir nuestro programa desde vuestro reproductor de podcasts preferido, podéis suscribiros en iTunes, Tapewrite, iVoox o en nuestro RSS.
Además podéis escribirnos a hola@tecnologeria.com o contactar con nosotros a través de Facebook o Twitter o nuestro canal en Telegram, donde podrás estar informado de cuándo grabamos, podrás venir a vernos en directo o influir en el contenido del programa.
Pablo Trinidad 25 mayo, 2018
Publicado en: 1BIT de memoria, Audios
Etiquetas: computación, historia, premio turing
La mujer que nos enseñó a programar bien
“Tenía una idea muy sólida de lo que era un buen y un mal programa. Quería hacer fácil el escribir buenos programas, y como no puedes impedir que la gente escriba malos programas, no quería ponérselo demasiado fácil”. Así resume su contribución a la informática Barbara Liskov, premio Turing en 2008 y una de las 3 mujeres reconocidas hasta la fecha con este premio. Barbara es conocida por su principio de sustitución (uno de los principios SOLID del diseño orientado a objetos), el diseño de lenguajes que facilitan la programación de sistemas distribuidos y las bases de datos orientadas a objetos entre otras cuestiones. Y para ayudarnos a entender sus contribuciones hablamos con Carmina de Castro, profesora de la Universidad de Cádiz.
Enlaces
Estos son los enlaces a algunos de los temas interesantes de los que hemos hablado:
- Según la descripción de ACM, Barbara Weber recibió el Premio Turing en 2008 por sus contribuciones a los fundamentos prácticos y teóricos de los lenguajes de programación y el diseño de sistemas, especialmente relacionados con la abstracción de datos, la tolerancia a fallos y la computación distribuida.
- Fran Allen en 2006 y Shafi Goldwasser en 2012 (compartido con Silvio Micali) son las otras dos mujeres que han sido reconocidas por la ACM con el Premio Turing.
- Durante sus años en Mitre Corp. desarrolla el sistema operativo Venus.
- En 1972 se incorpora al MIT y diseña el lenguaje CLU que se basaba en ALGOL e incorporaba conceptos de programación modular, abstracción de datos y polimorfismo.
- El lenguaje Argus fue una extensión de CLU para facilitar la programación de sistemas distribuidos y que ya incorporaba conceptos que han aparecen en la programación reactiva.
- El principio de sustitución lo presentó Barbara Liskov junto con Jeannette Wing en un artículo en el año 1994.
- El principio de sustitución es uno de los 5 principios SOLID seleccionados en el año 2000 para el diseño y la programación orientada a objetos.
- Barbara Liskov propuso las bases de datos orientadas a objetos y para demostrar su viabilidad desarrolló Thor.
- Actualmente trabaja en el estudio de la tolerancia a fallos, en especial en el caso bizantino, inspirada en el problema de los generales bizantinos.
- Barbara Liskov ha recibido numerosos reconocimientos entre los que cabe destacar la IEEE von Neumann Medal en 2004 por su fundamental contribución a los lenguajes de programación, metodologías de programación y sistemas distribuidos. Además ha sido reconocida como doctora honoris causa en varias universidades de todo el mundo.
- Su tesis de doctorado versaba sobre finales de ajedrez y fue dirigida por John McCarthy, premio Turing en 1971 por sus contribuciones a la inteligencia artificial y archiconocido por diseñar Lisp y ALGOL.
Si te gusta nuestra música puedes escucharla aquí:
- Universal de Alumo
- Good all times (instrumental) de Alex Cohen
¡Síguenos!
Si quieres seguir nuestro programa desde vuestro reproductor de podcasts preferido, podéis suscribiros en iTunes, Tapewrite, iVoox o en nuestro RSS.
Además podéis escribirnos a hola@tecnologeria.com o contactar con nosotros a través de Facebook o Twitter o nuestro canal en Telegram, donde podrás estar informado de cuándo grabamos, podrás venir a vernos en directo o influir en el contenido del programa.
Pablo Trinidad 2 marzo, 2018
Publicado en: 1BIT de memoria, Audios
Etiquetas: historia, mujeres, programación
El amanecer de la World Wide Web
Es innegable que la Web ha cambiado nuestras vidas en muy poco tiempo gracias a la insistencia de un personaje en particular: Sir Tim Berners-Lee. En este episodio recorremos la historia del más reciente premio Turing de la mano del profesor Álvaro Prieto, quien nos desentrañará de dónde surgen las ideas seminales de la World Wide Web, su difícil camino para convencer al mundo de su visión y finalmente el reconocimiento de toda la comunidad científica.
Enlaces
Estos son los enlaces a algunos de los temas interesantes de los que hemos hablado:
- Según la descripción de ACM, Tim Berners-Lee recibió el Premio Turing en 2016 por inventar la World Wide Web, el primer navegador web y los protocolos y algoritmos fundamentales que han permitido a la Web escalar.
- Los padres de Tim eran matemáticos que trabajaban en la Universidad de Manchester construyendo y programando el Ferranti Mark I. En particular su madre, Marie Lee Woods fue una de las primeras programadoras informáticas.
- En el CERN (Consejo Europeo para la Investigación Nuclear) comienza a trabajar en ENQUIRE, el bisabuelo de la World Wide Web y cuyo nombre procede del libro “Enquire upon everything“.
- Dos de las personas que más han influido en su carrera han sido Peggie Rimmer y Robert Cailliau.
- Berners-Lee y sus socias crean en 1993 el World Wide Web Consortium, que gestiona en la actualidad todos los estándares de la Web.
- Actualmente está trabajando en el desarrollo de la web semántica (Linked Open Data), que presentó en una charla TED en 2009.
- Quien reconoce en primer lugar el mérito de Berners-Lee es la Universidad de Southampton que lo nombra Doctor Honoris Causa en 1996. Además se le reconoce como Oficial de la Orden del Imperio Británico en 1997, Knight Commander en 2004 y Orden del Merito del Reino Unido en 2007. En España recibe el premio Príncipe de Asturias de investigación científica y técnica en 2002.
- Berners-Lee es un científico no tan mediático como Einstein, que tiene su propia serie, pero que ha hecho sus pinitos. Su artículo presentado al CERN y que envía al congreso de hipertexto aparece en un episodio de la serie Halt and Catch Fire como el detonador de una temporada completa.
- No sabemos si Berners-Lee es un gran deportista, pero puede presumir de haber participado en la ceremonia de apertura de los juegos Olímpicos de Londres 2012.
Si te gusta nuestra música puedes escucharla aquí:
- Universal de Alumo
- Good all times (instrumental) de Alex Cohen
¡Síguenos!
Si quieres seguir nuestro programa desde vuestro reproductor de podcasts preferido, podéis suscribiros en iTunes, Tapewrite, iVoox o en nuestro RSS.
Además podéis escribirnos a hola@tecnologeria.com o contactar con nosotros a través de Facebook o Twitter o nuestro canal en Telegram, donde podrás estar informado de cuándo grabamos, podrás venir a vernos en directo o influir en el contenido del programa.
Pablo Trinidad 22 diciembre, 2017
Publicado en: 1BIT de memoria, Audios
Etiquetas: historia, premio turing, web
Las matemáticas y la informática unidas por la sencillez
Hoy analizamos cómo Robin Milner, premio Turing en 1991, cambió la forma en la que el software se construye a través de grandes contribuciones matemáticas muy prácticas y aplicables. Y para explorar todos los entresijos de esta historia contamos como invitado con el Dr. Juan José Moreno Navarro, catedrático de la Universidad Polítécnica de Madrid e investigador senior del instituto IMDEA Software.
Enlaces
Estos son los enlaces a algunos de los temas interesantes de los que hemos hablado:
- Según la descripción de ACM, Robin Milner recibió el Premio Turing en 1991 Por tres logros:
- LCF, la mecanización de la Lógica de Scott de funciones computables, probablemente la primera teórica a la vez que práctica herramienta para la construcción de pruebas asistidas por máquinas.
- El lenguaje ML, el primer lenguaje en incluir inferencia de tipos polimórficos junto con un mecanismo para la gestión de excepciones de tipos seguros.
- El cálculo de sistemas comunicantes (CCS), una teoría general de concurrencia.
- Robin Milner escribió “A theory of type polymorphism in programming”, un artículo publicado en el Journal of Computer and System Sciences en 1978 que hoy en día sigue vigente.
- Hay muchas spin-off creadas desde grupos universitarios a partir de las contribuciones de Milner. Localmente contamos con Netscaler o ISD Ibérica.
- El CSS compitió con los Communicating Sequential Processes (CSP) del también premio Turing Tony Hoare.
Si te gusta nuestra música puedes escucharla aquí:
- Universal de Alumo
- Good all times (instrumental) de Alex Cohen
¡Síguenos!
Si quieres seguir nuestro programa desde vuestro reproductor de podcasts preferido, podéis suscribiros en iTunes, Tapewrite, iVoox o en nuestro RSS.
Además podéis escribirnos a hola@tecnologeria.com o contactar con nosotros a través de Facebook o Twitter o nuestro canal en Telegram, donde podrás estar informado de cuándo grabamos, podrás venir a vernos en directo o influir en el contenido del programa.
Pablo Trinidad 24 noviembre, 2017
Publicado en: 1BIT de memoria, Audios
Etiquetas: historia, premio turing
El origen de los sistemas operativos
Hola y bienvenidos a “1BIT de memoria”, un nuevo programa de la Red la Tecnologería donde queremos contar la historia de la informática de forma sencilla y a través de sus personajes más ilustres. En nuestro primer episodio conoceremos entre otras cuestiones el origen de gran parte de los sistemas operativos actuales y cómo dos galardonados con el prestigioso premio Turing en 1983 como son Ken Thompson y Dennis Ritchie cambiaron el mundo de la informática desde los años 70. Y para explorar todos los entresijos de esta historia contamos como invitado con el Dr. Manuel Carro, profesor de la Universidad Polítécnica de Madrid, director del Instituto IMDEA Software y gran comunicador.
Enlaces
Estos son los enlaces a algunos de los temas interesantes de los que hemos hablado:
- Ritchie y Thompson se encontraron en Bell Labs y comenzaron trabajando en Multics.
- Thompson decidió un día rescatar un PDP-7 para construir un sistema operativo que tomara algunas referencias de Multics. Lo llamó UNIX.
- La arquitectura de UNIX era modular, implementando muchos de los principios planteados en esos años por David Parnas.
- Ritchie escribió junto con Kernighan el libro C Programming Language, uno de los mejores libros técnicos jamás escritos. Pero si quieres aprender C desde cero, Pablo nos recomienda “Guía de autoenseñanza: C” de Herbert Schildt.
- En 1978 comienzan a surgir distintas versiones de UNIX que modificaban pequeñas porciones, como la Universidad de Berkeley que hizo BSD Unix (más tarde FreeBSD) o IBM con su sistema AIX. Es cuando empieza la guerra de licencias de UNIX.
- En 1980 desarrollaron Plan 9, un sistema operativo distribuido cuya principal contribución que ha permanecido en el tiempo fue VNC.
- Thompson continuó desarrollando Belle, un programa y un hardware para jugar al ajedrez, que fue la primera máquina en obtener el título de Maestro en EEUU.
- Los discursos que elaboraron Thompson y Ritchie son una lectura obligada para políticos y estudiantes de informática.
- Thompson mostró una vulnerabilidad que afectaba a todo el software construido a través de compiladores. Xavier Leroy, investigador del INRIA, ha desarrollado Compcert que es capaz de comprobar que el binario generado se corresponde con la especificación original.
- En 1992 Thompson y Rob Pike desarrollaron UTF-8, una de las codificaciones de caracteres Unicode más utilizadas en el mundo occidental.
- Además desarrollaron Inferno, un sistema operativo basado en una máquina virtual.
- Thompson se incorporó en 2000 a Google y acabó desarrollando el lenguaje Go.
Si te gusta nuestra música puedes escucharla aquí:
- Universal de Alumo
- Good all times (instrumental) de Alex Cohen
¡Síguenos!
Si quieres seguir nuestro programa desde vuestro reproductor de podcasts preferido, podéis suscribiros en iTunes, Tapewrite, iVoox o en nuestro RSS.
Además podéis escribirnos a hola@tecnologeria.com o contactar con nosotros a través de Facebook o Twitter o nuestro canal en Telegram, donde podrás estar informado de cuándo grabamos, podrás venir a vernos en directo o influir en el contenido del programa.
Pablo Trinidad 27 octubre, 2017
Publicado en: 1BIT de memoria, Audios
Etiquetas: historia, premio turing, sistemas operativos