Here I am...

Deje medio colgado este blog. Suele pasar xD dirán.

El mayor problema de un blog como este es que, al no tener un propósito determinado (no es un blog de tecnología, arquitectura, mujeres... (?)) no siempre obtengo un rapto de inspiración para escribir.

Hace rato venía pensando en este tema, pensando en algo que no se haya hecho (hard work!) para comenzar.

Entonces, unos días atrás, me topé con el lenguaje lojban. Me interesó muchísimo, así que me puse a investigar. Y se me ocurrió escribir sobre eso.

Acá hay varias cuestiones. Lo conozco hace menos de una semana, por lo que no estoy como para impartir el conocimiento de un lenguaje laburo por más de medio siglo. Sobre esto, lo que decidí hacer fue un enfoque distinto: relatar mi experiencia aprendiéndolo, y relacionándome en esa comunidad. Por esto será una especie de "diario de viaje".

Por otro lado, no mucha gente conoce el lenguaje. Esto tiene sus ventajas y desventajas. De las segundas; mis potenciales lectores que llegan por conocimiento del lenguaje son pocos. A diferencia de un blog de tecnología o lo que sea, no puedo apuntar al gran público. Es por esto que, lamentablemente, para mis creencias y supongo que para algunos de mis amigos, lo estoy escribiendo en inglés (aunque tal vez lo traduzca, si da el tiempo).

Últimamente estuve bastante metido en este concepto de la web 2.0, un tema totalmente a la moda, donde hay una generación de geeks "copados" (muy entre comillas) que quieren que la web (y la computación y tecnología en general) sea un lugar de ida y vuelta constante de información, y en tiempo real. Parece que la imagen del nerd con sus anteojos enredado en los cables de la computadora en una habitación oscura y decrépita se va diluyendo con el tiempo...

A partir de esta información que me hace rebalsar el cerebro (irónicamente pareciera que leo más sobre la manera de dar la información que la información en sí), creo que subconscientemente apunte al famoso nicho restringido pero leal (espero que así se dé, cuento con Uds. ;) ). Jamás tuve el problema de que la falta de lectores de mi blog me quitara el sueño. Tampoco lo tendré ahora, pero sería interesante poder dar a conocer más este lenguaje.

Otra de las ventajas sería que obtengo que tengo una especia de "presión" autoimpuesta para seguir con el lenguaje y no quedarme. Espero que así sea :).

Espero no haberlos aburrido. Esto fue un pequeño resumen de mis pensamientos estos días. Tal vez le sirva a alguno que esté pasando lo mismo que yo...

Gracias a Iñaki (segunda vez que te nombro en el blog...) por haber simplemente nombrado el lenguaje.

Aquí tienen el link a Leo in Lojbanistan! (también está en la columna del costado =>).

Y no se preocupen (?) porque El Sucucho de Leo no está muerto, sólo necesito un poco más de inspiración (ya tengo pensado algún post para el futuro...)

Otro reto para la muchachada

Muy agradecido de recién haber terminado este primer semestre del año, y en lo que se referiría a materias cursadas justo en el diome (o sea, justo en el lugar que pasó mucho tiempo para cambiar de carrera pero se están muy lejos de recibir los beneficios), me puse a pelotudear. ¿Quién no lo haría y quién no lo hará?
Y redepente, me encontre leyendo un viejo comentario en este mismo blog que en su momento no había entendido... Está en el post Colgándose del éxito, que realicé hace un tiempo atrás (lo recordarán), sobre un famoso meta-paradigma... Lo copio para que no lo tengan que buscar:

"Hola!
en otras palabras, se podria decir que la bolivianada(X) es un operador de punto fijo para cualquier X.

Me pregunto cual sera el minimo modelo de Herbrand asociado al menor punto fijo de este operador.

Iñaki Garay"

Ahora que Lógica ya es una materia más del pasado inmediato, creo tener la respuesta... Vamos a formalizarlo un poquito más.

Sea la función bolivianada: Programa lógico definido -> Programa lógico definido, que devuelve un otro programa que hace lo mismo pero con un tiempo y orden de ejecución astronómico. Y acá, perdoname que te corrija Iñaki, pero este operador es un operador de punto fijo cualquier X que ya sea una bolivianada.

Y ahora se presenta el reto. ¿Cuál es el mínimo modelo de Herbrand asociado a este operador? Voy a decir que es lo que creo después. Pero piensenlo Uds. Puedo estar equivocado...

El oráculo

El otro día le preguntaba a Pancho...
"En un grafo donde los nodos sean actores de cine, y estén relacionados por las películas en las que dos actores estuvieron juntos en cartel (o sea, un nodo Orlando Bloom estaría unido con Viggo Mortensen por El Señor de los Anillos (aclaración para cortos :P))... ¿Cuál sería la distancia (mínima) entre (por tirar un ejemplo, no?) Jorge Porcel y Kevin Bacon?"
Pregunta que parecería capciosa, pero no es para tanto...
Resulta que la gente de la Universidad de Virginia se preguntó lo mismo. Decían: "Vamos, muchachos, Jorge Porcel, el gordito que actuó con Susana Giménez, piensen...". Claro, muchos se pueden llegar a imaginar que es un trabajo muy largo, buscar entre todas las películas... Era claramente un trabajo para una computadora. Por suerte ya existía la IMDB (Internet Movie Database), de donde sacar la información. Ahora, tal vez no todos lo saben, pero el problema de buscar el camino más corto entre dos nodos en un grafo de un problema de los catalogados NP (o sea, puede ser resuelta por una máquina del muñequa quebradiza Turing con múltiples cintas en tiempo polinómico). Como no daba para buscar una demostración a este problema de Hilbert, porque necesitaban la solución inmediatamente, hicieron uso del bolivian theorem, y empezaron a buscar exhaustivamente.
¡Y ahora si! La respuesta es ... 2!
¿No me creen?

Jorge Porcel en Carlito's Way (1993) con Sean Penn
Sean Penn en Mystic River (2003) con Kevin Bacon

Claro está que no se puede buscar dos nodos cualquiera, por lo que dije arriba, así que los muchachos de la Universidad de Virginia nos dejan usar este motor de búsqueda, pero sólo con Kevin Bacon, en lo que se denomina El Oráculo de Bacon.
Simplemente pongan el nombre de un actor (les doy unos ejemplos con los que se van a sorprender: Carlos Gardel, Fabiana Cantilo, Guillermo Francella, y hasta Norberto "Pappo" Napolitano y Lia Crucet!) y devolverá el número de Bacon.
Sinceramente, yo no pude encontrar un actor que tenga un número de Bacon mayor a 4. Dejo el reto para la muchachada. Quien consiga un actor con un número de Bacon mayor o igual a 5 (no vale infinito ¬¬) se gana 2 kilos de tapioca gentileza de la Unión Vegetariana (tienen el link más abajo, son los adorables y apetecibles cerditos), y un viaje todo pago a Kazakztán.

No pude con el Blogger

Y si... estoy un poco deprimido porque no pude con el Blogger. Intente configurar un poquito la plantilla, pero mis conocimientos de edición de páginas no alcanzaron.
El problema es que esta maravillosa página (por la cual felicito a la gente de Google) fue preparada (supongo yo) para gente que escribe menos que yo. Los post que hago están acotados al ancho actual, y preferiría que fuera un poco mayor. Además corta los videos de YouTube. Y no me importa utilizar la plantilla más quemada de todas, me gusta su estilo minimalista. Sólo preferiría más ancho. Si alguien sabe como se hace, le agradecería mucho que me avisara.
De cualquier manera, agrege un par de pavadas en la barra lateral. Hay un par de links a las páginas de amigos que me hicieron el favor de incluirme en ellas. Les estoy muy agradecido.
Otro de los links es a la página de Tren Para Todos. Me llegó como spam a varios lados, y ahora se los replico a Uds. La solicitud tiene muy buenas intenciones. No me gusta politizar el blog, pero todavía no me entra en la cabeza como a los gobernantes se les ocurrió llevar adelante este proyecto. La contrapropuesta del Tren Para Todos es un tren más cercano a nuestras necesidades, que tiene como único defecto el hecho de que no llega a San Antonio Oeste ¬¬.
Ninguna potencia mundial carece de este medio no sólo para el tranporte de pasajeros, sino también para el tranporte de carga. Imaginen ir por la ruta y cruzarse con la mitad de los camiones que uno se cruza habitualmente. Las rutas estarían muchísimo menos baqueteadas y el tránsito sería más rápido. Claro que, como hablabamos la otra vuelta con Jony-el impresentable-que-no-entra-nunca-acá, meter las cosas adentro de un tren de carga es sacárselas a los camioneros, unos tipos duros que con sólo ver el pulgar abajo de Moyano te paralizan el país...
Bueno, me metí demasiado en una discusión eterna. Pasen por el link y si les gusta la propuesta, firmen.

Colgándose del éxito

Como dice el título, y siguiendo lo que se comenzó en el blog de Diego … me gustaría seguir exponiendo algunos conceptos sobre esta maravillosa rama de la computación que es el Meta-Paradigma Boliviano.

Partiendo del bolivian-theorem (ya lo deberían saber de memoria): “Sea X cualquier cosa, entonces existe una versión boliviana de X”, se puede enunciar lo siguiente:

Corolario: Si a X es una bolivianada, entonces su versión boliviana es el mismo X.

Yo creo que no es necesaria la demostración, ya que es inmediata a partir del teorema.

De cualquier manera, es un resultado importante ya que el meta-paradigma boliviano determina el límite de lo inoperante, como bien lo expresa este dibujito.

Y ahora, ¡¡más exponentes del meta-paradigma boliviano!!

• Bolivian-Txt: Archivo de texto que no guarda los códigos de cada carácter, sino que guarda todos los códigos de los que no lo son. Claramente, el tamaño aumenta 255 veces. Su análogo es el bolivian-bmp, que ya se pueden imaginar cómo es.
• Bolivian-MP3 Ripper: Este programa abre un reproductor de música, como el Winamp, y captura el video que se da en el analizador de frecuencias. A partir de esto, genera el archivo wav que luego pasa por el bolivian-MP3 encoder.
• Bolivian-MP3 encoder: Deja el archivo .wav exactamente igual, cambiándole la extensión. Claro que esto no formaría parte del bolivian paradigma, sino tardara por alguna razón 3 horas por minuto de archivo .wav.
• Bolivian-Flash Player: Reproductor que alterna una pantalla blanca, seguida de una pantalla negra, todo a alta velocidad, dando una sensación de flashes. Sorpresivamente lo que hace es ir al símbolo de sistema, y alternar entre una pantalla sin nada y otra con todos caracteres █ (ASCII 219), pero ocupa 2 Gb en disco y mínimamente necesita 4Gb de memoria RAM.
• Bolivian-G**gle Earth: Cada vez que se inicia, se dispara un cohete al espacio con un satélite. Cuando alcanza entrar en órbita, saca una camarita web marca Genius con una lente Carl Zeis de aumento x30000000. Por cada vez que se usa este programa, se gastan $B 181.000.000,00 (obviamente, el dinero expresado en bolivianos).

See ya!

PD: No se con que cara voy a arrancar algún post futuro contra la discriminación. Soy la cara de la hipocresía :O (pensaste que iba a poner otra cosa eh?), pero bueno, por lo menos yo y (espero que) algunos otros sabrán que es sólo humor.

PD2: Fer, terminá la implementación del bolivian-sort por favor!!!
PD3: Aguantes los grisines, el orégano y las cartucheras!

Robando descaradamente

Voy a citar al libro “Matemática estás ahí”, de Adrián Paenza. Esta serie de libro (y no sólo me refiero a los de Paenza, sino también todos lo de la colección Ciencia que Ladra), fueron parte de lo que me inspiró a hacer este blog.

(Espero no tener que robar tan descaradamente muy seguido. Esta cita presenta muy claramente un punto que quería exponer.)

(Este post, hasta que termina la cita, es apto para todo público. Después está mayormente dedicado a los que pertenecen a la carrera de computación. Sepan disculpar.)

“Oscar Bruno es doctor en matemáticas. Trabaja en el ‘California Institute of Technology’, más conocido como ‘CalTech’. Se dedica a la investigación en áreas de matemática aplicada, ecuaciones en derivadas parciales y ciencia computacional. En su trabajo se ocupa de predecir las características de diseños de ingeniería, usando métodos matemáticos y programas de computadoras.

Hace un par de años, le pedí que me diera algunas referencias sobre lo que hace. Y me escribió estas líneas que ahora transcribo, con su autorización, claro.

- ¿Cómo se usan los modelos matemáticos para mejorar la calidad de un objeto antes de construirlo?

Las ventajas ofrecidas por tales métodos son muchas y claras. Por un lado es mucho más sencillo y menos costoso simular un diseño que construirlo. Por el otro, un modelo matemático puede revelar información que es muy difícil o imposible de adquirir experimentalmente.

Por supuesto, la validez de estos modelos debe ser verificada a través de comparaciones con experimentos, pero, una vez que un modelo está verificado, se puede tener un alto grado de confiabilidad en sus predicciones.

…

Últimamente he estado trabajando en una variedad de problemas:

a) Producción de radares,

b) Producción de diamante a partir de grafito por medio de ondas de choque

c) Diseño de un microscopio basado en rayos LASER, en conjunto con un grupo de biólogos y de físicos

…

El diseño del compuesto más conveniente (qué tipos de partículas utilizar, en qué cantidad, qué tipo de goma es más ventajoso), se facilita enormemente gracias a los métodos numéricos. Ciertamente, en vez de producir un prototipo con cada combinación posible de materiales básicos, se utiliza un programa de computadora por medio del cual, para determinar las características de un cierto compuesto, sólo es necesario especificar –cuando la computadora lo requiere- una serie de números que caracterizan las propiedades básicas de los componentes utilizados.

Hasta acá, las reflexiones de Oscar. Ahora agrego yo: muchas veces, como matemáticos, recibimos la pregunta: ¿para qué sirve lo que vos hacés? ¿Cómo se usa? ¿Ganás plata con eso?

Cuando se trata de matemáticos que dedican su vida a la producción de ciencia con aplicaciones más evidentes o más directas, las respuestas, como las de Bruno, suelen ser más claras o más contundentes. En cambio, cuando esas respuestas provienen de científicos que dedican su vida a la investigación básica o a la vida académica, no suelen convencer al interlocutor. El ciudadano común se siente apabullado y calla, pero no está seguro de que le hubieran contestado lo que preguntó. No entiende.”

Hasta acá bastante claro, ¿no?

Esto que sucede acá me ha sucedido algunas veces. Muchas veces me han preguntado que era lo que hacía en la carrera, y no fue tan fácil explicarlo. Esto a pesar de que una computadora es mucho menos abstracta que la matemática.

Primero que nada, uno de los nuestros a lo que siempre apunta es al hecho de programar. ¿Y qué es programar? Salir jugando es decir hacer programas. Esto tiene mucho de verdad, pero el problema es que al finalizar la carrera no vamos a programar… O por lo menos, eso sería a lo que apunta la carrera. Como nos dijo Sergio Martig (¿o era Martín Larrea?), el programador es el eslabón más bajo dentro de la industria del software.

Tal vez nos dediquemos, como tantos ídolos dentro de la historia de la computación, a hacer algoritmos. Y anda a explicarle a alguien lo que son los algoritmos. (Esto teniendo en cuenta que la definición de algoritmo es muy simple.)

Tal vez, (no creo y espero que no) apliquemos los conceptos de la ingeniería de software en una empresa.

Tal vez nos dediquemos a la docencia. Y ahí si que todo el mundo nos va a entender, y va a haber varios que se preguntaran para que estudiar una carrera tan larga para después ser un simple profesor. (Esto forma parte de una idea generalizada que los maestros y profesores son simplemente perdedores que no sirven para otra cosa. No hay nada más alejado de la realidad.)

Tal vez haya algunos que decidan a seguir capacitándose, y hagan un postgrado. A cualquiera que le presentemos esa idea de seguir estudiando, para después, seguir estudiando, simplemente querrá hacer una vaquita comunitaria para comprarnos una vida.

Ahora si, como nos dijo Sergio Martig alguna vez, y según veo yo, la mayor diferencia entre un Licenciado y un Ingeniero en Computación, los Licenciados vamos a ser científicos. Con todas las letras. Hay que poner eso en mente desde ya.

Para empezar, hay que saber qué es la ciencia. Y a esto lo presento oficialmente como uno de los objetivos de este blog.