A student at MIT is hosting a Time Traveler Party this week with the hope that people from the future will show up…too bad people from the future already know the party sucked!

Si alguien terminó o está cerca de terminar su máquina del tiempo, la oportunidad perfecta de probarla es asistir a la Convención de Viajeros en el Tiempo en el MIT, que iniciará en el pasado el 7 de mayo del 2005.

Se presentarán varios profesores de física, ciencias de la computación e ingeniería eléctrica; bandas de música; y un DeLorean. Los viajeros en el tiempo no requieren reservación (aclaración importante, dado que las reservaciones solamente se pueden hacer desde el pasado). Aunque por reglas de causalidad es posible que nadie crea que vienen del futuro y no los dejen entrar de todas formas, así que convendría hacer un viaje previo hacia principios del 2005 y reservar por las dudas.

— The Time Traveler Convention

Ejercicio para el curso de compiladores, es un buen ejemplo de un “hola mundo” para lex, generador de analizadores léxicos. Si tenemos un archivo en C sin indentación, por ejemplo

int main() {
 
for(;;;){
 
if (1)
 
{
 
printf("T");
 
 } else
 
{
 
printf("F");
 
printf(" error"); }
 
}
 
return 0;
 
}

queremos que lo convierta en

int main() {
 
   for(;;;){
 
      if (1)
 
      {
 
         printf("T");
 
      } else
 
      {
 
         printf("F");
 
         printf(" error"); }
 
   }
 
   return 0;
 
}

Compilar primero con ‘flex prueba.lex’ y luego con ‘gcc lex.yy.c -lfl -o formato’. Ejecutar con ‘$ ./formato < prueba.c’.

Continúe leyendo "Indent en (f)lex"

Esta es mi versión favorita de “What a Wonderful World”, con Eva Cassidy.

¿Aliens invaden la tierra, y hace falta adquirir masa crítica de ridiculez para confundir las Power Mac de sus naves espaciales? No hay problema.
 

HAI
BTW This is a BrainFuck interpreter written in LOLCode
BTW It accepts as input a BF program, followed by a "!", followed  by any input to the BF program.
BTW Since BrainFuck is turing-complete, this proves that LOLCode is too
 
I HAS A INSTRUCTIONS    BTW Array for BF instructions
I HAS A IPTR            BTW Pointer to first empty element in INSTRUCTIONS
LOL IPTR R 0
I HAS A LOOPZ            BTW Array of loop start/end addresses
I HAS A LOOPSTACKZ        BTW Loop stack for building the above two
I HAS A LSPTR            BTW Pointer to first empty element of LOOPSTACKZ
LOL LSPTR R 0
 
BTW Read in BF instructions, terminated with "!"
IM IN YR CODE
  GIMMEH LETTAR IPTR IN MAH INSTRUCTIONS

Compilador completo: Proof that LOLCode is turing complete:BrainF*** interpreter in LOLCode

En caso de que no lo parezca (¿sería raro, no?), sí, ese es un programa real que se puede compilar. Si está escrito o no en un lenguaje de verdad, se sigue deliberando. Igual que para ver si el lenguaje al que compila lo es o no.

Test Cosmo:

5. Cuando invitás a una chica a bailar su respuesta es:
a) Cara de lamer un limón viejo mientras esgrime una respuesta negativa.
b) Te responde en marcado acento lugareño: “Mi no habla español”.
c) “No, tengo dos pies izquierdos y por eso no bailo… ¿hablar entonces? No dejá tengo síndrome de deficiencia de la atención, mejor no”.
d) Ninguna de las anteriores.

— Autoevaluación: ¿Eres un espanta mujeres?

I have this wonderful proof that P≠NP, but it is too large to write in the margin of this email message!

Si P=NP (y sabemos cómo) es el fin del mundo como lo conocemos. El millón de dólares que ofrece el instituto de matemáticas Clay se vuelve poca cosa comparado con el dinero que se podría producir en puros procesos industriales, ya no se diga ahorrando en rutas de viaje. Si P≠NP, a simple vista no pasa nada, quedamos con la seguridad de que hay procedimientos que no se pueden realizar de forma práctica en la tecnología actual, seguimos buscando forma de construir máquinas de cómputo no deterministas, y alguien se gana un milloncito (para las pizzas).

Ahí hay una especie de elemento romántico, parecido a la “frontera final” de Viaje a las Estrellas, donde importa más el viaje que el destino. Podría ser que P=NP se vea tan imposible, y que los científicos lo vean con cara de “eso no puede ser” y encuentren, en el subconciente, formas de no resolverlo. O, también, que P≠NP, y entonces la idea de que existe un límite a lo que podemos hacer cause que no se le dedique el esfuerzo que requiere. Porque, ¿qué es un millón de dólares comparado con el sueño de encontrar rutas perfectas con un teléfono celular?

En 1996-7 se recopiló la opinión de 100 científicos de la computación respecto al problema. Las opiniones se dividen como sigue:

5 científicos opinaron que se resolvería entre 2002 y 2009. Otros 5, que ente el 2200 y el 3000. 5 más, que nunca se resolvería.

9 pensaban que P=NP. 57, que P≠NP. 4 pensaron que es independiente del sistema axiomático. 3 afirmaron que no es independiente de la Aritmética Primitiva Recursiva (lo que sea que sea eso). Uno dijo que depende del modelo, y 22 no opinaron.

11 científicos consideraron que se emplearía combinatoria y complejidad para resolverlo. 9 dijeron que se emplearía lógica. 3 mencionaron técnicas algebraicas, uno mencionó técnicas de continuidad, y uno afirmó que es inevitable emplear cohomología de orden superior. Alguien dijo que sería una demostración asistida por computadora (como en el teorema de los cuatro colores). Hubo opiniones para contradicción, inducción, cotas, y la presentación de un algoritmo para un problema NP Completo.

— SIGACT News Complexity Theory Column 36 [PDF]

My hunch is that the problem will be solved by a young researcher who is not encumbered by too much conventional wisdom about how to attack the problem — Richard Karp, Berkeley

La versión que me gusta (la primera que oí) es un forró de Aviões do Forró:

La versión duranguense (que por aquí es la más conocida) la cantan Horóscopos de Durango:

Continúe leyendo "Tontos e Loucos"

You may think penguins all look the same, but a computer system on a South African island knows better.

Una cámara instalada en la isla de Robben (Sudáfrica) es capaz de reconocer cuando tiene a un pingüino enfrente y le toma una fotografía. Aún más, le es posible reconocer el patrón de plumas y compararlo con una base de datos para identificar al esfenisciforme particular con una precisión del 98%.

Smart camera can read penguin ‘fingerprints’

This means that my front page (under development) can be valid HTML5 and yet have absolutely no div or span elements, no inline style or class attributes, and no table or img elements used purely for layout purposes.

— Minimalist Markup, intertwingly

Fear leaves us cold as a snow storm in summertime
Strength keeps us warm by the fire
Not looking back can mean hours of overtime

Doubt makes our footsteps as heavy as dinosaurs
Fate lets us ride on the breeze
Safety and shade and the height of experience

Happiness lives in the hearts of everyone

— When we fall, Jael