thoasm a écrit 9443 commentaires

S'il n'y en avait qu'un ...

Genre N est inclus dans Z, mais l'inverse est faux (-3 appartient à Z mais pas à N), donc N est différent de Z.

Pourtant leurs cardinalités sont égales.

A inclus dans B et B inclus dans A ça prouve pas seulement l'égalité des cardinaux, c'est plus fort que ça, ça dit :

si e appartient a A alors e appartient aussi à B, et inversement.

comment compare-t-on des ensembles non dénombrables

Euh, ils sont égaux si tu peux prouver la double inclusion non, tu te fiche qu'il soit dénombrable ou pas.

Donc en gros ça revient à dire que n'importe quel meta troll d'ordre n est un troll de base, et qu'un troll de base est aussi un meta troll d'ordre n ...

Pas grand chose à dire, si ce n'est que c'est un cas quand même très très particulier que tu nous raconte, à priori, ils doivent vachement souvent avoir des explications farfelues de ce style dans les SAV. Bon dans ce cas manque de bol ça l'était pas (farfelu)

Bon, soyons ouf, raisonnons en matheux.

Soit \mathbf{T} l'ensemble des trolls d'ordre 1;
* Notons T(T) l'ensemble des trolls portant sur un troll, T^2(T) l'ensemble des trolls portant sur un troll portant sur un troll, ...
* posons \mathcal{T} = \union_{i=1...+\infnty} T^i(T)

Question : est-ce que T=\mathcal{T} ?

Le monde est aussi ce qu'il est et a ses propres contraintes ... qui font que ses rêves ne sont pas forcément réalisables.

Pour les synchros et les mutex, pas besoin de multiprocesseur à priori.

Sauf si c'est pas le cas avec l'implémentation python :
* tu peux pas supposer grand chose sur l'ordre et le temps d'exécution de tes deux trheads, et l'un d'eux peut être interrompu en plein milieu d'une écriture disque. Si l'autre thread a besoin du même fichier, faut un mécanisme pour être sur qu'ils y accèdent pas tout les deux "en même temps".

* Pour la synchro, pareil, tu peux lancer un calcul dans un thread, laisser l'autre faire ce qu'il veut, et à un moment attendre la fin du calcul par exemple.

Ouais, mais en tant qu'employé, tu n'accepte implicitement rien du tout, vu que l'entité utilisatrice, c'est pas toi c'est l'entreprise, en tant que personne morale. Enfin, je le vois comme ça.

Ben ça parait logique, c'est l'entreprise en tant que personne morale qui accepte la licence du logiciel à la base, donc les employés individuellement ne "signent" pas le "contrat" ...

Après pour les modifs, pareil, c'est l'entreprise qui détient les droits, donc elle en fait un peu ce qu'elle veut.

de plus le fait de compiler est toujours plus lourd qu'une "simple" analyse statique du code.

Gni ? Une analyse statique ça peut être bien bourrain potentiellement suivant ce que tu veux analyser ... étant donné la difficulté du problème de vérification du code.

En C++, pour faire pêter le code avec une erreur de typage, il faut le vouloir, genre faire des casts de bourrains ... Pour ton histoire de pointeur, pas compris à quoi tu voulais faire référence, intuitivement je dirai utilisation d'un pointeur sur un objet alloué sur la pile, et dans ce cas c'est pas vraiment une erreur de type.

C'est pas très flatteur pour ton sens de l'observation.

Héhé, cela dit tu rirais moins je pense si tout d'un coup ni toi ni personne ne pouvait soudain plus rien payer par carte, ni retirer du liquide, ou si ton compte se retrouvait soudain vide, ce genre de choses ...

Pas très efficace en l'occurence, ça devient très très chiant d'utiliser la tollbar pour naviguer entre les commentaires, on distingue pas bien les différentes parties du site sans les boîtes, ...

En CE truc ?

Ben tu peux lui dire que c'est manifestement un site parodique, et que les pseudos justifications n'ont même pas le début d'un commencement de justifications elles mêmes ... qu'il y a de l'humour dedans et tout ...

Tu dois être "hors concours".

Ouaip, à priori beacoup de terminaux sont compatible xterm, et c'est possible sous xterm avec des "séquences d'échappement" interprétées par le terminal :

http://tldp.org/HOWTO/Xterm-Title.html

En interactif ça donne ça :
PROMPT_COMMAND='echo -ne "\033]0;${USER}@${HOSTNAME}: -${PWD}\007"'

La commande doit être exécutée genre à la fin des autres commandes.

En pas interactif dans un script, je viens de tester avec ça :

#!/bin/bash

echo -ne >&2 '\033]0;'"toubidou"'\007\c'

read a


et effectivement ça marche, dans un gnome-terminal en l'occurence.

À première vue le WID de wmctrl manipule plutôt des identifiants de fenêtres que des PID directement, le plus simple c'est sûrement de changer le titre de ta fenêtre en un nom que tu maîtrise et de le matcher avec wmctrl.

Après t'as peut être moyen de trouver l'ID de la fenêtre grâce au PID, mais je le connais pas, il peut potentiellement en avoir plusieurs ... (des fenêtres pour un PID donné) Pareil pour les instances de ton script j'imagine cela dit ...

pas tant que ça si tu le lances sous X et que tu veux le mettre au premier plan ... après tu peux toujours ajouter un switch pour changer le comportement en fonction d'un paramètre ou d'une variable d'environnement genre :

function getString(){
        if [ ! -z "$GRAPHIQUE" ] then
           
               echo "$1" ; read a;
        else
               a=$(zenity --entry  --title="Entrez ... "   --text="$1" )
        fi
       echo "$a"
}
GRAPHIQUE="true"
valeur="$(getString "entrez le nom du fichier ...")"

Réécrit les IO en utilisant zenity ou gdialog, ça doit "popupper" des boites de dialogues en temps voulus ...

Héhé, ouais, du coup ça coûte rien d'être jovial, et c'est plus agréable ...

D'ailleur j'ai lu quelque part que le coût de la justice est tout relatif, par rapport à la richesse du pays, la France se classe au 35ème rang ...


Autre source (pas pour le même chiffre, je trouve plus) : http://fr.wikinews.org/wiki/Justice_:_La_France_parmi_les_ma(...)

J'imagine que ce genre d'affaire n'aime pas trop la pub, mais à part ça t'as un ou deux liens pour dépasser le stade de la conversation linuxfrienne ?

Ça fera fuir le libriste pour des raisons évidentes, après pour d'autres type de clients qui pourraient s'y retrouver financièrement et en souplesse d'utilisation je vois pas pourquoi ils fuiraient ...

Une chose est sûre, toi tu te prends pas pour de la merde.