Je voulais signifier qu'on est loin d'avoir besoin de prouver que le code est correct pour découvrir ce genre de bug et pour que le test soit efficace.
Bon après c'est sûr que ça ne marche qu'avec un programme déterministe...
Enfin là ça n'a rien à voir avec la correction du code, on demande juste à ce qu'il fasse la même chose que la version précédente. Et là, la compléxité ne me semble pas insurmontable.
Après, si l'interface est trop complexe, c'est un autre problème, mais c'est indépendant de la complexité d'une preuve de code.
* ainsi que tous les contributeurs du libre, que ça soit par réalisation logicielle ou comme ici par diffusion (très bonne dépèche au passage) et explications de ces nouvelles technologies !
Ben je vais pouvoir dire que c'était mieux avant alors !
En fait, au delà de l'aspect repas, le fait de manger en groupe avait aussi un aspect social qui disparait totalement si l'on opte pour la solution tupperware. Cette coupure collective du midi, pour tout type de cantine, était à mon avis indispensable pour développer et entretenir l'esprit d'équipe ou de groupe.
Je suis maintenant aux États-unis, civilisation de l'âge du tupperware, et je vois maintenant la difficulté d'avoir une cohésion dans l'équipe même à grands renforts de formations et autres trainings à l'efficacité plus que douteuse, alors qu'un simple cassoulet serait des milliers de fois plus efficace et éviterait de fabriquer des boites en plastiques en grand nombre et aussi combattrait efficacement la mal-bouffe.
C'est triste cette individualisation de la société.
Ce qui est surtout anormal visiblement c'est la qualite de vos repas de RU, pas qu'en étant profs ou employés a la fac on puisse avoir un meilleur repas.
Pour ma part, j'ai toujours fréquenté des RU très corrects, meme si la qualité reste très inférieure à celle de certains restos d'entreprise (souvenirs du resto CNRS de Talence ...).
Par contre, maintenant que j'ai migré un peu plus à l'ouest, j'aimerai bien pouvoir manger au RU le midi...
n'empèche que j'ai voté utile, histoire de tenter d'éviter le massacre des valeurs de 68 tel qu'on le connait.
C'est quoi les valeurs de 68 ? Se dire rebel (ou rebeau ?) et maintenant se fondre dans le moule du système en étant directeur commercial dans une multi-nationale ?
Quel meilleur moyen pour couler OO que l'empecher d'ouvrir un format qui se repand rapidement ? (Office 2007 se vend comme des petits pains en ce moment).
Je croyais qu'on parlait du OOXML version "iso". Ceci dit, je pense que son support dans OOo est hélas indispensable.
Il me semblait avoir vu dans la doc que l'utilisation du paramètre bmaxdata était à proscrire en cas d'utilisation 64bits.
Quelqu'un sait s'il y a un intérêt à l'utiliser ?
Pour en revenir au "certifié Microsoft", ça veut dire quoi exactement ?
Car à te lire ça a l'air d'être un label qualité aussi utile que le "vu à la radio".
À la base c'était pas pour écrire une application ?
Et sinon, habituellement sur une installation linux fraîche on n'a pas X11 et je ne connais pas de wrapper pour "ln" en curses et gpm qui soient présents sur un système de base.
Avec la démocratisation des processeurs multicore, l'idée n'est pas si utopique (si suffisamment de mémoire est disponible).
De plus, si les deux traitements possèdent des phases communes, il est peut-être possible de ne les effectuer qu'une seule fois (mais je dois avouer que je n'ai pas du tout regardé les algos).
Pour la disponibilité je me permets d'ajouter que la plupart des gros serveurs de calculs que je connais ont l'air beaucoup plus fiable que les machines linux qui nécessitent trop souvent des maintenances (surement du fait de la jeunesse de linux dans ce domaine).
De plus, je trouve intéressant l"émulation créée par les unix proprio pour le libre, cela donne une bonne idée des fonctionnalités manquantes etc ... (je pense notamment aux différents paramètres pour changer le comportement de la machine, comme ceux de l'ordonnanceur ou de l'allocateur mémoire sous AIX).
Je suis tout à fait d'accord avec toi ; mais il reste qu'à l'heure actuelle le haut du top 500 reste occupé par des machines construites pour des simulations scientifiques et je voulais juste signifier que dans ce domaine, les vieux modèles de programmation sont loin d'être obsolètes (le fortran si par contre;)) et que l'on sait les utiliser dans codes exploitant correctement plusieurs milliers de processeurs.
Par contre, je me permets de douter de la qualité de programmation de tes benchs fortran.
[^] # Re: retour d'utilisation sur un eee
Posté par Cédric Chevalier (site web personnel) . En réponse à la dépêche Sortie de Puppy Linux 4.0. Évalué à 2.
Après, je suis sûrement trop habitué à ma petite ligne de commande ;)
[^] # Re: mode vi
Posté par Cédric Chevalier (site web personnel) . En réponse au message VIm 7 != VIm 6 ?. Évalué à 4.
En abrégé c'est la classe,
lali lali lalila lila ...
[^] # Re: pourquoi en 2 temps ?
Posté par Cédric Chevalier (site web personnel) . En réponse au journal Moyen de transport farfelu. Évalué à 7.
[^] # Re: N'importe quoi!
Posté par Cédric Chevalier (site web personnel) . En réponse au journal Moyen de transport farfelu. Évalué à 4.
[^] # Re: Faut lire...
Posté par Cédric Chevalier (site web personnel) . En réponse au journal Windows Seven et futurs abus de position dominante. Évalué à 10.
Techniquement, à certains endroits de la planète, ça l'est encore ;)
Ou sinon j'exige qu'on me rende mon morceau de week-end !
Sinon Windows7 pour 2010, j'y crois pas, les machines ne seront pas encore assez puissantes.
[^] # Re: intéressant
Posté par Cédric Chevalier (site web personnel) . En réponse à la dépêche Ulteo ou une nouvelle approche du système d'exploitation. Évalué à 2.
[^] # Re: Apple , HP ou Sun
Posté par Cédric Chevalier (site web personnel) . En réponse au journal Victoire de RMS sur Microsoft. Évalué à 2.
Bon après c'est sûr que ça ne marche qu'avec un programme déterministe...
[^] # Re: Apple , HP ou Sun
Posté par Cédric Chevalier (site web personnel) . En réponse au journal Victoire de RMS sur Microsoft. Évalué à 1.
Après, si l'interface est trop complexe, c'est un autre problème, mais c'est indépendant de la complexité d'une preuve de code.
[^] # Re: Apple , HP ou Sun
Posté par Cédric Chevalier (site web personnel) . En réponse au journal Victoire de RMS sur Microsoft. Évalué à 2.
[^] # Re: Non, ce sont des devs. Linux qui ont tenté de changer la licence
Posté par Cédric Chevalier (site web personnel) . En réponse au journal Atheros veut être compatible avec Linux. Évalué à 3.
Je dirai même qu'on présente ses excuses ...
[^] # Re: k-suite
Posté par Cédric Chevalier (site web personnel) . En réponse à la dépêche La virtualisation et le libre : où en est-on ?. Évalué à 2.
* ainsi que tous les contributeurs du libre, que ça soit par réalisation logicielle ou comme ici par diffusion (très bonne dépèche au passage) et explications de ces nouvelles technologies !
[^] # Re: Arrete de braire le cheuteumi
Posté par Cédric Chevalier (site web personnel) . En réponse au journal Lille, une ville sinistrée sur le plan des TIC?. Évalué à 5.
Monde de merde ...
[^] # Re: emacs vs vim
Posté par Cédric Chevalier (site web personnel) . En réponse au journal Pénis et logiciels, rapport de l'étude. Évalué à 0.
[^] # Re: Module noyau binaire
Posté par Cédric Chevalier (site web personnel) . En réponse au journal VMware et la GPL. Évalué à 4.
C'est pour attraper les ours ?
[^] # Re: feh et EXIF
Posté par Cédric Chevalier (site web personnel) . En réponse au journal Comparatif parti[ae]l des logiciels de visualisation d'image. Évalué à 8.
[^] # Re: Encore une fois, on se fout de notre gueule...
Posté par Cédric Chevalier (site web personnel) . En réponse au journal Corpus des fonctionnaires contre les étudiants. Évalué à 9.
En fait, au delà de l'aspect repas, le fait de manger en groupe avait aussi un aspect social qui disparait totalement si l'on opte pour la solution tupperware. Cette coupure collective du midi, pour tout type de cantine, était à mon avis indispensable pour développer et entretenir l'esprit d'équipe ou de groupe.
Je suis maintenant aux États-unis, civilisation de l'âge du tupperware, et je vois maintenant la difficulté d'avoir une cohésion dans l'équipe même à grands renforts de formations et autres trainings à l'efficacité plus que douteuse, alors qu'un simple cassoulet serait des milliers de fois plus efficace et éviterait de fabriquer des boites en plastiques en grand nombre et aussi combattrait efficacement la mal-bouffe.
C'est triste cette individualisation de la société.
--
Cédric, sevré de canard :(
[^] # Re: Encore une fois, on se fout de notre gueule...
Posté par Cédric Chevalier (site web personnel) . En réponse au journal Corpus des fonctionnaires contre les étudiants. Évalué à 6.
Pour ma part, j'ai toujours fréquenté des RU très corrects, meme si la qualité reste très inférieure à celle de certains restos d'entreprise (souvenirs du resto CNRS de Talence ...).
Par contre, maintenant que j'ai migré un peu plus à l'ouest, j'aimerai bien pouvoir manger au RU le midi...
[^] # Re: On est toujours le con d'un autre...
Posté par Cédric Chevalier (site web personnel) . En réponse à la dépêche Les députés ratifient les traités OMPI, mais les débats ne font que commencer. Évalué à 2.
C'est quoi les valeurs de 68 ? Se dire rebel (ou rebeau ?) et maintenant se fondre dans le moule du système en étant directeur commercial dans une multi-nationale ?
Sinon, tout vote est utile ...
[^] # Re: Moi je suis pour
Posté par Cédric Chevalier (site web personnel) . En réponse au journal Peut-on virer OOXML d'OOo ?. Évalué à 3.
Je croyais qu'on parlait du OOXML version "iso". Ceci dit, je pense que son support dans OOo est hélas indispensable.
Sinon on ne dit pas "des fois" mais "parfois".
[^] # Re: Résolu
Posté par Cédric Chevalier (site web personnel) . En réponse au message Perl, AIX et les limits. Évalué à 2.
Quelqu'un sait s'il y a un intérêt à l'utiliser ?
[^] # Re: Bon ...
Posté par Cédric Chevalier (site web personnel) . En réponse au journal Résultat définitif ratification MS-OOXML. Évalué à 9.
Car à te lire ça a l'air d'être un label qualité aussi utile que le "vu à la radio".
[^] # Re: liens directs
Posté par Cédric Chevalier (site web personnel) . En réponse au journal Liens symboliques persistants ??? Idée de workflow pour les e-mails.. Évalué à 1.
Et sinon, habituellement sur une installation linux fraîche on n'a pas X11 et je ne connais pas de wrapper pour "ln" en curses et gpm qui soient présents sur un système de base.
[^] # Re: Onglet
Posté par Cédric Chevalier (site web personnel) . En réponse au journal "Nettoyage" d'images : GREYCstoration 2.8. Évalué à 3.
De plus, si les deux traitements possèdent des phases communes, il est peut-être possible de ne les effectuer qu'une seule fois (mais je dois avouer que je n'ai pas du tout regardé les algos).
[^] # Re: AIX - Mais quel avenir ?
Posté par Cédric Chevalier (site web personnel) . En réponse au journal AIX - Mais quel avenir ?. Évalué à 2.
De plus, je trouve intéressant l"émulation créée par les unix proprio pour le libre, cela donne une bonne idée des fonctionnalités manquantes etc ... (je pense notamment aux différents paramètres pour changer le comportement de la machine, comme ceux de l'ordonnanceur ou de l'allocateur mémoire sous AIX).
[^] # Re: Cray
Posté par Cédric Chevalier (site web personnel) . En réponse au journal Top500 : La rétrospective des 15 ans.. Évalué à 1.
Par contre, je me permets de douter de la qualité de programmation de tes benchs fortran.