Le chiffre de 5000 testeurs provient du CEO de Trolltech pour justifier la version GPL.
Sur Qt, les beta testeur faisaient surtout de l'intégration dans l'outil qui utilisaient la lib. Cela représente des tests de bien plus haut niveau que les tests unitaires qui sont fait d'habitude sur un soft classique. Les problèmes, les plus sérieux, sont en général dans l'interaction des modules à haut niveau et l"interprétation des specs.
De plus, l'architecture du soft a une influence considérable sur l'efficacité ou inefficacité du test: problème d'observabilité, problème de contrôlabilité, explosion des branches, etc...
Je serais curieux de savoir à quel niveau MS utilise la couverture de code ou tout ce qui est définit dans les normes qualités les plus strict en matière de SW (DO178b, EN50128,...)
Je crois que tu te rend pas compte de la différence entre une production chinoise de carte par exemple à 10€/ carte et sa version prototype à plus de 100€. Il y a une énorme différence.
Et je ne parle pas du fait, qu'il n'existe plus aucune ligne de fabrication française pour faire des volumes moyens (10000 pièces/mois).
Le libre fait beaucoup de travail en doublon/triplon/décuplon...
Et le prioritaire n'en fait pas ? Et le propriétaire ne fait jamais de "death by commity" ?
Est-ce Linux aurait pu exister dans un monde uniquement propriétaire ?
Quand du parallélisme entre en jeux, surtout quand c'est massif, dupliquer du travail permet d'aller globalement plus vite pour éviter les points de synchronisation. C'est à la base des micro-architectures électronique, mais cela se vérifie aussi dans l'écriture de code.
Le principe est que si la force de travail croit en 0(n), les besoins de communications croient en 0(n²).
Trolltech estimait que le suivi des version beta de Qt équivalait au travail d'un service de Q&A de 5000 personnes.
Le principe du libre est de dire qu'à effort comparable avec le proprio, le résultat final sera mieux. Car les utilisateurs ont le code source. Ce n'est pas une condition nécessaire, mais cela aide (cf mozilla).
Quand l'armée française audite le code de clamwin pour "fortifier" son code source, quel éditeur d'antivirus peut en dire autant ?
Même si tu as un buffer overflow, il faut passer par dessus la protection nx, par dessus la randomisation d'adresse, voir les protections par canary. C'est déjà une autre pair de manche.
Comment marche le truc ? J'imagine bien la génération de plein d'arbre de code source à compiler. Mais comment faire pour "lancer" le noyau pour ensuite faire le teste ? Il faut tout faire à la main ?
On ne parle pas du même ordre de grandeur temporel. La faillite d'un état se joue en quelques mois, la valorisation de son infrastructure en plusieurs années !
Pour l'instant, il s'agit de sauver les meubles avant le passage de l'huissier. Sauf que pour les états, il n'y a pas d'huissier mais un banquier qui vient pour prêter encore de l'argent.
Il est possible aussi de compresser un sous-ensemble de clef-valeur et de faire un décodage de la clef en 2 temps.
Il faut savoir que Linux compresse une partie des pages en mémoires et les garde en RAM, avant d'aller écrire le swap sur disque. L'idée est que la latence de décodage sera toujours plus rapide qu'un "seek" de disque.
Je voix qu'il y a des études pour gagner de la place mémoire. Est-ce qu'il y a des hack qui utilise des algorithmes de compression ? Il m'avait semblé que des algo comme LZO avait été fait pour ça (gagner de l'espace RAM sans que cela coute trop chère en CPU).
Tu as raisons le FMI et l'Europe n'aurait rien du faire et laisser la Grèce se démerder avec les banques. Celles-ci aurait sans doute perdu leur chemises à ne pas être remboursé.
Le mois suivant, plus aucun fonctionnaire n'aurait été payé. J'aurais bien aimé voir la gueule de ceux qui se plaigne aujourd'hui du FMI...
Si on rajoute les révoltes qui montent en Grèce et en Irlande sur les plans assainissements des finances publiques, on a de quoi mettre le feu aux poudres.
D'ailleurs, c'est marrant que les jeunes Grecs à 600€/mois ne tapent pas sur la classe moyenne supérieur qui fraude le fisc a un niveau de cinglé (profession libéral, commerçant, etc...).
Je traites les gens d'obèses, c'est une façon imagée de parler du fait que même un jeune de banlieue est un privilégié par rapport à 80% de la population mondiale. Qu'il bénéficie de moyen d'éducation, de transport, et des moyens matériels et financiers importants.
On peut aller à la marche suivante de la pyramide des besoins. Le fait de ne pas avoir d'avenir est aussi une source potentiel de conflit. Les médias ont traduit cela en demande de liberté, mais le tunisien qui s'est immolé ne se voyait pas d'avenir.
La différence est que les jeunes représentes 50% des populations de l'Afrique et pas grand chose en Europe. Mais on a toujours l'impression que les états non plus besoin de leur jeunesse pour fonctionner.
Oui et non :) Ocaml est vieux mais franchement utilisable. Cduce et Lisaac ne sont pas fini mais dispose d'atouts non négligeables. C'est dommage qu'il n'y est pas plus de réutilisation.
On m'a déjà donné des réponses là dessus : les équipes n'ont aucun intérêt à travailler ensemble car cela reviendrait à n'avoir qu'un seul budget d'équipe au lieu de 2, chaque scientifique veut garder son bébé (c'est une vision de la guerre d'expert), le travail d'équipe s'accommode mal de leur obligation de publication,etc...
Je ne dis pas qu'il ne se connaissent pas certain. Mais j'ai appris l'existence de Cduce au concepteur de Lisaac et de smartEffel (qui a été le directeur de thèse du précédent, donc ils se connaissaient). Et le concepteur de Ocaml ne connaissait pas Lisaac.
J'avoue que je pars du principe que la difficulté en informatique est dans la combinaison des fonctionnalités et que donc mettre au point son joujou dans son coin est beaucoup plus facile que de l'assembler avec autres choses.
En plus, la plus part des langages sont issues directement de la recherche. Ce n'est pas les industriels qui vont faire les fusions. D'où mon étonnement.
Dans les boites que j'ai connu, comme Texas Instruments, le site contenait ~1000 ingénieurs. Avec 1 chef pour 100 personnes, il y a peu de chance que tous passe dans l'encadrement (sauf les X ?).
J'ai plutôt l'impression que les ingénieurs prennent la place de techniciens.
Un langage n'a pas vraiment de domaine. Je sais que la mode est à un langage dédié par application mais que dans les faits, vu le temps de formation, on essaie de mettre du java partout.
Cduce manipule du xml, en général, on veut manipuler du xml pour faire autre chose. Le but de tous ces langages est de rendre le développement logiciel le plus efficace possible.
A part dans des domaines vraiment différent qui utilise VHDL et verilog (tient, d'ailleurs, le systemC c'est du c++), en général, le langage utilisé est celui connu (java partout) ou imposé (javascript sur le navigateur) ou le C pour les lib. Les outils de script sont utilisé quand il faut aller vite. Ce n'est pas vraiment une question de domaine mais plus de contexte du projet.
Donc, un langage ultime qui fait le café, tout le monde achètera.
Je parle bien uniquement de la recherche en informatique concernant la sureté de fonctionnement.
La recherche a l'impression de se focaliser sur le cas général. L'exemple typique est le problème de l'arrêt qui l'air de faire croire que rien n'est possible dans le domaine.
C'était amusant aussi de décrire le standard MISRA C à un docteur en informatique, pour lui c'était inconcevable que des programmes informatiques puissent exister et être utile sans allocation dynamique de mémoire ou fonctions récursives. Et pourtant tous les avions, train, grue, processe industriel fonctionnent ainsi. Ce genre de programme n'a pas besoin des structures de données comme les arbres ou les graphes qui, eux, nécessitent la récursion. Et pourtant les preuves de programmes butent sur ce genre de choses dont on peut se passer. Évidement si quelqu'un trouvent une solution général au problème de la preuve de programme, tout le monde applaudira.
Je ne pensais pas du tout à la rentabilité mais au fait de résoudre des problèmes concret rencontré tous les jours, par rapport à trouver une solution définitive qui a l'air d'être impossible à obtenir.
tu veux des commentaires par hot topic, un truc aussi dynamique ? Pourquoi ne pas utiliser le flux de log comme twitter ? Inutile de faire un truc hybride.
Le retour des boites que l'on mettais en page d'acceuil sur le coté qui contenait les titres des sites web ou j'allais souvent. (elle pourrait d'ailleurs contenir, par défaut, les titres des sites "amis" de linuxfr)
<i>Quand à cette voie « désignée comme la plus prestigieuse et qui mène aux meilleurs postes et aux meilleures carrières », on en revient toujours à ces histoires d'image, de réputation (et de cooptation, en plus), pas forcément corrélée avec une qualité de formation (tout au plus une certaine qualité de sélection).</i>
Cela n'est pas corrélé avec la qualité de la formation, j'ai rencontré suffisamment d'universitaire compétent pour m'en rendre compte :) Par contre, au niveau de débouché de chaque formation, cela n'est pas qu'une question de réputation, mais de fait. Si un DESS arrive à prendre un poste destiné à un ingénieur, il n'aura pas le même salaire !
Il y a des effets pervers, mais cela n'a rien avoir avec une soi-disante volonté de rester adolescent des lycéens. C'était juste pour pointer ce coté méprisant du rapport.
[^] # Re: Solution libre
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Avec Android, vous en avez plus pour votre argent. Évalué à 4.
Le chiffre de 5000 testeurs provient du CEO de Trolltech pour justifier la version GPL.
Sur Qt, les beta testeur faisaient surtout de l'intégration dans l'outil qui utilisaient la lib. Cela représente des tests de bien plus haut niveau que les tests unitaires qui sont fait d'habitude sur un soft classique. Les problèmes, les plus sérieux, sont en général dans l'interaction des modules à haut niveau et l"interprétation des specs.
De plus, l'architecture du soft a une influence considérable sur l'efficacité ou inefficacité du test: problème d'observabilité, problème de contrôlabilité, explosion des branches, etc...
Je serais curieux de savoir à quel niveau MS utilise la couverture de code ou tout ce qui est définit dans les normes qualités les plus strict en matière de SW (DO178b, EN50128,...)
"La première sécurité est la liberté"
[^] # Re: Dommage
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Sortie de la version 3.4 du « Projet Armadeus ». Évalué à 5.
Je crois que tu te rend pas compte de la différence entre une production chinoise de carte par exemple à 10€/ carte et sa version prototype à plus de 100€. Il y a une énorme différence.
Et je ne parle pas du fait, qu'il n'existe plus aucune ligne de fabrication française pour faire des volumes moyens (10000 pièces/mois).
"La première sécurité est la liberté"
[^] # Re: Un petit contenu accessible aux neu-neux ?
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Presentation "Git Bisect and Testing" au GTAC 2010. Évalué à 2.
Le mail en question ne dit pas comment il boot une autre machine avec un nouveau kernel.
"La première sécurité est la liberté"
[^] # Re: Solution libre
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Avec Android, vous en avez plus pour votre argent. Évalué à 2.
Le libre fait beaucoup de travail en doublon/triplon/décuplon...
Et le prioritaire n'en fait pas ? Et le propriétaire ne fait jamais de "death by commity" ?
Est-ce Linux aurait pu exister dans un monde uniquement propriétaire ?
Quand du parallélisme entre en jeux, surtout quand c'est massif, dupliquer du travail permet d'aller globalement plus vite pour éviter les points de synchronisation. C'est à la base des micro-architectures électronique, mais cela se vérifie aussi dans l'écriture de code.
Le principe est que si la force de travail croit en 0(n), les besoins de communications croient en 0(n²).
Trolltech estimait que le suivi des version beta de Qt équivalait au travail d'un service de Q&A de 5000 personnes.
"La première sécurité est la liberté"
[^] # Re: Solution libre
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Avec Android, vous en avez plus pour votre argent. Évalué à 9.
Le principe du libre est de dire qu'à effort comparable avec le proprio, le résultat final sera mieux. Car les utilisateurs ont le code source. Ce n'est pas une condition nécessaire, mais cela aide (cf mozilla).
Quand l'armée française audite le code de clamwin pour "fortifier" son code source, quel éditeur d'antivirus peut en dire autant ?
"La première sécurité est la liberté"
[^] # Re: Solution libre
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Avec Android, vous en avez plus pour votre argent. Évalué à 5.
Même si tu as un buffer overflow, il faut passer par dessus la protection nx, par dessus la randomisation d'adresse, voir les protections par canary. C'est déjà une autre pair de manche.
"La première sécurité est la liberté"
[^] # Re: Un petit contenu accessible aux neu-neux ?
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Presentation "Git Bisect and Testing" au GTAC 2010. Évalué à 3.
J'ai du mal à imaginer un test lancé par un script qui démarre un kernel. Il le tourne dans une VM ?
"La première sécurité est la liberté"
[^] # Re: ktest
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Presentation "Git Bisect and Testing" au GTAC 2010. Évalué à 2.
Comment marche le truc ? J'imagine bien la génération de plein d'arbre de code source à compiler. Mais comment faire pour "lancer" le noyau pour ensuite faire le teste ? Il faut tout faire à la main ?
"La première sécurité est la liberté"
[^] # Re: suis fatigué...
Posté par Nicolas Boulay (site web personnel) . En réponse au message Comment faire un duel boot ?. Évalué à 2.
J'imagine que Tux crie au moment où l'image mentale de sa mère apparait... avec son père.
"La première sécurité est la liberté"
[^] # Re: Précariat
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Les SSII, précurseurs d'un modèle social. Évalué à 2.
On ne parle pas du même ordre de grandeur temporel. La faillite d'un état se joue en quelques mois, la valorisation de son infrastructure en plusieurs années !
Pour l'instant, il s'agit de sauver les meubles avant le passage de l'huissier. Sauf que pour les états, il n'y a pas d'huissier mais un banquier qui vient pour prêter encore de l'argent.
"La première sécurité est la liberté"
[^] # Re: empreinte mémoire ?
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Sortie de Redis en version 2.2. Évalué à 4.
Il est possible aussi de compresser un sous-ensemble de clef-valeur et de faire un décodage de la clef en 2 temps.
Il faut savoir que Linux compresse une partie des pages en mémoires et les garde en RAM, avant d'aller écrire le swap sur disque. L'idée est que la latence de décodage sera toujours plus rapide qu'un "seek" de disque.
"La première sécurité est la liberté"
# empreinte mémoire ?
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Sortie de Redis en version 2.2. Évalué à 3.
Je voix qu'il y a des études pour gagner de la place mémoire. Est-ce qu'il y a des hack qui utilise des algorithmes de compression ? Il m'avait semblé que des algo comme LZO avait été fait pour ça (gagner de l'espace RAM sans que cela coute trop chère en CPU).
"La première sécurité est la liberté"
[^] # Re: Précariat
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Les SSII, précurseurs d'un modèle social. Évalué à 4.
Tu as raisons le FMI et l'Europe n'aurait rien du faire et laisser la Grèce se démerder avec les banques. Celles-ci aurait sans doute perdu leur chemises à ne pas être remboursé.
Le mois suivant, plus aucun fonctionnaire n'aurait été payé. J'aurais bien aimé voir la gueule de ceux qui se plaigne aujourd'hui du FMI...
"La première sécurité est la liberté"
[^] # Re: Le danger guette
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Les SSII, précurseurs d'un modèle social. Évalué à 3.
Si on rajoute les révoltes qui montent en Grèce et en Irlande sur les plans assainissements des finances publiques, on a de quoi mettre le feu aux poudres.
D'ailleurs, c'est marrant que les jeunes Grecs à 600€/mois ne tapent pas sur la classe moyenne supérieur qui fraude le fisc a un niveau de cinglé (profession libéral, commerçant, etc...).
"La première sécurité est la liberté"
[^] # Re: Le danger guette
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Les SSII, précurseurs d'un modèle social. Évalué à 3.
Je traites les gens d'obèses, c'est une façon imagée de parler du fait que même un jeune de banlieue est un privilégié par rapport à 80% de la population mondiale. Qu'il bénéficie de moyen d'éducation, de transport, et des moyens matériels et financiers importants.
On peut aller à la marche suivante de la pyramide des besoins. Le fait de ne pas avoir d'avenir est aussi une source potentiel de conflit. Les médias ont traduit cela en demande de liberté, mais le tunisien qui s'est immolé ne se voyait pas d'avenir.
La différence est que les jeunes représentes 50% des populations de l'Afrique et pas grand chose en Europe. Mais on a toujours l'impression que les états non plus besoin de leur jeunesse pour fonctionner.
"La première sécurité est la liberté"
[^] # Re: Les jeunes fuient les filières scientifiques ?
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Populariser la science informatique. Évalué à 2.
Oui et non :) Ocaml est vieux mais franchement utilisable. Cduce et Lisaac ne sont pas fini mais dispose d'atouts non négligeables. C'est dommage qu'il n'y est pas plus de réutilisation.
On m'a déjà donné des réponses là dessus : les équipes n'ont aucun intérêt à travailler ensemble car cela reviendrait à n'avoir qu'un seul budget d'équipe au lieu de 2, chaque scientifique veut garder son bébé (c'est une vision de la guerre d'expert), le travail d'équipe s'accommode mal de leur obligation de publication,etc...
"La première sécurité est la liberté"
[^] # Re: Les jeunes fuient les filières scientifiques ?
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Populariser la science informatique. Évalué à 2.
Je ne dis pas qu'il ne se connaissent pas certain. Mais j'ai appris l'existence de Cduce au concepteur de Lisaac et de smartEffel (qui a été le directeur de thèse du précédent, donc ils se connaissaient). Et le concepteur de Ocaml ne connaissait pas Lisaac.
"La première sécurité est la liberté"
[^] # Re: Les jeunes fuient les filières scientifiques ?
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Populariser la science informatique. Évalué à 2.
J'avoue que je pars du principe que la difficulté en informatique est dans la combinaison des fonctionnalités et que donc mettre au point son joujou dans son coin est beaucoup plus facile que de l'assembler avec autres choses.
En plus, la plus part des langages sont issues directement de la recherche. Ce n'est pas les industriels qui vont faire les fusions. D'où mon étonnement.
"La première sécurité est la liberté"
[^] # Re: Les jeunes fuient les filières scientifiques ?
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Populariser la science informatique. Évalué à 2.
Dans les boites que j'ai connu, comme Texas Instruments, le site contenait ~1000 ingénieurs. Avec 1 chef pour 100 personnes, il y a peu de chance que tous passe dans l'encadrement (sauf les X ?).
J'ai plutôt l'impression que les ingénieurs prennent la place de techniciens.
"La première sécurité est la liberté"
[^] # Re: Les jeunes fuient les filières scientifiques ?
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Populariser la science informatique. Évalué à 2.
Un langage n'a pas vraiment de domaine. Je sais que la mode est à un langage dédié par application mais que dans les faits, vu le temps de formation, on essaie de mettre du java partout.
Cduce manipule du xml, en général, on veut manipuler du xml pour faire autre chose. Le but de tous ces langages est de rendre le développement logiciel le plus efficace possible.
A part dans des domaines vraiment différent qui utilise VHDL et verilog (tient, d'ailleurs, le systemC c'est du c++), en général, le langage utilisé est celui connu (java partout) ou imposé (javascript sur le navigateur) ou le C pour les lib. Les outils de script sont utilisé quand il faut aller vite. Ce n'est pas vraiment une question de domaine mais plus de contexte du projet.
Donc, un langage ultime qui fait le café, tout le monde achètera.
"La première sécurité est la liberté"
[^] # Re: Les jeunes fuient les filières scientifiques ?
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Populariser la science informatique. Évalué à 1.
Je parle bien uniquement de la recherche en informatique concernant la sureté de fonctionnement.
La recherche a l'impression de se focaliser sur le cas général. L'exemple typique est le problème de l'arrêt qui l'air de faire croire que rien n'est possible dans le domaine.
C'était amusant aussi de décrire le standard MISRA C à un docteur en informatique, pour lui c'était inconcevable que des programmes informatiques puissent exister et être utile sans allocation dynamique de mémoire ou fonctions récursives. Et pourtant tous les avions, train, grue, processe industriel fonctionnent ainsi. Ce genre de programme n'a pas besoin des structures de données comme les arbres ou les graphes qui, eux, nécessitent la récursion. Et pourtant les preuves de programmes butent sur ce genre de choses dont on peut se passer. Évidement si quelqu'un trouvent une solution général au problème de la preuve de programme, tout le monde applaudira.
Je ne pensais pas du tout à la rentabilité mais au fait de résoudre des problèmes concret rencontré tous les jours, par rapport à trouver une solution définitive qui a l'air d'être impossible à obtenir.
"La première sécurité est la liberté"
[^] # Re: super idée
Posté par Nicolas Boulay (site web personnel) . En réponse à l’entrée du suivi Une nouvelle page : la fusion des journaux et de la tribune (genre twitter). Évalué à 2 (+0/-0).
tu veux des commentaires par hot topic, un truc aussi dynamique ? Pourquoi ne pas utiliser le flux de log comme twitter ? Inutile de faire un truc hybride.
"La première sécurité est la liberté"
[^] # Re: s/RSS/Atom/ ?
Posté par Nicolas Boulay (site web personnel) . En réponse à l’entrée du suivi retour des boites RSS. Évalué à 2 (+0/-0).
Le retour des boites que l'on mettais en page d'acceuil sur le coté qui contenait les titres des sites web ou j'allais souvent. (elle pourrait d'ailleurs contenir, par défaut, les titres des sites "amis" de linuxfr)
"La première sécurité est la liberté"
[^] # Re: Les jeunes fuient les filières scientifiques ?
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Populariser la science informatique. Évalué à 3.
<i>Quand à cette voie « désignée comme la plus prestigieuse et qui mène aux meilleurs postes et aux meilleures carrières », on en revient toujours à ces histoires d'image, de réputation (et de cooptation, en plus), pas forcément corrélée avec une qualité de formation (tout au plus une certaine qualité de sélection).</i>
Cela n'est pas corrélé avec la qualité de la formation, j'ai rencontré suffisamment d'universitaire compétent pour m'en rendre compte :) Par contre, au niveau de débouché de chaque formation, cela n'est pas qu'une question de réputation, mais de fait. Si un DESS arrive à prendre un poste destiné à un ingénieur, il n'aura pas le même salaire !
"La première sécurité est la liberté"
[^] # Re: Les jeunes fuient les filières scientifiques ?
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Populariser la science informatique. Évalué à 5.
Il y a des effets pervers, mais cela n'a rien avoir avec une soi-disante volonté de rester adolescent des lycéens. C'était juste pour pointer ce coté méprisant du rapport.
"La première sécurité est la liberté"