[ Précédent :: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 :: Suivant ]
Re: coupable
Faut quand même voir à rappeler que les mathématiques sont peut-être absurdes également (c'est semi-décidable, ie. on ne peut pas prouver qu'elles ne le sont pas, mais on trouvera peut-être un jour un exemple de contradiction, même si on croit très fort que ça n'arrivera jamais).
Bon, d'accord, pour Dieu, l'absurdité est totalement décidable (et la réponse nettement positive) mais c'est juste pour souligner que la logique ne fait pas tout.
[ Répondre ]
Re: Pierre PAPIER Ciseaux
Oui tu as raison, en fait. Enfin, en théorie. WIkipédia le dit mieux que moi :
Dans la variante à trois choix, la stratégie optimale, au sens de la théorie des jeux, consiste à choisir les coups de façon aléatoire, de manière équiprobable. Cependant, il ne s'agit là que de la stratégie garantissant qu'il n'existe pas de stratégie de l'adversaire lui permettant de gagner avec une probabilité strictement supérieure à 1/3. Face à un adversaire pratiquant une stratégie sous-optimale, il est possible de trouver des stratégies gagnantes, basées sur la connaissance de l'adversaire.
[http://fr.wikipedia.org/wiki/Pierre-feuille-ciseaux#Strat.C3(...)]
[ Répondre ]
Re: Juste que
J'ai garder un bon souvenir de claris works 2.0 de Apple même si je n'ai peu garder aucun document. Sauf transformer en .txt. Quel format ce *.txt, inébranlable. C'était il y a entre 15 et 20 ans. Je devais avoir 13-14 ans.
Tu parles ! Moi aussi, j'ai fait la migration (à base de rtf, mais c'était pareil en txt) et qu'est-ce que je me suis pris dans la gueule : l'encodage était différent, j'ai du me cogner tous les accents à la main (enfin en rechercher/remplacer). Je suppose que recode aurait pu m'aider, mais je n'ai jamais trouvé le bon encodage. Enfin, ça c'est un problème lié aux premiers mac, plutôt qu'à Claris Works directement (dont j'ai effectivement gardé un excellent souvenir, bien meilleur que cette bouse infâme livrée avec MacOS X).
[ Répondre ]
Re: XP gratuit
Une insulte ? Ou ca ? Il n'y a aucun jugement sur sa personne, uniquement sur sa prose.
Ah si, quand même ! Il y a un jugement sur sa personne : tu l'accuses insidieusement d'avoir une grosse tête (quoique moins grosse que les conneries qu'il sort).
Par contre, je ne sais pas si on peut considérer ça comme une insulte (je ne comprends même pas très bien la logique sous-jacente, à vrai dire, ça me fait un peu penser à une réplique de cour de récréation).
[ Répondre ]
Re: Pierre PAPIER Ciseaux
> Mais bon à terme ça devrait converger vers le cas tout le monte rationnel.
Non. Voir le problème du prisonnier itéré [http://en.wikipedia.org/wiki/Prisoner%27s_dilemma] et toute la théorie des jeux en général, qui explique clairement que, lorsqu'on ne joue pas contre un adversaire aléatoire mais contre une stratégie, l'espérance de gain doit être calculée en fonction de la-dite stratégie (et donc en prenant en compte plusieurs coups en général, lorsqu'il adopte une stratégie dite "à mémoire").
[ Répondre ]
Re: Prêt à être utilisé par les masses?
Non, ce que je voulais dire c'est que le problème général avec les optimisations globales c'est (par exemple) que tu peux avoir un programme qui tourne bien, qui est efficace parce que le compilateur a fait une optimisation donnée, et puis tu modifies un petit truc qui rend cette optimisation inapplicable, et les performances sont fortement dégradées sans que tu comprennes forcément d'où ça vient (en tant que programmeur je parle, je comprends bien que le comportement du compilateur lui est déterministe). C'est particulièrement sensible dans les langages fonctionnels, où le fait que tu modifies une variable ou pas va faire qu'elle est traitée différemment --- pour Lisaac, je suppose que ce problème précis ne se pose pas, mais je me demandais s'il y en avait d'autres.
C'est toujours une question délicate, le choix entre des optimisations globales ou locales. Personnellement, je préfère les secondes, parce que ça prémunit contre les surprises, et il n'y a pas forcément besoin d'avoir une connaissance approfondie du compilo pour écrire un code efficace (je pense à des langages à la ML où la phase de compilation fait parfois un peu magie noire). Mais c'est une question d'équilibre et les deux écoles existent, avec de bons arguments de chaque côté.
[ Répondre ]
Re: Prêt à être utilisé par les masses?
Juste une question : Lisaac fait-il des optimisations globales ou pas ? (ie. a-t-il besoin d'analyser tout le programme pour savoir comment compiler chaque fonction/objet/prototype - je ne sais pas trop ce que ça manipule)
Si oui, souffre-t-il (potentiellement) du problème classique des compilateurs avec optimisations globales, à savoir : tu changes une ligne dans ton programme et ça modifie radicalement tes performances (en bien ou en mal, mais c'est en mal que c'est gênant), par des modifications qui se propagent en cascade ?
[ Répondre ]
Re: c'est rigolo
> Elle sont où tes 1500 pages condensées ?
Ici : http://www.durusau.net/publications/Muscular-WordProcessingM(...) (le lien était dans la lettre de Durusau citée plus haut par pBpG). Le pdf en question fait 452 pages ; on arriverait (en supposant le facteur de compression identique) à 1500 si on appliquait la même transformation aux autres parties d'OOXML (toujours d'après le message de pBpG supra).
Faut admettre que ça donne un document très lisible. Par contre, je ne sais pas si les informations "non normatives" supprimées étaient nécessaires à la compréhension ou pas. Et enfin, c'est assez inadmissible que justement ce travail n'ait pas été fait en amont. Quand on veut normaliser un truc, on envoie quelque chose de propre.
Cela dit, quand on voit le bordel qu'ISO a foutu dans Unicode, ou encore la grosse blague qu'est ISO 2022, on se dit que ceux qui avaient encore foi en l'ISO (pour les normes informatiques) ne s'étaient tout simplement jamais intéressé au problème.
[ Répondre ]
Re: DjVu
En plus, pour la question de l'OCR, j'ai déjà récupéré un document DJVU qui était manifestement un texte scanné mais sur lequel il était possible de faire des recherches textuelles. Je ne sais pas comment ça fonctionnait, j'imagine qu'il y avait eu une phase d'OCR préalable et qu'il est possible d'inclure ces informations au sein même du fichier DJVU. En tout cas, c'était très impressionnant. À approfondir.
[ Répondre ]
Re: Partage du carnet d'adresse...
Enfin pour ce genre d'utilisation (synchronisation), y'a quand même unisson qui me semble nettement plus adapté (il faut juste penser à le lancer régulièrement, mais un cron peut faire ça très bien).
[ Répondre ]
Re: whois
C'est exactement ça. En attendant que l'April arrive (espérons-le) à récupérer le domaine, le site est consultable à l'adresse :
http://candidats.april.org/
[ Répondre ]
Re: Je ne suis pas un specialiste ...
Et pour compléter sur ce point précis, d'après mes souvenirs de la conférence (attention, je ne suis absolument pas un spécialiste du domaine, je ne fais que répéter ce que j'ai entendu) :
Pour créer un trou noir au niveau atomique, il faut déjà que certaines hypothèses de la théorie des supercordes soient vérifiées (ça serait d'ailleurs une vérification expérimentale potentielle de cette théorie). Ensuite, en supposant que ce soit le cas, entrerait en jeu un mécanisme mis en évidence par Stephen Hawking qui dit qu'un trou noir rayonne de l'énergie (et donc en perd). Sur les trous noirs stellaires, ils en reçoivent plus qu'ils n'en perdent, donc ça influe très peu sur leur devenir. Mais au niveau atomique, le trou noir disparaitrait très rapidement, car il aurait très peu d'énergie à perdre (étant tout petit, avec l'équivalence masse / énergie). Et ça serait vachement cool, parce qu'en plus de vérifier la théorie des supercordes, ça vérifierait ce mécanisme (lui non plus n'a jamais pu être observé expérimentalement). Enfin le LHC n'a clairement pas été construit pour ça, hein. Ce serait une sorte de cadeau surprise si ça se produisait.
Et par rapport au délire ci-dessous sur les trous de ver, il faut noter que les trous de vers sont des solutions mathématiquement acceptables aux équations (on dit "solution d'extension maximale" ou quelque chose comme ça il me semble), mais très instables. Il faut en particulier supposer qu'ils sont là depuis toujours. Impossible donc de voir un trou de ver se créer lors d'une collision dans le LHC : un système instable ne peut pas mener à un trou de ver (qui, soyons franc, est un objet physico-mathématique très fun, mais a des chances assez proche de zéro d'exister en réalité).
[ Répondre ]
Re: Je ne suis pas un specialiste ...
En effet. Je recommande vivement la lecture du prochain Science et Avenir (avril 2008). Il y sera question des trous noirs, avec un DVD qui contient des simulations impressionnantes (note : je n'ai pas lu l'article mais j'ai vu une conférence de l'auteur des simulations).
[ Répondre ]
Re: Sisi
Oups, je viens de comprendre ce que tu voulais dire par « c'est assez délicat de dénoncer Machin Truc si toutes les pages concernant Machin Truc (celles pro-Machin Truc comme celles anti-Machin Truc) ont disparu, tu vois. » Et je suis tout à fait d'accord : censurer un événement en bloc, ça empêche d'en parler, donc de débattre. Mais là, j'insiste à nouveau dessus, la décision demandait uniquement la censure de liens vers des sites au contenu illégal (même si c'est complètement indécidable en pratique a priori, c'est important de voir que ce n'est pas une censure aveugle d'un thème).
[ Répondre ]
Re: Sisi
Je suis d'accord que Yahoo a été condamné, mais il est important de citer les passages pertinents, sinon on peut faire dire n'importe quoi à n'importe quel document. En l'occurrence, notamment, il n'a pas été demandé de supprimer la catégorie "négationniste" mais seulement les liens vers des pages présentant du contenu illégal. C'est fortement stupide car à peu près inapplicable en pratique, on est d'accord, mais ce n'est pas la même chose (ce n'est pas la catégorie générale qui est visée, mais les sites particuliers).
Par ailleurs :
c'est assez délicat de dénoncer Machin Truc si toutes les pages concernant Machin Truc (celles pro-Machin Truc comme celles anti-Machin Truc) ont disparu, tu vois.
Non je ne vois pas, désolé. La décision de justice est là, tu l'avais sous les yeux, tu as juste cité la mauvaise section. Bref, je ne vois pas le rapport avec le manque d'information.
[ Répondre ]
Re: Sisi
Sauf que c'est con, mais tous les extraits que tu cites sont dans la première partie, celle qui commence par "L'Union des Etudiants Juifs de France (...) nous demande de :"
Il s'agit donc uniquement des requêtes formulées par l'UEJ et la Licra (parties demanderesses). Suit l'argumentation de la partie défenderesse, puis les raisons du jugement ("attendu que...") et enfin, seulement, la condamnation (partie commençant par "par ses motifs").
Plusieurs billets de Maître Eolas expliquent comment lire une décision de justice, faudrait voir à pas faire du couper/coller n'importe comment.
[ Répondre ]
Re: Re:
ln (sans -s) est parfaitement symétrique :
touch foo && ln bar foo ou touch bar && ln foo bar ont rigoureusement le même résultat.
[ Répondre ]
Re: races
L'évolution se fait plus vite si on la sélectionne qu'à l'état naturel. Si on avait croisé des humains entre eux depuis aussi longtemps que les chiens, en sélectionnant certains caractères, on aurait peut-être des races variées.
Enfin d'après ce que j'ai compris.
[ Répondre ]
Re: rudeboy
(D'ailleurs, qu'est devenu [StopDRM] ? on voit zenitram, mais pas les autres, notamment les deux frères qui avaient initié tout ça)
Avec le départ des uns et des autres aux quatre coins du monde (études, mariage), les succès obtenus (essentiellement le terme "verrou numérique" que nous avons forgé et qui a fini par être repris jusque dans la presse généraliste, ainsi que l'absence de poursuites suite à nos auto-dénonciations) et la difficulté d'aller plus loin (le combat suivant serait les DRMs sur la vidéo, mais c'est nettement plus dur de communiquer dessus parce que les gens y sont habitués depuis les débuts du DVD, contrairement aux CDs qui étaient non verrouillés au départ - sans parler de la force de frappe marketing de la "haute définition"), le groupe s'est nettement démobilisé. On reste en contact les uns avec les autres, mais il faudrait sûrement que le sujet revienne sur le devant de la scène à l'occasion d'une nouvelle loi pour que nous reprenions du service actif (si tant est que cela se produise un jour).
Ceci est une analyse purement personnelle de la situation qui n'engage que moi.
[ Répondre ]
[ Précédent :: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 :: Suivant ]



Flash et PulseAudio
Flash 9 fonctionne très bien avec Pulse Audio à condition de compiler un petit plugin supplémentaire.
git-clone http://git.0pointer.de/repos/libflashsupport.git/et puis les classiques ./bootstrap.sh && make && sudo make install. Penser à installer libpulseaudio-dev et les éventuels outils manquants que bootstrap.sh vous signalera.
Mr Lapinot - Electrons prisonniers (blog)
[ Répondre ]