Pensamientos de Rephus

Todos los que hayamos estudiado algo relacionado con los lenguajes formales, demostraciones, matemáticas, etc, sabemos lo tedioso que son realizar demostraciones formales. Reducciones al absurdo sobre casos que parecen extraídos de mentes de escritores de novelas de ciencia-ficción, suposiciones que parecen extraidas de la axila, axiomas de dudosa existencia…

Pues hoy os presento una nueva forma de hacer demostraciones formales facilmente, sin cálculos tediosos, solo hay que enunciar las demostraciones de forma… formal.

Y recuerda ..
Suit up !

Mucho se ha hablado de que el 2012 será el fin del mundo y en este post nos vamos a dedicar a recopiar todos los indicios , eventos que señalan ese año.

- La primera evidencia del fin del mundo viene de mano de la civilización Maya, cuyo calendario abarca desde el 13 de Agosto de 3114adC hasta el 23 Diciembre de 2012. Los Mayas predijeron que el sábado 22 de diciembre del 2012 el sol al recibir un fuerte rayo proveniente del centro de la galaxia cambiaría su polarización y producirá una gigantesca llamarada radiante.

Unido a la profecía, los mayas dijeron que antes del fin del mundo habría un período de 20 años que empezó en 1992 y que termina en el 2012, donde la humanidad entraría en el último período de grandes aprendizajes y grandes cambios.

Los mayas se consideran la civilización antigua más importante por su legado científico y astronómico, por lo que es normal que se le de tanta importancia a una predicción tan precisa.

- Actualmente se le está dando importancia a esta predicción, y se ha puesto de manifiesto incluso en películas, tales como 2012 dirigido por  Roland Emmerich .

-En la película Knowing (Señales del futuro en España) dirigida por Alex Proyas y protagonizada por Nicolas Cage también se presenta el fin del mundo, en esta ocasión en 2009 (fecha en la que se estrenó la película) pero con una buena representación del fin del mundo fiel a la predicción maya unido a aspectos bíblicos, y como indicaron los mayas, no sería un fin del mundo, sino un “nuevo comienzo”.

-Quienes hayan jugado a la saga de Assassin’s Creed (especialmente la segunda parte de la entrega) verán tiene lugar en el año 2012, rememorando eventos del pasado, y al final de Assassin’s Creed 2 se pone de manifiesto la predicción Maya nuevamente. Habrá que esperar a la tercera entrega de la saga, que se estrenará en el mismo 2012 para conocer su conclusión.

-Entre el 2011 y el 2012 también llegará el fin al mundo de la informática. Será el momento en el que se terminará de cumplir la Ley de Moore. Esta variación de lo que realmente enunció Gordon Moore en 1965 viene a decir que cada 2 años se reduce a la mitad la distancia de integración de los transistores de los procesadores (pudiendo duplicar la frecuencia de los mismos) . Pero esa reducción se acaba en la fecha del fin del mundo, cuando alcancen una distancia de 0.07 micras, porque es el límite que puede soportar el silicio, que de seguir reduciendo, se volverían inestables los propios transistores que componen la CPU (quién sabe si esa distancia no lo es ya). ¿coincidencia de fecha? No lo creo.

- En un libro recientemente publicado, titulado 2012: cita con Marduk, el escritor e investigador turco Burak Eldem defiende que en 2012 el planeta representado por los babilonios como Marduk, llamado Nibiru (también llamado el planeta número 12 del sistema solar) pasará por nuestro sistema solar, algo que no ocurre desde hace 3661 años que es lo que dura su periodo orbital . La última vez que se cruźo en nuestro camino fue en 1649 a.C. Y causó grandes catástrofes.

- El 15 de abril se celebra el primer centenario del hundimiento del RMS Titanic.

- El día 20 de mayo de 2012 la Luna eclipsará al Sol junto a las Pléyades, de modo que podremos verlas en la oscuridad del día eclipsado. Hace 5.125 años (periodo del actual ciclo maya llamado “Cuenta Larga”), en el año 3113 antes del inicio de la era cristiana, tuvo lugar un eclipse semejante visible en la latitud del Yucatán, en plenas tierras mayas.

- En el año 2012 Cartagena será la sede de la décimo octava versión del Congreso Internacional de Psicoterapia y Procesos Grupales .

- El 19,20 y 21 de marzo , el World Trade Center de México, será sede del congreso OVNI, donde tendrá lugar la desclasificación de documentos OVNI por parte de los gobiernos, la aparición de círculos en los campos de cultivo de Inglaterra,así como todos aquellos tópicos que rodean a los objetosvoladores no identificados. Si tuviesen que llegar unos ovnis para invadirnos y destruir el planeta, sería un buen momento y lugar.

Y eso son aproximadamentes todos los acontencimientos que pueden ocasionar el fin del mundo, sin contar que coincide el periodo de elecciones en varios paises, incluido España (a menos que se adelanten).

Todas estas profecías y señales apuntan definitivamente al fin de la vida sobre la tierra tal y como la conocemos. Solo tenemos una prueba sólida que demuestra que el fin del mundo no llegará en 2012.

Disfrutad la vida mientras podais

CVS ( Concurrent Versioning System) es una aplicación muy útil que implementa un sistema de control de versiones, guardando copias de seguridad de el código fuente de un programa. El control de versiones es MUY útil o incluso necesario para proyectos de gran tamaño, nos permite elegir cuando guardar la copia de seguridad de cualquier fichero, o de un conjunto de ficheros, de tal manera que si en algún momento nuestro programa se vuelve loco y no conocemos el motivo, solo tendríamos que restaurar una versión anterior de un archivo completo, o solo una parte.

Además el CVS no guarda los archivos fuente completos cada vez que se almacena una versión sino que guarda únicamente las lineas que se modifican en el programa, de esta forma el espacio de almacenamiento del repositorio es mínimo.

El entorno de programación Eclipse incorpora este sistema CVS, y en este post nos vamos a centrar en configurarlo y utilizarlo para un proyecto en Java.

Para empezar tendremos que crear la carpeta donde vamos a guardar nuestro repositorio, por ejemplo:

/home/rephus/cvsprueba

Luego tenemos que crear la carpeta CVSROOT , es una carpeta necesaria que almacena metadatos del repositorio , podeis hacerlo de varias maneras, o seguiis los pasos indicados abajo de como crearla, o podeis bajaros directamente la carpeta desde Aqui y ahorraros ejecutar comandos en consola.

Si quereis crearosla vosotros mismos:

empezamos creando una variable de entorno para cvs no es más que una variable que indica el path, para hacerlo desde un sistema Linux bastará con abrir una consola y escribir

export CVSROOT=/home/rephus/cvsprueba

Luego creais la carpeta con todos los archivos ejecutando en consola

cvs init

Si preferiis descargarla y copiarla

Descomprimir el archivo y copiar la carpeta CVSROOT a la carpeta donde almacenareis vuestro cvs.

Ahora deberíais tener dentro de vuestra carpeta cvs (/home/rephus/cvsprueba) una carpeta CVSROOT (/home/rephus/cvsprueba/CVSROOT) llena de archivos en blanco.

A partir de aquí, solo tendremos que utilizar el Eclipse, y elegir el proyecto que queramos que utilice el repositorio.

El primer paso es irnos al apartado de CVS de Eclipse, para eso cambiamos la vista (se encuentra en la esquina superior derecha de Eclipse (si no lo veis tendreis que darle al desplegable “>>” o agrandar un poco la pestaña ) )

Vista>CVS Repository Exploring Perspective

Ahora se verán todos los repositorios CVS, si no teneis ninguno la ventana aparecerá en blanco

Para añadir un nuevo repositorio CVS hacemos click derecho en la ventana de CVS Repositories

Click Derecho > New > Repository Location…

Ahora se nos abrirá una ventana nueva donde tendremos que configurar las características de nuestro repositorio, se nos permite desde alojarlo en un servidor, de forma local, con password, etc.

En este caso , para configurar el repositorio de forma local, ya sea en la misma partición o en otra diferente del disco (la ruta se establecerá a continuación) configurar de la siguiente manera (especialmente al host y a connection type)

host : localhost

repository path : <Path> (ejemplo: /media/comun/cvs )

user : <Usuario>

password :

connection type: extssh

x use default port

x save password

Os pedirá insertar un password para la conexión, y ese password lo tendreis que introducir cada vez que useis el CVS por sesión (es decir, solo tendreis que introducirlo una vez cada vez que abriis el Eclipse hasta que lo cerrais otra vez)

Si os diese error CVSROOT es que no teneis la carpeta con los archivos correspondientes en su correcto sitio o no habeis seleccionado el path correctamente

Volvemos a la vista de Java, hacemos doble click en el proyecto al que queramos aplicar el repositorio CVS

Click derecho en proyecto > Team > Share Project

Se nos abrirá una ventana para asociar el repositorio, en la primera ventana seleccionamos < Use existing repository location> y elegimos el repositorio que acabamos de crear

Podemos asignarle otro nombre al modulo, pero lo dejaremos como esta <Use project name as module name> y continuamos

Una vez finalizado el proceso nos saltará una ventana para guardar la primera versión del proyecto (que incluye una copia de todos los archivos). En la parte de arriba podemos incluir un mensaje que nos sirva para describir el estado del programa en ese momento.

Ya tendremos nuestro repositorio creado. Fijaos que se puede distinguir a unos proyectos con CVS de unos sin CVS por el pequeño cilindro amarillo abajo a la derecha de cada icono del proyecto.

Para utilizar toda la funcionalidad que CVS nos ofrece tendremos que hacer click derecho en el proyecto (u archivo independiente ). De entre las funciones más interesantes está

Click derecho (en archivo o proyecto) > Team > Commit

(guarda una nueva versión del archivo o proyecto en cuestión )

Click derecho > Compare With > Latest from Head /Another branch

(Nos permite comparar las diferencias de nuestro código al de una versión anterior (es necesario tener más de una versión almacenada) )

Click derecho > Replace With > Latest from Head /Another branch

(Nos reemplaza todo el código al de otra versión (sería recomendable guardar una versión antes, y sustituir después) )

Click derecho (Proyecto) > Team > Tag as Version

(Nos crea una compilación indicando la versión de cada archivo incluido en el proyecto)

Hoy os presento a todos una serie de ciencia-ficción estadounidense llamada Firlefly que mezcla el estilo clásico del oeste, con viajes interpesaciales al más puro estilo Star Wars.

El nombre de Firefly procede de la clase de la nave espacial protagonista, nave la cual es llamada Serenity. La serie empezó su emisión por Fox en 2002, y tras 11 episodios (de los 14 que fueron producidos) fue cancelada, y nadie sabe por qué. Sin embargo, nadie se esperaba que al ser lanzada en DVD fuese un total éxito en ventas. Dicha popularidad fue aprovechada al realizarse una película con el propio nombre de la nave espacial : Serenity.Que se sitúa cronológicamente 2 meses después del final de la serie.

Trama

La historia se centra en la nave clase Firefly , en la que el protagonista y su tripulación son cazarrecompensas espaciales que intentan disimularlo transportando en su nave a extraños viajeros que son recogidos en la capital de la Alianza (a.k.a. Imperio Galáctico). El dia a dia de los cazarrecompensas es ganarse la vida realizando las misiones más raras y peligrosas mientras que tienen que escapar de sus temidos perseguidores, además de lidiar con unas de las más temidas criaturas del espacio, los “Reavers”.

Reparto

Sin duda lo que hace que pase de ser una buena serie, a ser una serie fantástica. Y es que todos los personajes tienen mucho carisma y aportan un elemento único a la serie. Quién podría imaginarse a un reverendo en una nave tripulada por cazarrecompensas, furcias y fugitivos.

Malcolm Reynolds (Nathan Fillion) . El capitán de la nave Serenity es un cazarrecompensas igual a Han Solo, luchó hace mucho tiempo en las guerras clon ; chulo, seco, borde, pero que cuida muy bien de su tripulación. Quizás lo conozcais también de otra serie bastante famosa llamada Castle, donde interpreta a un escritor con el mismo carisma que tiene que resolver casos.

Zoë Alleyne Washburne (Gina Torres) . El brazo derecho del capitán, más dura que un roble.

Hoban Washburne (Alan Tudyk) . Piloto de la nave, marido de Zoë, un hombre con un punto de vista bastante positivo a la vez que inocente.

Inara Serra (Morena Baccarin) . Una furcia. Es extraño como en la serie las furcias representan unas acompañantes de prestigio , que el capitán de la nave usa para obtener cierto reconocimiento en los planetas a los que va; mientras que ella se aprovecha de Serenity para viajar por diferentes mundos. La actriz también aparece como personaje en la nueva serie de V .

Jayne Cobb (Adam Baldwin) . Un tio muy bruto, que podría interpretar a chewbacca. Aunque sea una persona que se mueve por los intereses, en el fondo siempre es leal a Serenity y a su capitán.

Kaywinnit Frye (Jewel Staite) . La mecánica de la nave, a pesar de disponer de ese trabajo es una de las tripulantes más femeninas y alegres de Serenity.

Derrial Book (Ron Glass) . Un reverendo. Siempre impone su punto de vista más sensato en las diferentes situaciones.

Dr Simon Tam (Sean Maher) . Un pijo experto cirujano se alista en la nave para poder salvar a su hermana de la Alianza convirtiéndose en fugitivo.

River Tam (Summer Glau) . Hermana de Simon, a pesar de tener un coeficiente intelectual sobrehumano, está un poco loca por los experimentos que le realizó la Alianza. Es frecuente que altere su estado emocional a menudo.

La serie tiene una buena banda sonora estilo country. Y si os gusta, no os perdais la peor Intro de la historia de las series de ciencia-ficción que podría hacerse pasar por una telenovela espacial (aparecen caballos y todo).

Quien siga mi cuenta de twitter, sabrá que hace escasos días, realicé un cambio de compañía de telefonía móvil después de estar dos largos años en vodafone, tanto contrato como prepago.

El motivo de mi rápida huida de vodafone vino determinada por dos sucesos. El primero de ellos fue darme cuenta de que me estaban cobrando la salvaje cantidad de 38 cent/minuto disponiendo de la tarifa 60×1 que tengo desde que llevo de alta en la compañía. El segundo motivo fue por un claro abuso de poder, al querer cobrar ahora los señores de esa compañía 6€ desde principios de 2010 por liberar un teléfono después de que finalizase el compromiso de permanencia correspondiente (siendo la única compañía en el mercado en hacerlo); en mi caso llevaba un año con el móvil sin compromiso y sin liberar, y cuando recientemente quise liberarlo me impusieron ese pago injusto. Los detalles del proceso de baja, quizás otro dia.

Después de estar valorando todas las compañías actualmente en el mercado de la telefonía (desde operadores móviles como Carrefour, PepePhone o Symio, hasta las grandes como movistar,yoigo , vodafone u orange) decidí que la mejor opción era optar por un operador móvil virtual (OMV) por sus tarifas.

Para los que anden algo despistados, cito la wikipedia :  “ Un operador móvil virtual u OMV es una compañía de telefonía móvil que no posee una concesión de espectro de frecuencia, y por tanto carece de una red propia de radio. Para dar servicio, debe recurrir a la cobertura de red de otra empresa (o empresas) con red propia (un Operador Móvil con Red, u OMR) con la(s) que debe suscribir un acuerdo. “

Después de informarme de forma online, fui a preguntar a una tienda Phone House para que me aconsejasen al respecto. El empleado me comentó de que los OMV son muy económicos, pero que puedes quedarte sin cobertura a menudo porque tienen preferencia los clientes de la empresa OMR que cede su red al OMV.

Con ese argumento, decidí probar algún OMV por mí mismo, y mi decisión fue clara desde el principio ; MÁSMovil, por sus tarifas, tanto en llamadas como en internet movil, y por otros motivos.

-Varias tarifas, una de ellas es a 6 cent/min a todos los operadores, 8 cent el sms y 3 cent/mb la conexión a internet (3g o gprs).

- 30 mb de navegación en internet gratuita al mes (equivalente aproximadamente a 1€ )

- Si invitas a un amigo a MÁSMóvil , tú y tu amigo ganareis ambos 5€ de saldo extra (o descuento en la próxima factura).
- Consumo mínimo de 1€ al mes.
- Sin permanencia.

- Pagos y recargas a través de Paypal, consultas del consumo a través de la web (gratis).
- Sin coste de alta, únicamente el dinero que quieras recargar (mínimo 15€).

Y para los que sigan pensando que un operador móvil virtual no dispone de la misma cobertura que otros operadores, ahi va una captura de mi móvil encontrándome yo en un pueblo alejado en Málaga. Incluso mejor que con la antigua vodafone.

Otro aspecto a destacar es que utilizando Fring (cliente multiprotocolo : gtalk, skype, msn, etc) y estando conectado las 24h del dia y consultando el correo desde gmail no se llega a consumir más de 1mb al dia, haced cálculos.

Para terminar recordar a todos los lectores que no he sido coaccionado de ninguna manera a escribir este post, ni trabajo para MÁSMovil, ni piensan pagarme ni nada por el estilo. Este post solo se ha realizado para reconocer un buen servicio, y para que os liberéis de vuestras respectivas operadoras de telefonía móvil y opteis por otra compañía que no os sangre el sueldo del mes, ya sea MÁSMovil u otra similar.

A veces suelo elaborar platos elaborados , pero me encontraba yo en clase de laboratorio de estadística cuando me entraron ganas de realizar esta noche una cena especialmente elaborada .La cena de esta noche (9 de marzo de 2010) ha acabado siendo tan compleja que se merecía un post con el menú.

Minibocadillos (estilo 100 montaditos) acompañados de patatas fritas , con los siguientes sabores:

4 quesos (gouda, sandwich, untar, triangulos el caserío)
vegetal (mayonesa, jamon york y lechuga)
tomate con anchoas
catalana (jamón serrano, tomate y aceite de oliva)

6 Triángulos de queso el caserío empanados ,

3 empanados con pan (aprovechando una barra dura que tenía guardada) 3 empanados con galleta.

2 Empanadas de jamón york y queso con dos quesos diferentes

Jamón york y queso gouda
Jamón york y queso sandwich

Con la masa de empanada sobrante se ha realizado un rollito de jamón y queso

Acompañado de cerveza bien fresquita

El postre dependerá del gusto del consumidor.

Buen provecho

Me lo estoy imaginando, bastante tiempo después de que McDonald’s comenzase con la venta de hamburguesas de prestigio, ahora une sus fuerzas a Apple para promocionar cada uno su producto, porque el nombre no es pura coincidencia…

El día que McDonald’s saque la hamburguesa Ubuntu me tenéis allí el primero.

Ya son varios los anuncios que vemos por televisión de Ikea, de donde caben 1 caben 2, o donde caben 2 caben 3. Para ahorrarle trabajo a los de Ikea creando anuncios tipo “donde cabe N caben N+1” vamos a demostrarlo por inducción (ya que si algo nos ha enseñado Teoría de Autómatas y Lenguajes Formales(TALF) es nada), de este modo podrán crear un anuncio genérico y no tener que preocuparse más.

Suponemos la operación X := Y es una operación que define que donde caben X caben Y

Demostrar : (N) := (N+1)

Caso base: Tenemos demostrado el caso base para N=1, a través del último anuncio que apareció (donde cabe 1 caben 2).

(1) := (1+1)
(1) := (2)

hipótesis de inducción : Suponemos la siguiente hipótesis de inducción

(N) := (N+1)

paso inductivo:

(N+1) := (N+1+1)
(N+1)-1 := (N+1+1)-1 Nos lo sacamos de la manga, como todo buen lenguaje formal
(N) := (N+1)

Por lo que llegamos a la hipótesis de inducción y demostramos que se cumple que para todo N Natural donde caben N caben N+1

De nada, Ikea.

Estudiar es un rollo, prueba de ello es que en los momentos de estudios es cuando más inspirado me encuentro para hacer posts. Un ejemplo es cuando hace unos dias me encontraba estudiando Técnicas de Organización Empresarial (a.k.a. TOE) y visualicé la siguiente definición (página 8 tema 9: subsistema financiero I)

“Letras: documento cambiario donde se contiene un mandato de pago hecho por el librador al librado al favor del tenedor”

Tras esa definición la imagen que me vino a la mente fue la siguiente

Posteriormente, una pregunta se apoderó de mi “¿Para qué necesita documentos un tenedor?”

Córtate las uñas de los pies.