Latex c'est plutôt pour les document ayant une maquette régulière : document techniques et article scientifique entre autre. Sachant qu'avoir un résultat sortant de ce cadre en latex est possible mais est plutôt une activité de programmation voir de maraboutisme :)
Sinon t'a essayé scribus ? Ca me parait plus adapté
Heu les système électronique en logique cablé oui. Quand on commence a parler de processeurs programmés ce n'est pas la même chose, on peut avoir des bugs. Alors effectivement il y a des méthodes formelles pour obtenir des garantie, sauf que actuellement les constructeurs automobiles ne les utilisent pas, ou peu.
On rigolera moins quand il passeront de plus en plus de systèmes avioniques dans le système d'information, ah on me dit dans l'oreillette que c'est ce qui est train de se passer..
Tu te fout de nous ? le machin la est toujours en panne !!
non franchement, pour le site lorraine en tout cas, je le vois en panne 1 fois sur 2 ces derniers temps. En plus il marche mal avec konqueror (afin ca dépend de quand le site change tout le temps)
C'est tellement évident que les fillettes se sont noyé car Berslusconi à décidé de ficher leurs empreintes digitales...
Ils sont cinglé les journalistes anglais. Et je suis pas sur que rapporter sur cette manipulation tel que fait www.liberation.fr soit très judicieux.
et puis je cite :
«Deux baigneurs se précipitent pour leur porter secours , une femme prévient les secours avec son portable.»
Alors effectivement y'a des photo ou les gens continue à piqueniquer pendant qu'on enleve les corps. Mais je suis pas trop d'accord pour parler d'indifférence.
Cela sera pas mal que les journalistes rapporte les évènements plutôt que de créer des mixtures comme ça...
Et pour finir je vois encore moins le rapport avec Sarkozy dans cette dépèche, faut arrêter un peu...
Eh bien moi je suis super emballé car si on arrive a avoir une version qui marche a peu près, on pourra argumenter que le modèle du libre est tellement bien qu'on peut faire presque aussi bien qu'une entreprise énorme.
Quand on voit comment ils se sont planté sur Vista que personne ne veut...
Ce qui est important ce n'est pas linux, c'est le modèle de développement libre et sa philosophie. A la limite peut importe que Reactos n'arrive jamais a refaire tout windows.
Concernant 42, si on suppose que la question a laquelle on répond 42 est calculable. Ce qui semble logique puisque dans l'histoire pensée profonde arrive trouver la réponse en un temps fini de 7 500 000 année. Alors on pourrait imaginer énumérer toutes les machines de turing en ordre canonique (toutes les machines de taille 1, puis toutes les machines de taille 2). Et en même temps simuler simultanément (en parallèle) toutes les machines déjà générée à l'instant t sur toutes les entrée possible dans l'ordre canonique également. Quand je dis simuler en parallèle c'est important, puisque une machine de turing ne se termine pas forcement (sur une entrée) on ne peut pas se contenter de lancer chaque calcul à la suite.
Donc à partir de là on pourrait avoir une liste de machines de turing qui termine en écrivant 42. Bon le problème c'est pour savoir quelle est la bonne question parmi toutes celles qui sont dans la liste. Là effectivement faudrait ptet ouvrir la tête d'Arthur pour la choisir, mais bon je doute de la trouver là :-)
Moi ce que je trouve con, c'est que la réponse à un commentaire négatif a généralement une bonne note. Ca me parait tout à fait logique. Mais généralement on ne peut pas bien comprendre la réponse si on connait pas la question (cf 42).
Ptet qu'il faudrait cacher tous les commentaires fils d'un commentaire avec une note négative. Ca ce fait sur /. non ?
les machine de turing peuvent tout calculer. En particulier en peut prendre la machine de turing universelle qui simule une machine de turing codé dans sa bande.
Et tous les langage des prog peuvent simuler une machines de turing (ca doit prendre 10minutes a programmer).
bref je ne vois pas la différence entre ta turing-équivalence et complétude.
Bon je crois que tout le monde à compris que c'était un abus de langage. Puisque on ne peut pas appliquer le concept de vitesse à un langage de programmation.
C'est : un programme généré par un compilateur (ou une suite de compilateur) à partir d'un code source redigé dans un langage, qui peut être rapide ou non à délivrer un résultat pour une certaine entrée.
sachant que chacun de ces élément influence la vitesse finale...
En plus lisaac est a la fois le nom du compilateur et du langage, ce qui rajoute encore à la confusion.
En fait on ne peut pas vider complètement ce genre de batterie. Elles disposent d'un contrôleur électronique qui empêche cela. Ce contrôleur sert a contrôler le cycle de charge/décharge, en particulier pour ne pas que la batterie prenne feu.
Le truc amusant c'est qu'en fait la durée de vie de la batterie doit être compté à partir de sa date de fabrication. Elle s'use même si on ne s'en sert pas. Et en fait ca dépend surtout de la température de la batterie, qui accelere la réaction chimique à l'intérieur. Évidement quand on charge/décharge ca fait augmenter la température.
En résumé, résignez vous, votre batterie sera morte dans tous les cas :)
Franchement personne n'a encore la réponse définitive à cette question. Et tant que ca sera le cas on trouvera une clause de non garantie du résultat dans la plupart des licenses de logiciels. Pour le moment cela n'a l'air de déranger personne mais imaginez vous achetez un four à mirco-onde ou une voiture sans garantie de fonctionnement ?
- quelles sont les limites des systèmes du genre de Doxygen ?
Si j'ai bien compris tu veux que doxygen te fournisse des schémas. Ca cera forcement limité car dans un schéma l'auteur essayer de communiquer des propriétés importantes en faisant des abstraction du systeme. Il peut aussi ajouter des information qui n'apparaisse pas dans le code.
- que pensez-vous d'UML ?
Le grand problème avec cette question c'est que personne n'a la même vision d'UML. En majorité quand quelqu'un dit UML ca veut dire diagrame statique de classe. Or ce diagramme c'est une toute petite portion d'UML.
En plus c'est uniquement un standard de représentation de bubulles et de fleches mais il n'y marqué nul part quelle est la sémantique de ces choses là. Alors on crois qu'on parle une langue universelle alors que personne ne dit la même chose.
Bref UML un gros buzzworld pour faire croire qu'on a une méthode de travail dans le logiciel alors que tout le monde continue comme avant. D'ou l'aspect fourre tout de la norme puisque la normalisation ne c'est faite qu'en surface.
Ben apprendre le francais au étranger c'est un vrai problème. Par exemple je suis thésard dans un labo et on accueil de plus en plus d'étranger venant de pays de traditionnellement non francophone. Par exemple je connais un brésilien, une coréenne et un Pakistanais qui viennent faire une thèse ici (3ans en gros). Ils arrivent ici juste avec des bases rudimentaire de francais et c'est super dur de trouver des cours de francais langues étrangère (sans dépenser une fortune).
Cela m'étonnerai que tu ne connaisse pas déjà ce site mais bon je le donne quand même car on peut y trouver pas mal de textes sur ce qu'on appellerai ici des troll. Exemple :
En passant je ne vois pas le rapport avec la nouvelle de dick. Si je me souviens bien dans celle ci les animaux ont disparu de la surface de la terre et les gens elevent des animaux (ou des robot d'animaux pour les plus pauvres) chez eux comme dernier vestige de leur existence.
[^] # Re: Latex pour faire un journal
Posté par outs . En réponse à la dépêche Un nouveau framabook sur LaTeX. Évalué à 4.
Sinon t'a essayé scribus ? Ca me parait plus adapté
[^] # Re: Intérêt ?
Posté par outs . En réponse au journal Vers un OS automobile ?. Évalué à 2.
[^] # Re: Intérêt ?
Posté par outs . En réponse au journal Vers un OS automobile ?. Évalué à 1.
Ben en fait, c'est déjà le cas dans les avion (comme l'A380 http://fr.wikipedia.org/wiki/A380#Commandes_de_vol ) ou les métro (par exemple http://fr.wikipedia.org/wiki/Ligne_14_du_m%C3%A9tro_de_Paris ).
Donc si ca vous fait peur de confier votre vie à un programme, il faudra éviter de plus en plus les transports en commun.
En plus en France est bien positionné la dedans avec des boites comme http://www.esterel-technologies.com/ ou http://www.clearsy.com/
[^] # Re: Intérêt ?
Posté par outs . En réponse au journal Vers un OS automobile ?. Évalué à 1.
[^] # Re: changer encore ?
Posté par outs . En réponse au journal Sortie du bépo 1.0rc1. Évalué à 1.
le » est sur Alt-Gr x
essaie toutes les touches avec Alt-Gr, y'en a plein d'autre :)
Voilà, voilà
[^] # Re: Et le swap ?
Posté par outs . En réponse au journal Linux presque entièrement en RAM. Évalué à 1.
[^] # Re: Suis-je le seul...
Posté par outs . En réponse au journal 31 heures de pages pour voyages-sncf.com. Évalué à 1.
non franchement, pour le site lorraine en tout cas, je le vois en panne 1 fois sur 2 ces derniers temps. En plus il marche mal avec konqueror (afin ca dépend de quand le site change tout le temps)
[^] # Re: Kmail
Posté par outs . En réponse à la dépêche KDE 4.1 : Don't Look Back. Évalué à 8.
Ça fait deux ans que je l'utilise, jamais vu de problème...
[^] # Re: barrette de ram
Posté par outs . En réponse au journal 31 heures de pages pour voyages-sncf.com. Évalué à 1.
[^] # Re: barrette de ram
Posté par outs . En réponse au journal 31 heures de pages pour voyages-sncf.com. Évalué à 8.
[^] # Re: ça ce prononce comment?
Posté par outs . En réponse au journal Plein les Cuil de Google ?. Évalué à 1.
ah bon?
oui je suis dubitatif aussi, par exemple :
http://www.cuil.com/search?q=la+faute+a+la+manette
à comparer à google
http://www.google.fr/search?hl=fr&q=la+faute+a+la+manett(...)
[^] # Re: [HS]
Posté par outs . En réponse au journal [HS] C'est la mort à la plage.... Évalué à 7.
mais il n'y a toujours aucun rapport avec la noyade et Sarcozy.
# vive la manipulation
Posté par outs . En réponse au journal [HS] C'est la mort à la plage.... Évalué à 7.
Ils sont cinglé les journalistes anglais. Et je suis pas sur que rapporter sur cette manipulation tel que fait www.liberation.fr soit très judicieux.
et puis je cite :
«Deux baigneurs se précipitent pour leur porter secours , une femme prévient les secours avec son portable.»
Alors effectivement y'a des photo ou les gens continue à piqueniquer pendant qu'on enleve les corps. Mais je suis pas trop d'accord pour parler d'indifférence.
Cela sera pas mal que les journalistes rapporte les évènements plutôt que de créer des mixtures comme ça...
Et pour finir je vois encore moins le rapport avec Sarkozy dans cette dépèche, faut arrêter un peu...
[^] # Re: Barreaux plus libres, mais toujours en prison...
Posté par outs . En réponse à la dépêche Reactos 0.3.5 est sorti. Évalué à 4.
Quand on voit comment ils se sont planté sur Vista que personne ne veut...
Ce qui est important ce n'est pas linux, c'est le modèle de développement libre et sa philosophie. A la limite peut importe que Reactos n'arrive jamais a refaire tout windows.
[^] # Re: Hum
Posté par outs . En réponse au journal Lisaac plus rapide que le C !. Évalué à 4.
Concernant 42, si on suppose que la question a laquelle on répond 42 est calculable. Ce qui semble logique puisque dans l'histoire pensée profonde arrive trouver la réponse en un temps fini de 7 500 000 année. Alors on pourrait imaginer énumérer toutes les machines de turing en ordre canonique (toutes les machines de taille 1, puis toutes les machines de taille 2). Et en même temps simuler simultanément (en parallèle) toutes les machines déjà générée à l'instant t sur toutes les entrée possible dans l'ordre canonique également. Quand je dis simuler en parallèle c'est important, puisque une machine de turing ne se termine pas forcement (sur une entrée) on ne peut pas se contenter de lancer chaque calcul à la suite.
Donc à partir de là on pourrait avoir une liste de machines de turing qui termine en écrivant 42. Bon le problème c'est pour savoir quelle est la bonne question parmi toutes celles qui sont dans la liste. Là effectivement faudrait ptet ouvrir la tête d'Arthur pour la choisir, mais bon je doute de la trouver là :-)
[^] # Re: enlarge your linuxfr
Posté par outs . En réponse au journal Les méfaits du moinssage. Évalué à 5.
Ptet qu'il faudrait cacher tous les commentaires fils d'un commentaire avec une note négative. Ca ce fait sur /. non ?
Je crois que je préfère encore tout voir.
[^] # Re: Hum
Posté par outs . En réponse au journal Lisaac plus rapide que le C !. Évalué à 2.
les machine de turing peuvent tout calculer. En particulier en peut prendre la machine de turing universelle qui simule une machine de turing codé dans sa bande.
Et tous les langage des prog peuvent simuler une machines de turing (ca doit prendre 10minutes a programmer).
bref je ne vois pas la différence entre ta turing-équivalence et complétude.
[^] # Re: Ton titre se démonte en 1 minute top chrono.
Posté par outs . En réponse au journal Lisaac plus rapide que le C !. Évalué à 3.
C'est : un programme généré par un compilateur (ou une suite de compilateur) à partir d'un code source redigé dans un langage, qui peut être rapide ou non à délivrer un résultat pour une certaine entrée.
sachant que chacun de ces élément influence la vitesse finale...
En plus lisaac est a la fois le nom du compilateur et du langage, ce qui rajoute encore à la confusion.
Pauvres mouches ...
[^] # Re: eee
Posté par outs . En réponse à la dépêche Ubuntu Mobile bientôt de sortie !. Évalué à 1.
[^] # Re: Baterrie
Posté par outs . En réponse à la dépêche Point sur l'EeePC, 3 semaines après son lancement. Évalué à 2.
Le truc amusant c'est qu'en fait la durée de vie de la batterie doit être compté à partir de sa date de fabrication. Elle s'use même si on ne s'en sert pas. Et en fait ca dépend surtout de la température de la batterie, qui accelere la réaction chimique à l'intérieur. Évidement quand on charge/décharge ca fait augmenter la température.
En résumé, résignez vous, votre batterie sera morte dans tous les cas :)
# Mes deux cents (trolls)
Posté par outs . En réponse au journal Conception de logiciel et UML. Évalué à 8.
Franchement personne n'a encore la réponse définitive à cette question. Et tant que ca sera le cas on trouvera une clause de non garantie du résultat dans la plupart des licenses de logiciels. Pour le moment cela n'a l'air de déranger personne mais imaginez vous achetez un four à mirco-onde ou une voiture sans garantie de fonctionnement ?
Si j'ai bien compris tu veux que doxygen te fournisse des schémas. Ca cera forcement limité car dans un schéma l'auteur essayer de communiquer des propriétés importantes en faisant des abstraction du systeme. Il peut aussi ajouter des information qui n'apparaisse pas dans le code.
Le grand problème avec cette question c'est que personne n'a la même vision d'UML. En majorité quand quelqu'un dit UML ca veut dire diagrame statique de classe. Or ce diagramme c'est une toute petite portion d'UML.
En plus c'est uniquement un standard de représentation de bubulles et de fleches mais il n'y marqué nul part quelle est la sémantique de ces choses là. Alors on crois qu'on parle une langue universelle alors que personne ne dit la même chose.
Bref UML un gros buzzworld pour faire croire qu'on a une méthode de travail dans le logiciel alors que tout le monde continue comme avant. D'ou l'aspect fourre tout de la norme puisque la normalisation ne c'est faite qu'en surface.
[^] # Re: on s'en passerait bien
Posté par outs . En réponse à la dépêche Le projet Fprint et les scanneurs d'empreintes digitales. Évalué à 2.
--> N'oubliez pas de mettre des mot de passe sur le bios et grub
[^] # Re: et pourquoi pas le Français comme langue universelle?
Posté par outs . En réponse au journal L'espéranto et les décideurs. Évalué à 1.
# cf le site de Claude Piron
Posté par outs . En réponse au journal L'espéranto et les décideurs. Évalué à 3.
http://claudepiron.free.fr/index.htm
Cela m'étonnerai que tu ne connaisse pas déjà ce site mais bon je le donne quand même car on peut y trouver pas mal de textes sur ce qu'on appellerai ici des troll. Exemple :
http://claudepiron.free.fr/articlesenfrancais/progres.htm traitant sur le côté psychologique de la situation.
et il y en a pas mal d'autre sur les réaction classiques du grand public, des linguistes, ...
[^] # Re: Pareil
Posté par outs . En réponse au journal RFID / Aujourdhuis les brebis, demains ...?. Évalué à 1.
En passant je ne vois pas le rapport avec la nouvelle de dick. Si je me souviens bien dans celle ci les animaux ont disparu de la surface de la terre et les gens elevent des animaux (ou des robot d'animaux pour les plus pauvres) chez eux comme dernier vestige de leur existence.