sábado, enero 29, 2005

Mejor foto 2004

Aquí. Algunas, fráncamente, son perturbadoras.

jueves, enero 27, 2005

Confirmado

22:38 < nodie> does Squeak/Smalltalk use a metacircular evaluator?
22:40 < jecel> Squeak is written in itself, but uses translation to C to break the "infinite tower"
22:40 < nodie> ok
22:40 < jecel> and Lisps metacircular definition was the inspiration for the first Smalltalk-72 design
22:41 < jecel> Lisp's
....
22:43 < jecel> http://c2.com/cgi/wiki?EarlyHistoryOfSmalltalk has some comments and links to a HTML and a PDF version of the paper

«Evaluador Meta-Circular» o Magia en estado puro

Me impactó profundamente, la primera vez que lo ví quedé pasmado. Es una de esas cosas que no te crees hasta que alguien se atreve a hacerlas realidad.

El «Evaluador Meta-Circular» es una cosa simple, pero devastadora para la comprensión. Es algo mágico...¿crees que exagero? Todo el mundo decía que las reglas de la naturaleza eran simétricas, porque es lo normal... nosotros somos simétricos y por tanto todo debe serlo... ¿o no? demasiadas veces pecamos de antropocentrismo, si no somos capaces de imaginar o considerar algo bello lo desterramos.

Richard P. Feynmann encontró que muchas cosas cambian si comenzamos a evaluar las reglas de la naturaleza al revés.

El «Evaluador Meta-Circular» es una idea: creas un lenguaje de programación en C, por ejemplo, y después creas un intérprete para ese lenguaje en él mismo, de manera que podrás interpretarlo usándolo a él mismo. Es enrrevesado: creas un intérprete de A y ahora defines A usando A. ¿Qué se consigue con esto? El lenguaje deja de ser dependiente de la plataforma, solo necesitas un interprete C para las primitivas que usaste para crear el interprete de A en A.

En LISP solo son necesarias, creo recordar, 7 primitivas que son muy fáciles de interpretar. Si en algún lenguaje se implementan esas 7 primitivas ese lenguaje no es más que una extensión de LISP.

Uno de los mejores de libros de informática que existen es Structure and Interpretation of Computer Programs escrito por dos genios del MIT AI Lab, Sussman y Abelson. Es un libro que suele iluminar a quien lo lee y se ha usado durante muchos años como texto base para la introducción a la programación en el MIT.

Ahora estas cosas ya casi no se estudian, la gente cree que Java o C# son poderosos sin conocer el poder real ;)

martes, enero 25, 2005

c2.com la telaraña asombrosa

C2 (Cunningham & Cunningham, Inc.) fue el primer Wiki del mundo. Arrancó en 1995 con la revolucionaria idea de que los visitantes de las páginas pudiesen modificarlas. Por si fuese poco estaba orientado a la comunidad de Smalltalk y se suponía que debía ser una especie de almacen de conocimiento respecto a patrones de software y de desarrollo. Poco a poco fue creciendo y explora mucho más temas.

Si sabes inglés y te gusta la informática (la programación en especial, pero no necesariamente) encontrarás en c2.com un buen sitio donde perderte y disfrutrar de lo que realmente es la web.

lunes, enero 24, 2005

Squeak y Lisp

Es curioso, pero ambas comunidades, la de Smalltalk y la de Lisp, están muy unidas. La gente de Smalltalk dice que el resto de lenguajes son versiones reducidas de Smalltalk y la gente de Lisp dice lo mismo respecto a Lisp, pero no se odian como lo suelen hacer comunidades cercanas.

Ambos comporaten una serie de técnicas que les son casi únicas, como los «cierres» (que podríamos llamar funciones anónimas, trozos de código que dependen de variables y que se pueden pasar como parámetros en funciones).

Es intersante observar la manera en que ambas comunidades se enfrentan a problemas que son monumentales para otras más «clásicas» como la de Java o PHP. En el tema web Smalltalk y Lisp usan la tecnología de «continuaciones» (continuations en inglés) que convierte el problema del mantenimiento de sesión en las aplicaciones web en un juego de niños.

Siempre me resulta reconfortante ver gente que no sigue la doctrina general.

viernes, enero 21, 2005

Entrevista con Scott Long

Entre vista con Scott Long, responsable de SMPng en FreeBSD:
http://www.onlamp.com/pub/a/bsd/2005/01/20/smpng.html

lunes, enero 17, 2005

Meta-proyecto: Proyecto «Proyecto Fin de Carrera»

Un amigo (http://sox.blogspot.com) y yo estuvimos hablando anoche en el IRC. Hemos creado un plan para auto-obligarnos a acabar nuestros Proyectos Fin de Carrera. El suyo de Robótica, el mío de Lingüística.

Ambos trabajamos y solemos dispersar nuestro tiempo en 1000 cosas en lugar de enfocarnos en las importantes, así que hemos dispuesto crear sendos blogs:

- http://pfc-jmra.blogspot.com : mi proyecto.

- http://pfc-jmgv.blogspot.com : su proyecto.

El «juego» consiste en una serie de reglas:

- La primera norma del club de la lucha es NO HABLAR del club de la lucha (esta es de coña :P)

- Todos los días se debe introducir una entrada, explicando lo que sea ha hecho ese día.

- Si no se ha hecho nada, se dice claramente.

- Si uno veo que otro no ha hecho nada ese día, le da un toque en el IRC/Correo/.

La idea es sostener cierta tensión que nos obligue a por lo menos PENSAR que tenemos que acabar nuestros PFCs.

Vamos a ver como sale la jugada.

lunes, enero 10, 2005

Que duro es cuando te lo dicen a la cara


I am nerdier than 98% of all people. Are you nerdier? Click here to find out!

viernes, enero 07, 2005

Se está echando el freno...

Ya era hora... los fabricantes comienzan a tomarse en serio el diseño de CPUs y dejan de aumentarles el reloj.

martes, enero 04, 2005

Joel de nuevo

Joel es un tipo controvertido. La gente le admira y le odia. No existe punto intermedio, yo mismo siento sentimientos contradictorios cuando le leo. Ahora ha escrito una serie de recomendaciones para los que quieran estudiar informática en EEUU y ganarse la vida con ello.

Estoy de acuerdo con él, pero a la vez parece eliminar la parte bella (teórica) de la informática del curriculum.

lunes, enero 03, 2005

Felíz Año Nuevo

Pues eso ;) que se me había olvidado.

2001, Clarke y Kubric

Hace una semana, después de acordarme de la url que puse el día 11 de diciembre donde explicaban la película de Stanley Kubrick, «2001, una odisea del espacio», me entró curiosidad por saber hasta qué punto difería del libro original.

Así que ni corto ni perezoso me fuí a la librería Luces y lo compré en edición barata (6.50€) y en unos 4 días me lo leí.

No hay tantas diferencias como me esperaba. Están las justificadas debido a que Kubrick no podía realizar ciertos efectos especiales, pero después están aquellas que te dan que pensar. En el libro se habla, se explica, mucho. Incluso diría que todo. Si la película de Kubrick parece contemplativa, larguísimos silencios y planos estáticos, en libro es mucho más dicharachero.

Kubrick insinúa, como buen artista, Arthur C. Clarke explica y enseña, como buen ingeniero. Es una especie de obra a la limón.

Recomiendo a todo el que se quedó viendo la película sin saber que veía que se lea el libro, y a quien admire a Kubrick que repase el libro y vea donde metió mano el gran genio del cine.