gege a écrit 89 commentaires

Est-ce que tu peux développer plus ?

Effectivement Ada n'est pas un langage de masse, mais est encore pas mal utilisé dans des domaines ou la sécurité prime (aéronautique, spatial, ferroviaire, ...). En plus il est toujours activement maintenu et étendu (environ une nouvelle norme tous les 10 ans avec Ada83, Ada95 et Ada2005 ce qui à l'échelle de temps des projets utilisateurs est convenable...)

C'est vrai qu'on est toujours tenté de se diriger vers des langages plus utilisés (plus de gens formés, plus d'outils, plus de choix de fournisseurs, ...), mais actuellement pour les applications embarqués critiques, passer de l'Ada au C est une régression (perte de l'orientation object, de l'encapsulation, du typage...) et passer de l'Ada au Java se fera peut-être un jour quand on aura résolu les problèmes du Java (Java temps réel, déterminisme du traitement des exceptions...).

Coté outils notamment avec GNAT on dispose d'une chaîne basée sur gcc donc avec tout le confort moderne (ide, debugger, ...) et coté développeurs j'aurais des doutes sur un développeur C qui ne saurait pas assez rapidement se mettre à l'Ada...

Pour les autres langages (et a fortiori les autres paradigmes de programmation comme la programmation fonctionelle), il leur faut encore franchir toutes les étapes déjà faites pour Ada, C et en cours pour JavaRT afin d'être certifiable pour des applications critiques, ce qui a ma connaissance n'est pas à l'ordre du jour... par contre OCaml, Haskell, Ruby, Python,... et consorts sont utilisés dans l'outillage autour de la production de code critique (générateurs de code, checkers, ...) là ou à mon sens ils ont un véritable intérêt...

ça ne rend pas vraiment les programmeurs intelligents, je suis bien d'accord, même si ton exemple sur Ariane 501 est un peu simpliste et erroné puisque Ada (enfin les checks inclus dans le langage) avaient bien fait son travail puisque le débordement a bien été identifié au run-time mais mal "rattrapé"... pour le coup ça aurait été codé en C ça serait peut-être passé inaperçu ;-)

Ada force un développeur à se poser beaucoup de questions pendant qu'il code et qu'il compile (c'est assez difficile d'écrire qq lignes d'Ada sans erreur de compilation et c'est la raison pour laquelle un débutant a beaucoup de mal avec ce langage), c'est le cas pour le typage des variables (ranges,...), pour les pointeurs, pour l'orientation object, la prise en compte dans le langage du multi-tache...

Vaut mieux se les poser à la compilation qu'au runtime quand on obtient le core dump (à supposé qu'on l'obtient pendant les tests et pas en production...) et pour le moment aucun autre langage un tant soit peu utilisable industriellement (je suis sur que dans les labos ils ont des trucs mieux), ne concurrence Ada. On rajoute des régles de codage draconiennes au Java, C, C++ pour ressembler à de l'Ada, on tente de faire de l'analyse statique, bref plein de trucs lours qui sont déjà proprement prévus dans Ada...

Moralité : soyez curieux, aller faire un tour du coté d'Ada, ça va vous sembler lourd au début, mais c'est intéressant de voir ce que peut donner un langage designé pour la propreté et la sécurité.

Euh.. non car vu que c'est un connecteut type B c'est surment pas un controleur USB qu'il y a dedans mais un simple client (genre pour faire de IP sur USB...).

Donc encore raté... vu que c'est de mon point de vue le plus gros défaut des gumstix et autres, le démontage de trucs du genre
WRTSL54GS de chez linksys qui possédent des controleurs USB et qui coutent pas plus cher ont de beaux jours devant eux...

Tout simplement ils vont reprendre une idée, comprendre son potentiel, l'adapter au marché (joli éditeur, belle boite, support, buzz...) et gagner du fric avec... c'est pas de l'anti américanisme de base, mais simplement une constatation qu'ils sont très doués pour ça (exemple l'ADSL, techno developpée en france, c'est les US qui ont trouvé son utilité...) et qu'on ferait bien de les imiter...

Après si personne ne veut l'utiliser dans l'industrie, je ne vois pas ce que l'Inria peut y faire. L'inria n'est pas une société de service et n'a pas de marketing à faire.

Je ne suis vraiment pas d'accord, l'INRIA pourra faire les plus belles avancées techno possible, c'est a elle d'aller les vendre à l'industrie et de convaincre les industriels. Il faut leur montrer que c'est pas des trucs fumeux de chercheurs sans vraiment de retour sur investissement visible et démontré. Sans cela ça restera dans les cartons de l'INRIA ou au mieux dans un marché de niche après la création d'une start-up sur la techno qui vivotera quelques années...

Je pense que l'INRIA s'en rend de plus en plus compte et c'est tant mieux...

C'est donc plutôt la faiblesse de la veille technologique et la peur de prise de risque dans le milieu de l'informatique industrielle qui explique sa faible utilisation en dehors des universités.

Les entreprises prennent des risques quand elle peuvent les calculer et qu'on vient leur présenter des nouvelles idées bien présentées (avec une vision industrielle) et adaptées à leur besoins (eclipse, python, ...)

Microsoft délivera bientôt une copie d'Ocaml avec F# qui elle marchera sans doute beaucoup mieux grâce au marketing de MS

C'est avec des réactions comme la tienne que les américains vont encore faire d'une bonne idée française une affaire juteuse pour eux...

Pour le coup de pub pour Intalio, je ne suis pas capable de juger, faudrait essayer leur soft pour conclure.

Par contre en ce qui concerne le BPMN (Business Process Modeling Notation) qui est standardisé par l'OMG, ça peut être interressant pour plein de gens, y compris dans le monde du libre. Ca permet de modéliser de façon standard (avec la notation graphique associée) un "business process" pour faire "in", enfin un enchainement d'activités avec des conditions, des délais, des boucles, des messages échangés...

Parmis les exemples d'application dans le monde du libre, on pourrait exprimer en BPMN le processus d'acceptation d'un patch dans le kernel, ou même des procédures d'install un peu complexes... Ainsi au lieu d'avoir trois pages de texte, on pourrait avoir un beau schéma (et le xml associé pour l'interop) qui est compréhensible par tout le monde...

C'est pas parceque les gens du marketing collent le mot business à tout les coins de rue que ça ne vaut pas la peine de s'y pencher dessus !

Pour en savoir plus :
* http://www.bpmn.org/
* Tutorial : http://www.bpmn.org/Documents/OMG%20BPMN%20Tutorial.pdf

Le BCD c'est une façon de coder les nombre en représentation machine, une alternative au format binaire. Un nombre est alors représenté par des séries de 4bit codant chacun de ces chiffres de la représentation décimale (0-9) en binaire.

Exemple : 21 dec = 10101 bin = 0010 0001 bcd

C'est super utiliser en electronique quand il s'agit d'afficher des chiffres binaires (la conversion de binaire en chiffre d'affichage décimal est complexe).

En info utiliser cette représentation en interne du proc peut présenter des perfos supérieures pour certains types d'opérations très utilisés par les scientifiques comme les puissances de 10 qui alors sont aussi simples que les puissances de deux en binaire (simple décalage).

Tu peux citer tes sources ? crédibilité ?

Un gestionnaire de parc linux ça peut interresser plein de monde, hors quand on va sur le site de Criston, ça a l'air plutot orienté Microsoft...

Et au fait, à Sophia (et oui il y a un ph), il y a toujours des gens, et même une certaine tendance à en avoir de plus en plus, comme quoi tout change !

Moi ça me fait bondir des trucs comme ça...

Un pauvre mec qui fait son purin d'ortie a le droit à 5 min de reportage dans tous les médias alors que ça ne concerne que 0.000001% de la population, alors que les sujets souvent évoqués ici qui concernent au moins la moitié des français (DAVSI et autres), ne sont pas couverts...

Heureusement que c'est pas les firmes qui fabriquent les OGM et les pesticides qui controlent les média sinon on serait passé à coté de l'info... ;-)

On va en avoir le coeur net avec la couverture médiatique de la manif d'aujourd'hui...

Pour la question sur ce qui fait qu'un framework est bon, je pense à * Automatisation des résultats : ça sort en batch un rapport ou il y a OK ou KO sans intervention humaine et sans click dans tous les sens
* Possibilité de stubber : en fait les tests unitaires ne servent presque à rien si on fait du test fonction par fonction, il prennent beaucoup plus de sens quand on fait des tests au niveau d'un module fonctionnel complet (ça tend vers du test d'intégration), par contre il faut la possibilité de pouvoir remplacer les fonctions appelée par le module testée par des stubs de simulation qui peuvent être relativement complexes (machines d'état, mémorisation...) et on doit être capable de vérifier les parametres d'appel à ces fonctions (à chaque appel) et le nombre d'appel.
* Possibilité de faire de la couverture (avec aussi le cumul de couverture pour vérifier la couverture obtenue par un ensemble de tests complémentaires)
* Puissance d'expression des checks : c'est rarement de simples assert sur des boolean même si ça s'y rapporte souvent (mémorisation des valeurs précédantes pour des tests de convergence par exemple)

Pour la solution pratique, il existe une solution élégantes basée sur l'utilisation d'un langage de script (genre Python) et de générateur de bidding comme Ctypes ou SWIG. Ainsi il n'y a pas besoin de recompiler le code pour faire des tests U mais on peut le faire directement sur les libs du projet. En plus on gagne toute la souplesse et les libraries associées au langage de script. Je n'ai pas en tête de framework qui utilisent cette technique, mais par expérience c'est rapide de s'en faire un maison juste comme il nous convient...

En fait c'est une version de XP embedded qui fait office de client RDP (~ le vnc à la sauce microsoft) pour pouvoir faire tourner les applications sur un serveur distant... donc effectivement une entreprise "pauvre" (comme la qualifie l'article [1]) n'a pas à changer ses postes utilisateurs mais à investir dans des serveurs puissants avec les licenses qui vont bien pour pouvoir faire tourner les applis à distance... vous avez dit du vent ?

C'est vraiment une très bonne chose, eclipse c'est un framework minimal et de (trop?) nombreux plugins. Autrement dit même avec une installation minimale d'eclipse, vous avez déjà plusieurs dizaines de plugins d'installés. Cette modularité commençait à montrer ses limites car les developpements des plugins n'étaient pas coordonés et chaque équipe de developpement définissait dans son coin sur quelle version des autres plugins elle s'appuyait.

Ca conduisait à d'enormes casses têtes et à des plugins qui n'étaient pas installable simultanément car en conflit de version... parfois même les dev d'un plugin s'appuyaient sur la version en cours de dev d'un autre (car elle corrige un bug qui bloquait...).

J'espère que ça va permettre de stabiliser un peu tout ça et d'offrir une version de référence pour tout le monde au moins des plugins pricipaux (comme EMF, GEF, GMF qui étaient souvent les plus problématiques...)

Enfin c'est pas les seuls, sur orange.fr pour changer son portable c'est pareil, et ça fait deux fois en très peu de temps (retour lundi)... soit ça leur rapporte rien et ça ne pose pas de pb de fermer plusieurs jours soit effectivement ils se sont bien raté...

"le lendemain Free aurait modifié le détail qui fait que ça ne marcherai plus..."
Free est quand même un des seuls FAI plutôt ouvert coté libre.

Je ne dis pas le contraire, mais dès quand il s'agira de protéger leur réseau et les accords qu'ils ont passé avec les fournisseurs de contenu, je trouverai tout à fait normal qu'ils ne laissent pas faire ce qu'on veut avec les box quand elle sont connectés à leur réseau...

Je doute qu'un firmware perso et libre soit capable d'avoir les mêmes fonctionnalités que la freebox non modifiée (TV, CanalPlay...), et même si c'était possible, le lendemain Free aurait modifié le détail qui fait que ça ne marcherai plus.... Donc le seul intêret est de réutiliser des Freebox après avoir résilié Free et pas rendu la box(donc l(avoir payé) et de l'utiliser comme routeur, nat, serveur de disque ou autre...

Au prix où Free fait payer la Freebox non rendue, je préfére utiliser un routeur wifi avec openWRT, c'est franchement moins cher, moins risqué du point de vu légal et offre exactement les mêmes possibilités...

Il n'empéche qu'au point de vue electronique et bidouillage, ça doit être interressant ;-)

La KVM est justement faite pour qu'on puisse la recompiler et la porter (assez facilement d'ailleurs) sur de nouvelles cibles.

En plus il y a moyen de embarquer certaines classes dans le binaire même de la KVM (voir le "porting guide" qui explique tout ça)

Donc oui à priori il n'y a pas de pb pour rajouter à la compilation des classes à la KVM il suffit d'avoir les sources de ces classes

Juste un dernier truc, la kvm est loin d'être la JVM idéale pour de l'embarqué, c'est plus une preuve de concept par SUN qu'autre chose et elle à quelques déficiences très pénibles et difficilement corrigeables du fait de l'organisation compliquée du code (notament le fait de se baser sur les green threads, le loader et plein d'autres choses)

Si il y a un serveur connecté en permanence à l'accès wifi et qu'il y a un routeur wifi un peu sympa (wrt54g par exemple), la solution pour laquelle j'ai opté c'est openvpn.

J'ai limité le traffic wifi au seul port d'openvpn forwardé par le wrt vers mon serveur et j'ai plus besoin du WEP ou du WPA...

Vous en pensez quoi ?

...des nouveautés apparues dans le développement : les tests unitaires...

Je n'ai rien de particulier contre l'XP, mais bon, faut pas non plus croire qu'ils ont tout inventé !

Beucoup de leurs idées (dont les tests unitaires, les revues de pairs, le CMMI, automatisation des tests, responsabilités...) ne sont pas vraiment nouvelles et sont pratiquées depuis très longtemps par des domaines qui nécessite de bonnes méthodes de developpement (spatial, aéronautique...) sur de très gros projets. Ces méthodes qui découlent souvent du bon sens ont été abandonnées ou ignorées par toutes les autres branches de l'informatique avec les resultats qu'on connait...

Ce qu'il faut reconnaitre à Jeffries et sa bande c'est qu'ils ont su rendre ces pratiques de developpement "hype", leur mettre un joli noeud autour et utilisé leur bagou pour faire du bruit autour... au fond je pense que ça ne peut que faire progresser....

Je pense qu'on peut s'en sortir avec le DOM inspector, mais ce que je veux c'est que l'utilisateur final n'ai qu'a faire fichier/enregistrer sous... ou appuyer sur un boutton avec du Javascript derrière...

Pas vraiment de problème, je veux juste sauver le DOM tel qu'il est à un instant donné vers un fichier HTML et pas simplement copier le fichier HTML original comme a l'air de faire Firefox.

Si j'y arrive, ça permet de faire des modifications au DOM d'un document en javascript et ensuite de sauvegarder ces modifications dans un nouveau document

J'espère que c'est plus clair
Merci !

Et maintenant linuxfr qui propose un lien sur un lien sur un MP3 illégal... ;-)

Concernant l'odeur, je ne sais pas, il y en a qui disent qu'il y en a, moi j'ai jamais trouvé... regarde bien les condos, faut regarder de près, cf les photos sur le site du lien...

Pour les cartes, merci mais j'ai presque ce qu'il faut ! ;-)

Si ta carte a été produite entre 1999 et 2002, et qu'elle marche bien depuis un bon moment, il y a de forte chance que tu sois atteint du syndrome des condensateurs pourris... tout une série de condo utilisé pour le filtrage de l'alim des processeurs (sur la carte mére) son defectueux (pour une sombre raison de vol de formule de dielectrique).

Si ta carte est un peu vieille, regarde la de près et surtout les condo autour des processeurs voir si le dessus n'est pas bombé et qu'il n'y a pas de fuite d'une substance marron (toujours ?) à la base... si tu es dans un de ces cas de figure, soit tu es un dieu du fer à souder soir tu jette ta carte (ou me la donne ;-) )

Gérald

PS : qui va changer ce we les condos de sa BP6 qui vient de rendre l'ame à cause de ça après 4 ans H24....

RePS : un lien : http://www.motherboardrepair.com/(...)

Tu as une interface web de configuration de samba qui s'appele swat et qui est installée par défault (je me trompe ?), elle est accessible par http://localhost:901(...) (user root et mot de passe root)
c'est bien fait et il y a une explication à chaque parametre... ce que tu veux faire n'est pas compliqué donc il ne devrait pas y avoir de probléme....

Sinon tu as des bon tutoriaux un peu partout sur le net, par exemple :
http://lea-linux.org/reseau/samba.html(...)

Gérald

PS : Et stp, samba est un excelent soft dont la richesse réside exactement dans ses possibilité de configuration, donc plus de titre dans ce style, c'est vraiment pas bien !

Enfin en ce qui concerne Leroy Merlin, je ne sais pas si ça a été corrigé depuis, mais les caisses avaient des écrans ridiculement petit (12 pouce ?) et la barre de taches de gnome prenait 1/4 de cet écran... pas glop de pas pouvoir/savoir la faire disparaitre...