Coverity est une société faisant des outils d'analyse de code pour détection de vulnérabilité. Ils ont mis en place en avril 2006 une page qui montre le nombre de vulnérabilités sur différents projets Open Source en analysant le code contenu dans leur repository CVS/SVN. La page est mise a jour régulièrement.
KDE vient de repasser à 0 vulnérabilité et je voulais voir où en était Gnome depuis la dernière fois. Or, grande fut ma surprise de constater que Gnome n'est (…)
Journal Phonon et gstreamer : un voyage dans le temps
La trollosphere se déchaîne sur phonon depuis que Christian Schaller, un des auteurs de gstreamer l'a critiqué : http://blogs.gnome.org/view/uraeus/2006/05/11/0
On a droit comme d'habitude a un gros lot de commentaires de chocs niveau slashdot qui sont toujours aussi intelligents et bien argumentés :
- KDE est en train de se tirer une balle dans le pied
- phonon est une surcouche d'une surcouche déjà complexe donc ça va tout ralentir
- gstreamer assure, c'est débile de ne pas l'utiliser
et (…)
On a droit comme d'habitude a un gros lot de commentaires de chocs niveau slashdot qui sont toujours aussi intelligents et bien argumentés :
- KDE est en train de se tirer une balle dans le pied
- phonon est une surcouche d'une surcouche déjà complexe donc ça va tout ralentir
- gstreamer assure, c'est débile de ne pas l'utiliser
et (…)
Journal Topcoder
Bonjour cher journal,
Depuis un peu plus d'un mois, à la suite de la lecture d'un article sur kuroshin ( http://www.kuro5hin.org/story/2005/12/10/155850/89 ) je me suis inscrit sur topcoder :
http://www.topcoder.com/tc
Le principe est simple : une à deux fois par semaine, des épreuves sont proposées. Chaque épreuve est composée de 3 exercices, un facile, un moyen et un difficile, que l'on doit résoudre en moins d'une heure. Apres on dispose d'un quart d'heure pour observer le code de ses camarades (…)
Depuis un peu plus d'un mois, à la suite de la lecture d'un article sur kuroshin ( http://www.kuro5hin.org/story/2005/12/10/155850/89 ) je me suis inscrit sur topcoder :
http://www.topcoder.com/tc
Le principe est simple : une à deux fois par semaine, des épreuves sont proposées. Chaque épreuve est composée de 3 exercices, un facile, un moyen et un difficile, que l'on doit résoudre en moins d'une heure. Apres on dispose d'un quart d'heure pour observer le code de ses camarades (…)
Journal Partage de contact et de calendrier
Cher journal,
Dans ma PME, je souhaiterai mettre en place un systeme de partage de contact et de calendrier. Vous savez, le truc qu'on a en claquant des doigts avec Exchange + Outlook.
Ca doit marcher pour les commerciaux et pour moi, donc ca doit marcher sous windows. Les usages c'est :
- mon commercial regarde mon emploi du temps pour me caser un rendez-vous
- chacun rentre les contacts qu'il a pour les partager avec tout le monde
- (…)
Dans ma PME, je souhaiterai mettre en place un systeme de partage de contact et de calendrier. Vous savez, le truc qu'on a en claquant des doigts avec Exchange + Outlook.
Ca doit marcher pour les commerciaux et pour moi, donc ca doit marcher sous windows. Les usages c'est :
- mon commercial regarde mon emploi du temps pour me caser un rendez-vous
- chacun rentre les contacts qu'il a pour les partager avec tout le monde
- (…)
Journal Routeur de bonne qualite ?
Bon, je cherche un routeur de bonne qualite. Je travaille dans une PME ou je gere un reseau local de 6 personnes sur mon temps libre.
Il y a en gros 6 machines et un serveur. Le serveur doit etre joignable en ssh et http depuis l'exterieur. Les machines doivent pouvoir eventuellement etre joignable depuis l'exterieur pour faire du vnc (le top pour aider un client sur un probleme sans se deplacer).
Pour l'instant, j'avais achete un routeur netgear wifi (…)
Il y a en gros 6 machines et un serveur. Le serveur doit etre joignable en ssh et http depuis l'exterieur. Les machines doivent pouvoir eventuellement etre joignable depuis l'exterieur pour faire du vnc (le top pour aider un client sur un probleme sans se deplacer).
Pour l'instant, j'avais achete un routeur netgear wifi (…)
Journal Stage en python / Qt
Bonjour,
Alors voila, ma boite cherche des stagiaires en python et PyQt. Ca s'appelle InSeal (http://www.inseal.com)et c'est une start up qui a deux an et demi d'age (on a passe le cap le plus difficile des deux ans). C'est pour bosser sous windows et faire du logiciel close source, mais avec des technos libres. C'est toujours mieux que de faire du C#.NET . Bon, on cherche des developpeurs programmeurs codeurs, si possible avec un peu d'experience dans le (…)
Alors voila, ma boite cherche des stagiaires en python et PyQt. Ca s'appelle InSeal (http://www.inseal.com)et c'est une start up qui a deux an et demi d'age (on a passe le cap le plus difficile des deux ans). C'est pour bosser sous windows et faire du logiciel close source, mais avec des technos libres. C'est toujours mieux que de faire du C#.NET . Bon, on cherche des developpeurs programmeurs codeurs, si possible avec un peu d'experience dans le (…)
Journal Ecrivez a nos deputes
Voila la lettre que je viens d'envoyer a nos deputes.
Tous les lecteurs de Linuxfr devrait en envoyer une similaire.
Je tiens a la disposition de qui le demande la liste d'adresse email de deputes pour envoyer la lettre. Toutes les adresses ne marchent pas mais meme avec 20% d'echec, ca reste une bonne action.
Bougez-vous, c'est pas en lisant linuxfr qu'on lutte contre les brevets, il faut agir aupres de nos deputes. Envoyer la lettre avec la liste des (…)
Tous les lecteurs de Linuxfr devrait en envoyer une similaire.
Je tiens a la disposition de qui le demande la liste d'adresse email de deputes pour envoyer la lettre. Toutes les adresses ne marchent pas mais meme avec 20% d'echec, ca reste une bonne action.
Bougez-vous, c'est pas en lisant linuxfr qu'on lutte contre les brevets, il faut agir aupres de nos deputes. Envoyer la lettre avec la liste des (…)
Journal Lua, ca assure
Dans le cadre d'yzis (http://www.yzis.org),(...) je suis en train d'ecrire du code lua et d'embarquer une partie dans yzis. Je suis vraiment impressionne par la qualite de ce langage. Ca me rappelle un peu la philosophie unix par certains aspects.
Lua a un coeur extremement simple : des tables, des nombres, des strings, des booleens, des flottants et des fonctions. C'est du classique. La ou ca assure, c'est qu'a partir de ca, on peut faire des objets. Les tables (…)
Lua a un coeur extremement simple : des tables, des nombres, des strings, des booleens, des flottants et des fonctions. C'est du classique. La ou ca assure, c'est qu'a partir de ca, on peut faire des objets. Les tables (…)
Journal Enfin, je peux le dire: je recrute !!!
Ca fait deux ans que j'ai cree ma societe, InSeal, pour developper un OS pour carte a puce sans-contact. Apres deux ans de galeres et de batailles pour obtenir des partenariats, on en est finalement a un point ou on a besoin et surtout ou on a les moyens de recruter une ou deux personnes en plus.
C'est vraiment une etape importante pour nous et je peux vous dire que ca m'a coute pas mal d'heures de stress pour en (…)
C'est vraiment une etape importante pour nous et je peux vous dire que ca m'a coute pas mal d'heures de stress pour en (…)
Journal Tests unitaires et faineantise
Un lecteur de linuxfr a dit "je ne fais pas de tests unitaires parce que je suis faineant". Cette remarque m'a profondement interpelle.
Donc laissez-moi vous raconter une parabole: l'autre jour, je rangeais les courses dans le frigidaire en discutant avec un pote, informaticien et faineant (pleonasme ?), comme moi. Il me voit enlever l'emballage en carton du paquet de 16 yaourts avant de les mettre au frigo.
- tu enleves l'emballage ?
- oui
- mais c'est beaucoup de (…)
Donc laissez-moi vous raconter une parabole: l'autre jour, je rangeais les courses dans le frigidaire en discutant avec un pote, informaticien et faineant (pleonasme ?), comme moi. Il me voit enlever l'emballage en carton du paquet de 16 yaourts avant de les mettre au frigo.
- tu enleves l'emballage ?
- oui
- mais c'est beaucoup de (…)
Journal Vous connaissez JavaCard ?
Bon, c'est la 2e fois que j'abuse du systeme des journaux de linuxfr, avec une certaine honte. Je cherche un mec qui a deja fait du JavaCard, pour une mission codage de environ un mois. Si ca vous tente, contactez-moi.
Bon, sinon, pour justifier ce journal, on va essayer de se racrocher au libre. Alors, voyons javacard, machine virtuelle java pas libre, c'est un peu ecule comme troll. Je dois pouvoir trouver mieux.
Alors, disons : est-ce que le logiciel (…)
Bon, sinon, pour justifier ce journal, on va essayer de se racrocher au libre. Alors, voyons javacard, machine virtuelle java pas libre, c'est un peu ecule comme troll. Je dois pouvoir trouver mieux.
Alors, disons : est-ce que le logiciel (…)
Journal couverture de code
Comment garantir que un jeu de test teste vraiment un programme ? Il y a la couverture de code, mais est-ce que ca donne vraiment des garanties suffisante ? Un programme avec une couverture de code de 100% peut-il ne pas etre teste a 100% ?
le cas simple:
Dans ce cas, si je couvre les lignes 1, 2 et 4, j'ai couvert tout mon programme.
Un autre cas:
le cas simple:
1. if (a == 0)
2. do_a();
3. else
4. do_b();
Dans ce cas, si je couvre les lignes 1, 2 et 4, j'ai couvert tout mon programme.
Un autre cas:
(…)
Journal pas d'inference de type a la ocmal en python
pour l'instant.
C'est un sujet qui me tarabustait depuis pas mal de temps. Pourquoi python ne serait-il pas capable de faire de l'inference de type et de relever des erreurs evidentes qui sont relevees dans d'autres langages a la compilation ? Je me disais que pychecker pourrait faire qqch de similaire.
Pour mettre dans le contexte:
def f1( a ): return a + 1
def f2():
b = f1( 3 ) # ca va marcher
c = f1( [] ) (…)
C'est un sujet qui me tarabustait depuis pas mal de temps. Pourquoi python ne serait-il pas capable de faire de l'inference de type et de relever des erreurs evidentes qui sont relevees dans d'autres langages a la compilation ? Je me disais que pychecker pourrait faire qqch de similaire.
Pour mettre dans le contexte:
def f1( a ): return a + 1
def f2():
b = f1( 3 ) # ca va marcher
c = f1( [] ) (…)
Journal Sommeil polyphasique
Bonjour journal,
Apres lecture d'un journal faisant reference a l' ``Uberman sleep schedule'' (
http://www.kuro5hin.org/story/2002/4/15/103358/720(...)), j'ai decide de tenter
qqch de similaire. Pour ceux qui ont la flemme de lire, l'uberman sleep
schedule propose de dormir 3 heures par jour seulement, sous forme de siestes
d'une demi-heure toutes les 4 heures. Apres qqs jours d'adaptation, ces
siestes de 30 minutes deviennent tres tres intenses et reprennent tous les
cycles normaux du sommeil en concentre, dont notamment le sommeil paradoxal
(…)
Apres lecture d'un journal faisant reference a l' ``Uberman sleep schedule'' (
http://www.kuro5hin.org/story/2002/4/15/103358/720(...)), j'ai decide de tenter
qqch de similaire. Pour ceux qui ont la flemme de lire, l'uberman sleep
schedule propose de dormir 3 heures par jour seulement, sous forme de siestes
d'une demi-heure toutes les 4 heures. Apres qqs jours d'adaptation, ces
siestes de 30 minutes deviennent tres tres intenses et reprennent tous les
cycles normaux du sommeil en concentre, dont notamment le sommeil paradoxal
(…)
Journal Cherche stagiaires pour faire du python, qt et C++
Je cherches des stagiaires geek pour quelques mois ou plus.
C'est pour faire du Qt, python et C++ pour des cartes a puces sans-contact (sujet plutot sympa). On est une startup, ambiance jeune et detendue, pas de prise de tete. Les locaux sont a cote de Denfert-Rocherau, a Paris.
Niveau experience, je prends des gens qui savent programmer, le diplome et les etudes etant pour moi des considerations subjectives. Bienvenu aux autodidactes s'il y en a.
Bon, le seul point (…)
C'est pour faire du Qt, python et C++ pour des cartes a puces sans-contact (sujet plutot sympa). On est une startup, ambiance jeune et detendue, pas de prise de tete. Les locaux sont a cote de Denfert-Rocherau, a Paris.
Niveau experience, je prends des gens qui savent programmer, le diplome et les etudes etant pour moi des considerations subjectives. Bienvenu aux autodidactes s'il y en a.
Bon, le seul point (…)