4x05 - La vida de un ingeniero de soporte en Red Hat
El soporte técnico es uno de los grandes desconocidos de la ingeniería informática. En este viaje a Brno (República Checa), descubrimos cuál es el día a día de Jesús Serrano, ingeniero de soporte en Red Hat. Jesús nos ubica en el mundo Linux y nos descubre un interesante mundo más allá del desarrollo.
Enlaces
Estos son los enlaces a algunos de los temas interesantes de los que hemos hablado:
- Si queréis entender mejor qué es SAP os recomendamos este podcast de We.Developers.
- Fedora es el proyecto del que se nutre Red Hat Enterprise Linux (RHEL). Por su lado, CentOS es una compilación de los fuentes de RHEL.
- SUGUS es el grupo de usuarios y usuarias de Software Libre de la E.T.S. Ingeniería Informática de la Universidad de Sevilla por el que tienes que pasarte si estás interesado en este mundo.
- Jesús nos recomienda las cervezas de Svijany y si vamos por la República Checa o Eslovaquia, instalarnos la app Breweries que nos indicará los mejores lugares donde tomar buen zumo de cebada.
- Y en clave cultural, nos recomienda ver Breaking Bad y si te gusta la novela policíaca, no te pierdas muerte en la Fenice de Donna Leon
Si te gusta nuestra música puedes escucharla aquí:
- Thinking Big de Alumo
- Everest de Atlas Engine
¡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 29 diciembre, 2017
Publicado en: Audios, La tecnologería Entrevistas
La Tecnologería y Programar es una mierda unen sus fuerzas
Esta noticia fue una INOCENTADA por el Día de los Santos Inocentes. No te la tomes en muy en serio 😉
Después de más de un año de éxito y de llegar a nuestro programa número 50, hemos decidido dar un paso adelante en nuestro compromiso por hacer llegar la informática de forma sencilla a nuestros fieles oyentes. Creemos que la mejor forma de hacerlo es uniendo fuerzas con otros programas que tienen la misma ambición que nosotros. En este sentido, Programar es una mierda (PEUM) es un podcast dirigido por Alex Ballesté y Juanjo Meroño que ha tenido un crecimiento muy relevante entre desarrolladores de habla hispana.
Creemos que nuestras audiencias se complementan y por esta razón nos sentamos a hablar y tras un corto pero intenso proceso de negociación, podemos confirmar que nuestros caminos se unen para crear un ambicioso proyecto que pretende llegar a lo más alto en el podcasting y la programación en castellano. Te explicamos todo nuestro nuevo proyecto como mejor sabemos, en formato podcast:
Esta nueva deriva se concretará en un Nuevo programa Postuware cuyo primer episodio os ofrecemos hoy en primicia y que podéis escuchar en exclusiva a través de la plataforma iVoox en el siguiente enlace
A pesar de todo, esta nueva apuesta también tiene sus consecuencias. La Tecnologería Entrevistas cerrará su emisión tras la 4ª temporada a la que aún quedan 2 episodios por publicar. Por su parte PEUM abandonará su actual programa para centrarse en este nuevo e ilusionante proyecto. Todas las partes esperamos que entendáis las razones de este pivotaje (como dicen los modernitos) y nos apoyéis siguiéndonos más fuerte que nunca en vuestro reproductor de podcasts favorito y en las redes sociales.
¡Gracias por vuestro apoyo! Seguiremos trabajando por daros lo mejor de nosotros… en formato podcast
Pablo Trinidad 28 diciembre, 2017
Publicado en: Audios, La tecnologería Entrevistas, Noticias
Etiquetas: inocente
Gobierno de microservicios
Los microservicios son una tendencia que parece que ha venido para quedarse. En este tipo de sistemas es complejo asegurar una calidad de servicio cuando ofreces un servicio a la par que consumes otros. En este programa queremos explorar cómo podemos gobernar microservicios mediante la gestión de acuerdos de nivel de servicio. Para ello contamos con Pablo Fernández, investigador del grupo Ingeniería del Software Aplicada (ISA), que nos pondrá al día de lo último en tecnología y nos hablará de Governify, un ecosistema que viene a revolucionar la forma en la que se construyen los servicios.
Enlaces
Estos son los enlaces a algunos de los temas interesantes de los que hemos hablado:
- Puedes consultar todos los trabajos del Prof. Leymann sobre TOSCA, los del Prof. Pautasso sobre patrones de APIs para evitar la ambigüedad y los del Prof. Dustdar sobre la gestión de la elasticidad.
- Open API Initiative (OAI) es una iniciativa de estandarización de servicios REST.
- Para conocer más sobre los acuerdos de nivel de servicio puedes escuchar este programa de Tecnologería I+D.
Si te gusta nuestra música puedes escucharla aquí:
¡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.
Queremos por último agradecer a la Universidad de Sevilla su apoyo en la grabación de este episodio a través del IV Plan Propio de Investigación y Transferencia.
Pablo Trinidad 26 diciembre, 2017
Etiquetas: i+d, microservicios
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
Experimentación y mindfulness aplicados a la ingeniería del software
En la ingeniería del software surgen constantemente formas nuevas de gestionar el desarrollo de productos y proyectos. En este programa queremos explorar cómo podemos medir el efecto real de estas nuevas técnicas en equipos humanos a través de la experimentación. Para ello contamos con Beatriz Bernárdez, investigadora del grupo Ingeniería del Software Aplicada (ISA), que nos ejemplificará cómo hacerlo mediante un experimento en el que se ha medido el efecto de mindfulness en las capacidades de modelado conceptual de un grupo de alumnos.
Enlaces
Estos son los enlaces a algunos de los temas interesantes de los que hemos hablado:
- Mindfulness es un proceso psicológico desligado de cualquier sesgo religioso y centrado fundamentalmente en la meditación, que persigue la concentración en el instante actual.
- Chade-Meng Tan ha ayudado a Google a aplicar mindfulness. Puedes verle en acción en esta charla TED.
Si te gusta nuestra música puedes escucharla aquí:
¡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.
Queremos por último agradecer a la Universidad de Sevilla su apoyo en la grabación de este episodio a través del IV Plan Propio de Investigación y Transferencia.
Pablo Trinidad 19 diciembre, 2017
Etiquetas: experimentación, i+d, mindfullness
Diseñando juegos con alma en Tequila Works
Empezó casi por accidente como programador de videojuegos, pero la vida le llevó a dar el salto al diseño de niveles. Hablamos de Alejo Silos, diseñador en Tequila Works, empresa responsable del espectacular RIME, uno de los mejores productos nacionales de los últimos años. Conversamos sobre el camino que le llevó a Alejo al momento actual, los detalles sobre el día a día del diseño de niveles, cómo ha sido la experiencia de trabajar con Unreal Engine 4 y nos da algunas recomendaciones para quien quiera lanzarse a este apasionante mundo. Y como siempre, hablamos con buen rollo y a todo confort.
Glosario y enlaces
Estos son los enlaces a algunos de los temas interesantes de los que hemos hablado:
- Alejo ha jugado recientemente a Horizon: Zero Down
- Como primeros pasos en el desarrollo de videojuegos participó en Iredia, un juego para sensibilizar sobre discapacidades auditivas, y El Códex del Peregrino, una aventura cuyo escenario es el Camino de Santiago.
- Alejo ha aprendido muchísimo de Game Developers Conference y la web Gamasutra.
- Puedes contactar con Alejo en Twitter. Es una persona muy accesible 😉
Si te gusta nuestra música puedes escucharla aquí:
- 8 bit de Cleric
- Run Boy Run de Amélie Guiboux
¡Síguenos!
Si quieres seguir nuestro programa desde vuestro reproductor de podcasts preferido, puedes suscribirte a éste o cualquiera de nuestros programas de la red siguiendo los siguientes enlaces:
| Programa | iTunes | iVoox | RSS |
|---|---|---|---|
| La Tecnologería | |||
| La RES_pensa | |||
| RUN | |||
| 1BIT de memoria | |||
Y si no sabes cómo escucharnos en un móvil o tableta, te lo contamos fácilmente cómo hacerlo para dispositivos Apple o Android.
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 15 diciembre, 2017
Etiquetas: diseño, videojuegos
Gestión de rendimiento y ANS en procesos de negocio
Los procesos de negocio son una herramienta cada día más utilizada en organizaciones que quieren gestionar las actividades y decisiones que aportan un valor añadido. En este episodio veremos cómo se puede controlar el rendimiento de una organización a través de sus procesos de negocio, y para ello contamos con Manuel Resinas y Adela del Río, investigadores del grupo Ingeniería del Software Aplicada (ISA). Ambos nos introducirán en el apasionante mundo de los modelos de procesos de negocio y cómo son capaces de facilitar la transición desde la definición de indicadores de rendimiento y Acuerdos de Nivel de Servicio (ANS) en la capa directiva hasta la capa tecnológica.
Enlaces
Estos son los enlaces a algunos de los temas interesantes de los que hemos hablado:
- Los Process Performance Indicators (PPI) son indicadores que permiten conocer el rendimiento de distintas partes de un proceso de negocio.
- Los Acuerdos de Nivel de Servicio (ANS, SLA en inglés) permiten controlar el rendimiento y el cumplimiento de acuerdos con terceras partes que intervienen en los procesos de negocio de una organización.
- PPINOT Tool Suite es una herramienta desarrollada por el grupo ISA que permite definir indicadores de rendimiento en procesos de negocio, integrando la recogida de información desde distintos sistemas externos.
- Governify es una herramienta que permite controlar el cumplimiento de ANS en servicios REST, y de la que hablaremos en detalle en otro programa.
Si te gusta nuestra música puedes escucharla aquí:
¡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.
Queremos por último agradecer a la Universidad de Sevilla su apoyo en la grabación de este episodio a través del IV Plan Propio de Investigación y Transferencia.
Pablo Trinidad 12 diciembre, 2017
Etiquetas: i+d, kpi, procesos de negocio, sla
4x04 - Videojuegos: Leyes reales en mundos virtuales
En La Tecnologería nos gusta innovar, así que nos hemos atrevido con un episodio muy especial que grabamos en directo con Andy Ramos, abogado especialista en Propiedad Intelectual y derecho del entretenimiento en Bardají & Honrado. En este episodio hablamos fundamentalmente de leyes, y cómo nos afectan a la hora de desarrollar productos digitales en general y videojuegos en particular. Tratamos cómo proteger los distintos elementos de una obra, cómo proteger una idea, cómo relacionarse con los publishers, discutimos sobre los límites de la copia, cómo nos afectan las licencias y ¡muchos temas más! Además sometemos a nuestro invitado a las difíciles preguntas de nuestro público. Tanto si te gustan los videojuegos como si no, ¡es un episodio que no puedes perderte!
Y por si no lo sabíais, en esta misma web podéis escuchar nuestro programa RUN, los videojuegos desde dentro donde entrevistamos a profesionales del sector del videojuego para mirar detrás del telón de este apasionante mundo. Podéis escucharlo en iTunes, iVoox y Tapewrite.
Enlaces
Estos son los enlaces a algunos de los temas interesantes de los que hemos hablado:
- Andy escribe periódicamente sobre propiedad intelectual y tecnología en su blog Interiuris.
- Aunque hace años que no coge un micrófono, el podcast Interiuris es uno de los pioneros del podcasting en España. A pesar del tiempo, merece mucho la pena revisitar sus programas, aún vigentes a día de hoy.
- Andy ha participado en la elaboración del informe de la Organización Mundial de la Propiedad Intelectual (OMPI), «El estado legal de los videojuegos» que no puedes dejar de leer para profundizar en el tema que tratamos.
Si te gusta nuestra música puedes escucharla aquí:
- Thinking Big de Alumo
- Everest de Atlas Engine
¡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.
Agradecimientos
Queremos agradecer a la Escuela Técnica Superior de Ingeniería Informática su financiación y soporte para organizar este programa, en especial a Paco Gómez por facilitar nuestra labor.
Pablo Trinidad 8 diciembre, 2017
Publicado en: Audios, La tecnologería Entrevistas
Etiquetas: etsii, leyes, propiedad intelectual, videojuegos
Automatización de pruebas y su aplicación a Drupal
Las pruebas son una herramienta fundamental para garantizar la calidad del software que construimos. Pero detrás de esas pruebas normalmente hay personas que también cometen errores. Sergio Segura y Ana Belén Sánchez, investigadores del grupo Ingeniería del Software Aplicada (ISA), nos explican cómo aplicar técnicas automáticas como las pruebas metamórficas y de mutación para realizar mejores pruebas. Además aprenderemos cómo la priorización de pruebas nos puede ayudar a ahorrar mucho tiempo en la detección temprana de errores. Y todo esto aplicado a casos tan reales como Drupal, Spotify o Youtube. Además miramos al futuro de las pruebas donde la inteligencia artificial y el uso de wearables permitirán detectar errores antes de que se produzcan, al más puro estilo de Minority Report.
Enlaces
Estos son los enlaces a algunos de los temas interesantes de los que hemos hablado:
- El problema del Oráculo permite reconocer si el resultado de una prueba es correcta o no.
- Las pruebas metamórficas permiten enfrentarse al problema del oráculo con mayores garantías a través del estudio de las propiedades de los elementos bajo prueba. Estas técnicas se han utilizado para detectar errores en las API de Spotify y Youtube.
- SmarTest es un módulo de Drupal que permite priorizar las pruebas y obtener resultados rápidamente. La priorización se realiza en base a un conjunto de criterios que permiten detectar aquellos síntomas que son más propensos a errores. Estos criterios se definieron gracias a un estudio científico sobre casos reales.
- SmartTest se presentó en DrupalCamp Spain 2015 y posteriormente en DrupalCon 2015, en la que la herramienta se sometió al estricto criterio de la industria.
- Las pruebas de mutación introducen pequeños errores artificiales en el código fuente. Si las pruebas no los detectan, significa que no son suficientemente buenas.
- Sergio y Ana han utilizado con éxito las pruebas de mutación para detectar problemas de rendimiento en el software, algo muy novedoso.
Si te gusta nuestra música puedes escucharla aquí:
¡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.
Queremos por último agradecer a la Universidad de Sevilla su apoyo en la grabación de este episodio a través del IV Plan Propio de Investigación y Transferencia.
Pablo Trinidad 5 diciembre, 2017
Descubriendo los secretos de la analítica en videojuegos
¿Cómo se diseña la monetización de un videojuego? ¿Qué datos conocen los desarrolladores sobre mí? ¿Dónde están los límites en el diseño de experiencias adictivas? Encontrarás respuestas a estas y otras muchas cuestiones en nuestra entrevista a Sara Bayley, Analytics Lead & Senior Data Analyst en Genera Games. Un episodio cargado de contenido donde hablamos del proceso de analítica, qué datos se recogen, para qué sirven, cómo se diseña un lanzamiento de producto, cómo se va ajustando la monetización en base a la analítica y por supuesto tenemos un interesantísimo debate sobre adicción y ética profesional. ¡No te lo pierdas si quieres saber cómo funciona el mundo del videojuego desde dentro!
Glosario y enlaces
Estos son los enlaces a algunos de los temas interesantes de los que hemos hablado:
- Humble Bundle es una fuente inagotable de juegos a precios muy económicos
- El soft launch es el lanzamiento de un producto para una audiencia limitada. Una dimensión importante suele ser el país de lanzamiento, que se dividen en 3 tiers.
- Aquí te ponemos algunas de las palabrotas que hemos mencionado por si quieres seguir curioseando: Palabrotas: retención, instalaciones, DAU/MAU (Daily/Montly active users), stickiness (DAU/MAU), monetización (Average revenue per DAU), Average Revenue per Paying users (ARPU), LTV (lifetime value), k-factor (usuarios obtenidos por cada usuario de pago) y CPI (Coste Por Instalación).
- App Store Optimisation (ASO) es un conjunto de técnicas para mejorar el posicionamiento y visibilidad de una App en tiendas de aplicaciones.
Si te gusta nuestra música puedes escucharla aquí:
- 8 bit de Cleric
- Run Boy Run de Amélie Guiboux
¡Síguenos!
Si quieres seguir nuestro programa desde vuestro reproductor de podcasts preferido, puedes suscribirte a éste o cualquiera de nuestros programas de la red siguiendo los siguientes enlaces:
| Programa | iTunes | iVoox | RSS |
|---|---|---|---|
| La Tecnologería | |||
| La RES_pensa | |||
| RUN | |||
| 1BIT de memoria | |||
Y si no sabes cómo escucharnos en un móvil o tableta, te lo contamos fácilmente cómo hacerlo para dispositivos Apple o Android.
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 1 diciembre, 2017
Etiquetas: analítica, videojuegos
Las 5+1 Reglas de Oro de la Productividad Personal (Basadas en Ciencia)
Continuamos nuestro viaje por el mundo de la I+D, esta vez enfrentándonos a la productividad personal desde un punto de vista científico. Para ello contamos con Joaquín Peña, investigador del grupo Ingeniería del Software Aplicada (ISA), que nos analiza el contexto actual en la que la productividad personal juega un papel fundamental en el éxito de las empresas y las personas. Y para enfrentarnos a ello nos presenta FAST, una metodología de productividad resultante del análisis de las técnicas y tácticas de más de 40 metodologías diferentes ¿El resultado? 5+1 reglas que te ayudarán a ser más productivo (y feliz).
Enlaces
Estos son los enlaces a algunos de los temas interesantes de los que hemos hablado:
- Si quieres aprender más sobre la metodología FAST, en su web encontrarás toda la información.
- La metodología Getting Things Done (GTD) se centra en la gestión del trabajo mediante la gestión de tu bandeja de entrada.
- Y si quieres aprender más sobre productividad, puedes seguir a Joaquín Peña en Twitter y Facebook.
- Aquí tienes un resumen visual de las 5+1 reglas de FAST
Si te gusta nuestra música puedes escucharla aquí:
¡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.
Queremos por último agradecer a la Universidad de Sevilla su apoyo en la grabación de este episodio a través del IV Plan Propio de Investigación y Transferencia.
Pablo Trinidad 28 noviembre, 2017
Etiquetas: i+d, productividad
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