El pasado mes de febrero se dieron a conocer los galardonados con el premio Turing 2007. Este premio, otorgado por la Association for Computer Machinery (ACM) está considerado como el más prestigioso del campo de la informática y la computación.

Aunque la presentación oficial del premio será el 21 de Junio de 2008, ya se conoce el nombre de las personas en las que recaerá. En esta ocasión, son tres: Edmund M. Clarke, E. Allen Emerson y Joseph Sifakis.

El motivo por el cual se les otorga es premio es "por su papel en el proceso de convertir el Model Checking en una tecnología de verificación altamente efectiva ampliamente adoptada en las industrias del hardware y del software".

El Model Checking es un sistema de verificación formal. En principio, y a pesar de lo que reza la dedicatoria del premio, está orientado principalmente a hardware. En el software, debido a su naturaleza y a otros problemas inherentes que plantea, aunque pueda aplicarse en determinados casos, no tiene tanta utilidad práctica. La técnica consiste básicamente en representar el comportamiento de una pieza de hardware con un grafo dirigido, en el cual, los nodos representan estados del hardware y los arcos transiciones entre ellos. A cada nodo se le asocia una serie de reglas escritas en forma de proposiciones de lógica temporal. La matemática desarrollada por los tres galardonados incluye búsquedas y otros cálculos sobre estos grafos que permiten deducir propiedades acerca del modelo, y por ende, del hardware que está representando. En particular y especialmente, esa matemática debe decirnos de manera automática si el modelo satisface correctamente una serie de requerimientos. Además del funcionamiento básico del modelo, los galardonados están involucrados en el desarrollo de varios tipos de optimizaciones y algoritmos mejorados sobre las técnicas básicas.

Para saber más:

-La página de cada uno de ellos. (en inglés)

-Nota de prensa de la ACM acerca de la concesión del premio y breve descripción profesional de cada uno de los galardonados. (en inglés)

-Model checking en wikipedia en español .

-Model checking en wikipedia en inglés (algo más completo).

-Una introducción al Model Checking en embedded.com. (en inglés)

El lenguaje LOGO apareció en escena hace ya unos 40 años, que se dice pronto. Lo propusieron en 1967 Daniel G. Bobrow, Wally Feurzeig y Seymour Papert.

No está del todo claro que en su origen tuviera una intención puramente didáctica, pero desde luego, la didactica de la programación ha sido y sigue siendo su mayor campo de aplicación.

En todo este tiempo han surgido múltiples implementaciones del lenguaje. Algunas, incluso con sus palabras clave en español.

Quizá una de las implementaciones más populares es la de la de Berkeley Logo, desarrollada y mantenida por Brian Harvey, profesor de la universidad de Berkeley, y que utiliza para sus clases.

LIOGO es una implementación moderna de este viejo lenguaje para la plataforma .net, en su version 2.0 o 3.0, compatible con el lenguaje logo de Berkeley, capaz de generar programas compilados en un ejecutable o una librería de enlace dinámico de la plataforma .net. También es capaz de enlazar ensamblados .net escritos en cualquier otro lenguaje. Dispone de versiones para Windows y linux y es software libre bajo licencia GLP.

Esta versión del lenguaje logo va mucho más allá de la mera anécdota, es un implementación potente, completa y bien estructurada a primera vista, con capacidades bastante avanzadas si se compara con muchas otras versiones de logo.

Merece la pena echarle un vistazo: Página de LIOGO en sourceforge.

Después de bastante tiempo sin cambios importantes, desde hace unos pocos días se puede descargar la versión beta 1 de SharpDevelop 3 .

Por si no lo conoces, SharpDevelop es un entorno de desarrollo integrado para la plataforma .net, que en esta nueva versión admite los lenguajes C#, Visual Basic.NET, Boo, IronPython y F#. Da soporte a aplicaciones .NET 3.0, incluyendo flujos de trabajo. SharpDevelop cuenta con un buen editor y por supuesto se encarga automáticamente de la compilación. En algunos tipos de proyecto (Ej: windows Forms o WPF) permite el diseño visual de formularios. Cuenta con interesantes herramientas como depurador integrado muy completo, refactorización de código, visor de clases, pruebas de unidad, etc... y posibilidad de integrar otras herramientas externas populares, como FxCop -análisis de código-, TortoiseSVN -control de versiones-.

Desde luego, no es un entorno tan completo ni con tantas herramientas como otros, pero es un producto muy bueno, con licencia GNU LGPL.

En estos días se habla del nuevo cable submarino de 7.68 Tbit/s que un consorcio de seis empresas, entre las que se cuenta Google va a tender entre Japón y Estados Unidos. ¡Nada menos que 10000 kilómetros! En google.dirson.com nos lo cuentan .

Aunque seguro que es bueno para Internet y las comunicaciones en el planeta, ésta no es la única "arteria" que recorrerá el Pacífico. De hecho, ya hay unos cuantos cables a lo largo del Pacífico.

En la página web de telegeography.com puedes ver un mapa actualizado de los cables submarinos de comunicaciones (e incluso comprarlo como poster, si quieres), y descargarte un par de fondos de escritorio con el mapa .

Dicen que esto de empezar a tirar cables por el fondo del mar comenzó a mediados del siglo XIX, cuando se tiró un cable por el fondo del canal de la Mancha en 1850. El primer cable transoceánico se tiró a lo largo del Atlántico en 1866. Esas primeras aventuras de tendido de cable submarino estuvieron plagadas de todo tipo de vicisitudes.

No obstante, la revolución digital llegó con la fibra óptica, pero tardó más de un siglo. El TAT-8 , tendido en 1988 fue el primer cable transatlántico en el que se utilizó fibra óptica.

En wikipedia (en inglés) se puede encontrar una buena lista de cables de comunicaciones submarinos internacionales ordenados por su nombre alfabéticamente.

En la página de Bill Glover puedes ver la historia de los cables de comunicaciones submarinos desde 1850 hasta hoy (en inglés).

Por último, es muy recomendable este trozo de documental [Youtube,8:19], en el que se pueden ver detalles de un barco de los que se utilizan para tender el cable. Impresionante.

Últimamente ando muy despistado. Se me pasa todo... de hecho, casi se me pasa que éste próximo jueves hay un eclipse total de Luna visible desde España. Menos mal que los Microsiervos siempre están al cabo de la calle .

Claro, que para los currantes va a estar un poco complicado, porque según nos cuentan los Microsiervos, la fase de eclipse total será entre las 4:01 y las 4:51 (CET) de la noche que va del miércoles 20 al jueves 21.

La Luna es normalmente tan brillante, porque la parte que vemos "iluminada" es aquella en la que están incidiendo directamente los rayos del sol. Durante un eclipse total de Luna, la tierra se interpone en la trayectoria de los rayos del sol, provocando que toda la superficie de la Luna quede a la sombra -aunque no totalmente a oscuras-. Podríamos decir que la Luna se oculta de los rayos del sol tras la tierra durante algunos minutos.

(Nota:Las proporciones y las distancias no están a escala. En la realidad, ni el sol ni la luna tienen ojos o boca)

En su paseo nocturno, la Luna entrará en la zona de penumbra un buen rato antes de las 4 de la mañana, pero llegará a la zona de máxima oscuridad a las 4:01 CET. Mientras que llega, parecerá que adquiere un tono rojizo por efecto del paso de la luz a través de nuestra atmósfera. Ese tono es producido por un fenómeno de la luz similar al que hace que veamos el cielo del atardecer rojo.

Nos cuentan también los Microsiervos que el Observatorio astronómico de la Universidad Complutense retransmitirá el eclipse a través de Internet . En esa página de la Universidad Complutense se puede encontrar información adicional acerca del eclipse y enlaces relacionados.

En fin... si sales a verlo a simple vista, mejor cuanto más oscuro esté. Es buena idea llevar telescopio o al menos prismáticos, y completamente imprescincible llevar ropa de abrigo potente y un termo llenito de café o similar bien caliente ;-D

Ah... y como de costumbre, es buena idea ver el eclipse previamente con Stellarium . Así sabemos dónde hay que mirar.

Cualquier plataforma que se precie debe disponer de un bonito poster con sus clases y cosas similares.

Microsoft ha colgado en sus páginas un bonito poster de los tipos y namespaces más utilizados de la versión 3.5 de .net , en el que además se pueden ver los que son nuevos en las versiones 3.0 y 3.5. También los que se pueden utilizar en la versión 3.5 de .net compact framework y los se suponen planificados para la version 1.1 de Silverlight.

Lo hemos conocido gracias a Jorge Serrano , y navegando desde su página también hemos llegado a la de Fouz Blog , en la que nos ponen multitud de enlaces a otros posters relacionados con tecnologías de Microsoft.

En el último artículo comentábamos de pasada el libro del dragón rojo ("Compiladores: principios, técnicas y herramientas"), escrito por Aho, Sethi y Ullman, y publicado en 1986.

El caso es que el libro en cuestión es un clásico de la informática y, en general, durante muchos años se ha considerado que los contenidos no estaban demasiado desfasados, cosa excepcional en un texto de este estilo... aunque la verdad es que siendo un libro duro de seguir, sus contenidos son bastante teóricos y tampoco entran en demasiadas consideraciones. Es un libro muy leido y muy criticado a la vez. No obstante, es uno de los imprescindibles.

Aunque la canción rece "que veinte años no es nada", en informática es una eternidad... pero para gozo y regocijo de la comunidad resulta que hay una segunda edición de éste libro relativamente reciente: Octubre de 2006 (y yo sin enterarme). Es curioso que el motivo decorativo de la portada es el mismo que en la edición de veinte años atras, pero actualizado convenientemente, y con el dragón de color púrpura. En la camiseta del dragón pone "Complexity of compiler design", en el escudo del caballero pone "Syntax directed translation" y en la espada dice "LALR parser", más o menos las mismas leyendas que en la primera edición.

Enesta ocasión se ha unido otra autora, Monica S. Lam . Según dicen, el texto está revisado y actualizado, y se han incluido nuevos temas relacionados con técnicas de optimización de código, paralelización, recolección de basura, JIT, y otras características de los lenguajes orientados a objetos. Esperemos que en efecto sea así.

Habrá que echarle un vistazo.

Más:

• Una reseña en wikipedia (en inglés)
• En Pearson/Addison-Wesley se pueden leer algunos capítulos en línea.
• En otra página de Pearson/Addison-Wesley se puede encontrar el índice de la edición internacional (que no tiene la portada del dragón =8-o ¡Esta no me gusta!)
• Y por supuesto, en Amazon .

Hay cosas que de vez en cuando hacen que podamos echar una mirada al pasado no exenta de cierto halo de nostalgia.

MESS (Multiple Emulator Super System) es una de esas cosas. Basado en el archiconocido emulador de máquinas de videojuegos MAME , es capaz de emular el hardware de gran cantidad de los ordenadores domésticos y consolas de videojuegos, principalmente de los años 70 y 80, aunque también emula algún sistema anterior, como un PDP-1 de los años 60 y posterior, como la Nintendo 64 -de los 90-. A mi me parece sin duda un fantástico esfuerzo y una gran iniciativa por conservar la memoria de antiguas máquinas antiguas.

Lo que más me llama la atención de MESS es que -al igual que otros muchos emuladores- utiliza una copia del firmware original de las máquinas, y como muchas de éstas máquinas no necesitaban para arrancar disquete ni cartucho alguno, sino que algún intérprete de algún lenguaje -normalmente BASIC- imbuido directamente en ROM hacía las veces de intérprete de sistema operativo y de mecanismo de programación básico, en MESS tienen exactamente el mismo comportamiento.... por ejemplo, el Commodore 64 -con el que yo aprendí los rudimentos de la programación-, los Spectrum, los Amstrad CPC, los Oric, etc... presentan directamente al arrancar el intérprete de BASIC.

Además de arrancar éstos sistemas, también emula posibles periféricos de E/S permitiendo cargar juegos u otro software en general para cada máquina emulada.

La página del proyecto MESS es mess.org . Allí encontrarás el programa MESS para Windows, Mac y algunos *nix. La lista de sistemas que puede emular es impresionante. En el momento de escribir estas líneas pueden contarse 463, enumerados en la página principal de su sitio web. Por destacar sólo algunos de los más conocidos, cabe mencionar que incluyen varios modelos de Amstrad, Commodore, Atari, Apple, Dragon, Nintendo, IBM, MSX, Sega, Sony, Sinclair, Texas Instruments... en fin... una barbaridad.

Las roms originales de los distintos sistemas hay que instalarlas por separado. Se puede encontrar una copia de muchas de ellas en mess.slor.net , Las ROMS son material con derechos. Lee las indicaciones que han dejado al final de esa página antes de descargar.

Muchas de las máquinas que MESS emula han formado parte de mi vida y seguro que a tí te pasa lo mismo a nada que seas una persona algo añosa en esto de la informática, pero muchas otras no. Para muchas de esas que no conozco la página museo8bits.com tiene descripciones bastante completas, con fotos y en español, de equipos antiguos. En inglés, la página old-computers.com también tiene una impresionante lista de máquinas antiguas con foto y descripciones. Ambas son magnífico complemento a MESS para momentos de nostalgia ;-)

(Ilustraciones: Sinclair ZX81 - fuente: wikipedia ; Zilog Z80 - autor: Gennadiy Shvets - fuente: wikipedia ; Commodore 64 - autor: Bill Bertram - fuente: wikipedia )

Si alguna vez te ha tocado hacer una animación en Flash habrás notado que a veces puede ser algo desesperante y frustrante, pero no suele llegar la sangre al río.

Sin embargo, a Alan Becker se le han rebelado sus diseños en ésta magnífica animación: Animator vs Animation .

Los chicos de evilmadscientist.com siempre están con diseños interesantes en su web, pero éste me ha parecido de lo más simpático e ingenioso. Es un pequeño divertimento hecho con un cepillo de dientes y un motor vibrador, de los que llevan los "buscas" o los móviles".

Mira, mira...