«Producir y nutrir,
producir y no poseer,
obrar y no retener,
acrecentar y no regir,
son el misterio de la vida.»

Lao Tse hablando de procomunes en el siglo VI ac.

Desarrollo de software a mitad de precio

2009-03-22 00:00:00 +0100

Los debates sobre lenguajes de programación son y seguirán siendo recurrentes y probablemente inefectivos. Recientemente Sergio Montoro se preguntaba por las diferencias entre Ruby on Rails y Java. En estos casos me viene a la memoria lo que leí sobre el desarrollo del software para el Super Hercules (las negritas son mías):

The Lockheed C-130J is particularly interesting because it was developed using a formal "correctness by construction" process using the SPARK Ada-based toolset from Praxis High Integrity Systems. The experience with that process was that, compared to industry norms for developing safety-critical avionics software, the C-130J development had a 10 times lower error rate, four times greater productivity, half as expensive a development process, and four times productivity increase in a subsequent project thanks to substantial reuse. NASA has also used Ada extensively for satellite software, and documented significantly higher reuse than their prior non-Ada systems.

Fuente: The A-Z of Programming Languages: Ada

Cualquier interesado en lenguajes de programación convendrá en que Ada apesta a lenguaje antiguo. Y con SPARK la cosa parece peor: es un subconjunto de Ada apto para ser analizado automáticamente y a primera vista parece el lenguaje más triste y simplón que pueda uno encontrarse. Y eso sin referirnos a los argumentos de los amantes de los lenguajes de tipos dinámicos.

Y yo, que gracias a dios no programo, me pregunto ¿qué se puede decir ante estos argumentos? Me pemito repetirlos porque me descuadro con sólo recordarlos:

10 times lower error rate
four times greater productivity
half as expensive a development process

¿Alguien recuerda proyectos de software que simplemente puedan decirse que han costado la mitad?

Yo no.

Referencias:

Static Code analysis on the C-130J Hercules Safety-Critical Software, K. J. Harrison, Proc. Int. Systems Safety Conf. 1999.

Moonlight 1.0.1 packaged for Fedora 10

2009-03-14 00:00:00 +0100

I've just uploaded the Moonlight RPMS for Fedora. I've compiled and (lightly) tested them for the 10 release. Don't know about other versions.

For installing the plugin you only need to have configured my repo and then use:

[olea@lisergia ~]$ sudo yum install moonlight-plugin

You can test your instalation with the websites referenced by the Mono Project. As expected it works with Galeon, Epiphany and Firefox. If you find something to fix please drop me a line.

Problema con la webcam y Skype

2009-03-08 00:00:00 +0100

Parece que es bastante común el problema de poder hacer videoconferencia full duplex con Skype. Por algún motivo, que realmente no me interesa, algunos usuarios cuando abrimos nuestra webcam hacemos explotar a la aplicación.

Pues googleando he podido encontrar una solución y esta entrada es sólo para compartirla.

En mi caso solamente hay que invocar a skype con esta configuración de bibliotecas previas que deben cargarse antes de la aplicación:

[olea@lisergia ~]$ cat ~/bin/skype 
LD_PRELOAD=/usr/lib/libv4lconvert.so.0:/usr/lib/libv4l/v4l2convert.so skype

A partir de ahí no se aprecía problema particular: todo funciona aparentemente según lo esperado.

Por si le resulta útil a alguien mi configuración es:

[olea@lisergia ~]$ rpm -qf /usr/lib/libv4lconvert.so.0 /usr/lib/libv4l/v4l2convert.so /usr/bin/skype /etc/fedora-release 
libv4l-0.5.8-1.fc10.i386
libv4l-0.5.8-1.fc10.i386
skype-2.0.0.72-fc5.i586
fedora-release-10-1.noarch