From Security to Dependability

Thinking in how to make more exciting the work in Fluidsignal Group, I found this nice paper that open me eyes to a wider world: dependability (fiabilidad).

Microrebooting and crash-only application

 Microrebooting
“Employing reboot-based recovery does not mean that the root causes of failures should not be identified and fixed. Rebooting simply provides a separation of concerns between diagnosis and recovery, consistent with the observation that the former is not always a prerequisite for the latter. Moreover, attempting to recover a reboot-curable failure by anything other than a reboot entails the risk of taking longer and being more disruptive than a reboot would have been in the first place, thus hurting availability.”
Keep It Simple, Stupid.

TCP/IP stacks

Interesting link about small TCP/IP stack.

Instrumentation of Linux Kernel

Reading the Diplom Thesis of one of the members of TU Dresden Operating System Group, I found this interesting link about instrumentation of the linux kernel.  This tool should be take in consideration in my next operating classes, if exist.

First Colombian company with ISO-27001:2005

Today I have very good news from Colombia: Fluidsignal Group got yesterday the certification of his Information Security Management System (ISMS) according to the regulations of the international standard ISO-27001:2005. The company is the first in Colombia obtaining this certificate. I am very glad of it. Thanks to all the people that help to achieve this goal.

First movie in one month and a half

Today on the Honors Master Seminar we saw a very good Romanian movie called Filantropica.  May be you could see it from Colombo Americano, I encourage to everybody to see this movie.

SOAP sucks

The biggest project when I was worked is based on Java + SOAP + Python on a distributed environment. This article describes perfectly our biggest problems, please take into consideration.

El momento mas feliz desde hace 1 mes

Despues de un fin de semana complejo, como todos los que se viven aqui, llego a leer correo para buscar las voces de aliento que tanta fuerza me dan aqui, de repente leo un correo de mi hermano que me hace simplemente saltar como un loco, brincar de alegria, contar la historia a Miguel como si yo mismo hubiese estado en el estadio, gritaba duro y todo el mundo me miraba extranado, simplemente es el momento mas feliz de toda mi estancia aqui.  Comparto con todos ustedes el correo de mi hermano:

Subject:  Larga vida a Siciliano

Que partido!! Yo creo que ha sido el partido de millos que mas me ha puesto a sufrir…eh ave maría…. Lleno el campin, millos con la mision de limpiar la imagen de hace 8 dias, y un primer tiempo de millos y asi el partido fue normal hasta mas o menos la mitad del segundo tiempo, cuando ya millos ganaba 1-0 y había pasado por un festival de desperdicio de goles, el caso es que a esas alturas del partido a henao le dieron calambres y no pudo seguir, tonces entro Cuadrado (un arquero joven pero calidosito) y como a los tres minutos de haber entrado se lizó haciendo un saque de puerta y el balón quedo dividido entre baloyes y Conde, pero con ventaja pa baloyes, Mejor dicho, eso era gol, pero a cuadrado le toco hacer la falta, una falta que dejo la situcion asi: penal a favor de DIM y roja directa pal segundo arquero de Millos!!!!! Que situación mas brava, ya no habia tercer arquero..y el tigre que es el que tapa estaba sancionado (imaginate porque? Si, por pegarle a un jugador hace dos partidos ….la cosa fue que le tocó a ciciliano ponerse los guantes y pararse pa que lo fusilaran…pero como ya te lo estaras imaginando, TAPÓ EL PENAL….que tapada…pura tapada del sensei Higuita…con meneada del cuerpo pa un lado y todo..eso hasta le dieron picos, lo abrasaron y ese estadio casi se cae, y aca en la casa tambien..jeje..que alegria..…..de hay pa delante no fue sino apretada de culo, porque ya millos tenia 10, se les veia que no daban mas, y aunque llegaron  la siguieron botando….y medellín patiaba al arco y patiaba pero Ciciliano se lucia…la cámara temblaba con la brincadera del Campin, 90 minutos y 3 de adicion, aunque la verdad me esperaba mas, porque henao quemo mucho tiempo, pero casi no pita!!!…te lo juro que me demore poray 10 minutos para reponer mis niveles de adrenalina y de todas esas cosas que a uno se le suben y que le hacen sentir que el corazon lo tiene en la boca…..jaja….bueno…esto lo hace decir a uno Que viva el futbol…jajajaja….esto de tu estar por alla, ha sacado mi parte de cronista deportivo jajajaj…no podia dejar de contarte esto….

Chao pues, tengo que seguir estudiando…te amo mucho

Proofs

Trying to face my biggest weaknesses I found these very good papers about building and writing proofs, one of them was written by Leslie Lamport, that for my surprise works now at Microsoft Research. In the Lamport’s paper he claims for a need to structured language to build mathematical proofs more readable and less error prone:

1. Introduction to mathematical arguments
2. How to write a proof
3. Structuring mathematical proofs

Stuck for a while

In the recent three weeks I had homeworks like for a whole Colombian semester.  Additionally, I was stuck for a couple of days with these things:

1. Operational semantics: The light for the problem was this Catalin’s sentence:  “… all rules directly apply to the whole term, some of them however (the descent rules) allow you to reduce the whole term by reducing a subterm, when reducing the subterm however … you still apply the rules to the whole thing“
2. Parallel prefix computation for conversion between unary and halfunary bit vector encodings:  The ligth for this problem came from here
3. Fanout:  This one is not so complicated but this link is usefule anyway.