Très bon papier, merci, qui explique comment on peut "désanonymiser" une élection de ce genre en rendant les préférences de vote des sortes de "signatures" que des personnes ayant intimidé les votants peuvent vérifier...
Gallium3D utilise LLVM pour compiler les shaders, pour les cartes disposant d'unités programmables.
Et pour les cartes à pipeline fixe aussi ! Je me disais que les possesseurs de "vieilles" cartes aller être oubliés, mais la conf de Stéphane Marchesin au FOSDEM du mois dernier expliquait bien comment plusieurs backends LLVM pour les différentes versions des chips NVidia ont été faits, et comment les optimisations permettaient de s'adapter (dans une certaine limite) aux "vieux" chips à pipeline fixe. Vraiment intéressant (même si ça reste très expérimental).
Il me semble que pour Coq, il ont essayé de réduire au maximum l'ensemble représentant les axiomes de base afin de les prouver "à la main", et de faire prouver le reste de Coq à partir de ça. Bon, c'est assez approximatif, si quelqu'un avait une explication plus clair, je suis pour.
Fait gaffe que ton patron trouve pas toutes tes contributions aux forums de linuxfr, sinon il te reprochera d'avoir déjà fait un mi-temps depuis longtemps .... ;-)
Exorbitant ... Ce n'est pas un magazine à grand tirage non plus. C'est le prix de 3 bières, enfin, je sais pas trop à quoi comparer, mais quand même, vu la qualité des articles (OK, c'est variable) je pense que ça les vaut (si tu voir un magazine encore plus "marginal", va regarder du coté de MISC ... et de son prix).
Pas tout à fait, elle existait déjà dans la v2. Ce qui est nouveau dans la v3, c'est l'interdiction des accord du type celui de Novell/MS, qui ne sont pas directement des accords sur l'utilisation de brevets (ce qu'interdit déjà la v2), mais des accords de "promesse de non attaque" (cf l'OSP). Oui, c'est de l'enculage de mouche, mais d'un coté c'est MS qui l'a provoqué ...
le processeur c'est 50%
Aujourd'hui, avec les dual-core, ça veut souvent dire que 1 core est à 100% (et puisque firefox est mono-processus, ça veut bien dire que flash consomme tout ce qu'il peut comme ressources).
Holala ... "au niveau de l'électronique" ... tu sais de quoi tu parles exactement ?
Le BIOS est executé par le processeur, comme tout programme/OS. Il communique avec des composants en envoyant des commandes (inb/outb), en écrivant dans des endroits de la mémoire mappés sur un périph (MMIO), bref, que des choses que sait faire n'importe quel OS.
Après, tu n'as pas tort sur le "à part si l'OS a les même connaissances que le BIOS" : c'est souvent le manque de doc qui empêche d'avoir un linuxbios fonctionnel par exemple. Genre tu ne pourras pas contrôler la tension / le coeff multiplicateur / etc. de ton processeur _parce que tu n'as pas les docs_. Mais si elles existent, l'OS pourrait tout à fait le faire ! Le BIOS ne peut _pas_ les cacher, sauf pour des mécanismes très particuliers comme le passage en mode protégé des x86 qui ont été conçu des l'origine pour ne pas être réversible. Mais, ça ne concerne pas l'accès à un périphérique.
Donc, pour revenir à nos moutons, quand cela concerne un périphérique dont l'OS a un driver, le BIOS ne peut rien faire !
Ça va pas t'aider beaucoup, mais j'ai déjà vu un problème dans le même genre qui arrivait avec OOo. Uniquement OOo. Sur un partage samba, qui marche très bien avec le reste. Avec client/serveur Ubuntu 8.10/8.04. Le bug report est ici : https://bugs.launchpad.net/ubuntu/+source/openoffice.org/+bu(...)
Personne ne sait d'où ça vient ...
Alors voilà, la méthode quand on est étudiant, en général, c'est de lire ses cours. C'est bien d'utiliser Google de temps en temps, mais je suppose que si la question t'a été posée, c'est que tu a dû étudier un peu le mécanisme de démarrage d'un système linux en cours, non ?
Sinon, pour répondre sans répondre, oui c'est possible, mais je pense que tu pars sur une mauvaise piste ... enfin, "se logguer automatiquement" me semble une mauvaise piste. Cherche autre chose ! (OK, la question t'orientais peut-être vers la mauvaise piste)
Bah, un peu comme un driver, quoi. À part que c'est plus modulaire, je ne vois pas de différence si énorme qui justifie une quelconque fermeture. Enfin bon, je peux toujours réver ...
C'est bizarre, il faudrait que je vérifie chez moi.
Le problème vient vraiment de la définition de "désactiver" : la plupart du temps, c'est juste de ne pas initialiser le périphérique.
Le BIOS est un mini-OS en lui-même, mais n'importe quel OS un peu évolué ne passe pas par lui pour accéder aux périphériques. Le BIOS est une antiquité qui n'a plus de sens aujourd'hui, les OS se débrouillent très bien tout seul (ok, j'exagère, il le faut juste le temps de booter le kernel). Il ne peut _pas_ empêcher l'OS de voir un péripérique si celui-ci le veut vraiment.
C'est dommage, car pour moi c'est la base de l'interopérabilité de filer les specs de son matos. Ainsi, les libristes pourraient au moins essayer d'implémenter un synthétiseur libre. Même s'il est moins performant, ce n'est pas le plus important pour moi.
[^] # Re: Au contraire, un excellent système !
Posté par benoar . En réponse au journal [HS] Mort au scrutin proportionnel !. Évalué à 4.
[^] # Re: Virtual Machine && Gallium3D
Posté par benoar . En réponse à la dépêche La version 2.5 du compilateur LLVM est disponible. Évalué à 4.
Et pour les cartes à pipeline fixe aussi ! Je me disais que les possesseurs de "vieilles" cartes aller être oubliés, mais la conf de Stéphane Marchesin au FOSDEM du mois dernier expliquait bien comment plusieurs backends LLVM pour les différentes versions des chips NVidia ont été faits, et comment les optimisations permettaient de s'adapter (dans une certaine limite) aux "vieux" chips à pipeline fixe. Vraiment intéressant (même si ça reste très expérimental).
http://fosdem.org/2009/schedule/events/xorg_llvm_gallium
[^] # Re: Astuce... encore...
Posté par benoar . En réponse au message Distribution minimaliste. Évalué à 2.
[^] # Re: ben... une Debian...
Posté par benoar . En réponse au message Distribution minimaliste. Évalué à 5.
[^] # Re: Se passer des tests ...
Posté par benoar . En réponse au journal La preuve de programme : où en est-on ?. Évalué à 4.
[^] # Re: Ca sent le sapin
Posté par benoar . En réponse au message convention syntec et licenciement economique. Évalué à 9.
[^] # Re: merci bcp !
Posté par benoar . En réponse au message besoin d'un tutoriel Ada pour newbie total de 15 ans. Évalué à 1.
[^] # Re: Pourquoi utiliser la FAT ?
Posté par benoar . En réponse au journal Analyse de Bruce Perens de Microsoft versus TomTom. Évalué à 2.
[^] # Re: Gpl 3
Posté par benoar . En réponse au journal MS attaque TomTom et Linux (putain de brevets). Évalué à 2.
[^] # Re: Pour le charger
Posté par benoar . En réponse au message Changement de carte son. Évalué à 3.
[^] # Re: Le flash...
Posté par benoar . En réponse au journal Firefox est-il un bloatware (en français : un logiciel dont les fonctionnalités ne justifie pas une telle utilisation des ressources matérielles) ?. Évalué à 3.
Aujourd'hui, avec les dual-core, ça veut souvent dire que 1 core est à 100% (et puisque firefox est mono-processus, ça veut bien dire que flash consomme tout ce qu'il peut comme ressources).
[^] # Re: dans le bios de la machine ?
Posté par benoar . En réponse au message lenny stable, evo N400c, trackball trop sensible.. Évalué à 2.
Le BIOS est executé par le processeur, comme tout programme/OS. Il communique avec des composants en envoyant des commandes (inb/outb), en écrivant dans des endroits de la mémoire mappés sur un périph (MMIO), bref, que des choses que sait faire n'importe quel OS.
Après, tu n'as pas tort sur le "à part si l'OS a les même connaissances que le BIOS" : c'est souvent le manque de doc qui empêche d'avoir un linuxbios fonctionnel par exemple. Genre tu ne pourras pas contrôler la tension / le coeff multiplicateur / etc. de ton processeur _parce que tu n'as pas les docs_. Mais si elles existent, l'OS pourrait tout à fait le faire ! Le BIOS ne peut _pas_ les cacher, sauf pour des mécanismes très particuliers comme le passage en mode protégé des x86 qui ont été conçu des l'origine pour ne pas être réversible. Mais, ça ne concerne pas l'accès à un périphérique.
Donc, pour revenir à nos moutons, quand cela concerne un périphérique dont l'OS a un driver, le BIOS ne peut rien faire !
[^] # Re: Voila ce qui arrive quand on veut tout transformer en methode
Posté par benoar . En réponse au journal Il faut sauver le soldat %. Évalué à 4.
(1).__add__(2)[^] # Re: Mode single
Posté par benoar . En réponse au message Se logger automatiquement en root en mode console. Évalué à 2.
[^] # Re: En utilisant mingetty
Posté par benoar . En réponse au message Se logger automatiquement en root en mode console. Évalué à 2.
[^] # Re: Mode single
Posté par benoar . En réponse au message Se logger automatiquement en root en mode console. Évalué à 2.
# Une piste
Posté par benoar . En réponse au message Probleme bizarre d'écriture sur partages samba / smb4k. Évalué à 2.
https://bugs.launchpad.net/ubuntu/+source/openoffice.org/+bu(...)
Personne ne sait d'où ça vient ...
# Héhé
Posté par benoar . En réponse au message Se logger automatiquement en root en mode console. Évalué à 5.
Sinon, pour répondre sans répondre, oui c'est possible, mais je pense que tu pars sur une mauvaise piste ... enfin, "se logguer automatiquement" me semble une mauvaise piste. Cherche autre chose ! (OK, la question t'orientais peut-être vers la mauvaise piste)
[^] # Re: Peut-on développer sur un système 100% libre ?
Posté par benoar . En réponse à la dépêche Le projet Armadeus passe à la vitesse supérieure. Évalué à 2.
[^] # Re: « Support » du globbing ?
Posté par benoar . En réponse à la dépêche Sortie de GNU Bash 4.0. Évalué à 3.
[^] # Re: dans le bios de la machine ?
Posté par benoar . En réponse au message lenny stable, evo N400c, trackball trop sensible.. Évalué à 2.
Le problème vient vraiment de la définition de "désactiver" : la plupart du temps, c'est juste de ne pas initialiser le périphérique.
Le BIOS est un mini-OS en lui-même, mais n'importe quel OS un peu évolué ne passe pas par lui pour accéder aux périphériques. Le BIOS est une antiquité qui n'a plus de sens aujourd'hui, les OS se débrouillent très bien tout seul (ok, j'exagère, il le faut juste le temps de booter le kernel). Il ne peut _pas_ empêcher l'OS de voir un péripérique si celui-ci le veut vraiment.
Je teste et je te redis ce que j'ai trouvé.
[^] # Re: Prix ?
Posté par benoar . En réponse à la dépêche Le projet Armadeus passe à la vitesse supérieure. Évalué à 2.
[^] # Re: Peut-on développer sur un système 100% libre ?
Posté par benoar . En réponse à la dépêche Le projet Armadeus passe à la vitesse supérieure. Évalué à 3.
[^] # Re: Peut-on développer sur un système 100% libre ?
Posté par benoar . En réponse à la dépêche Le projet Armadeus passe à la vitesse supérieure. Évalué à 3.
[^] # Re: Plus impressionnant que Firefox 3.1 aussi
Posté par benoar . En réponse au journal [HS] Safari 4 : plus impressionnant que Google Chrome. Évalué à 7.