Aller au contenu | Aller au menu | Aller à la recherche
jeudi 18 juin 2009
Par Benoît le jeudi 18 juin 2009, 09:01
L'epsilon-dominance est une relaxation de la dominance à un epsilon près. Il est cependant fâcheux de voir que comme pour le rang, tout le monde n'utilise pas exactement la même définition. Voir par exemple l'implémentation qui en est faite dans les algorithmes OMOPSO et Omni-Optimizer.
Heureusement, cela ne change pas fondamentalement la notion d'epsilon-dominance, mais il faut se méfier de la valeur que l'on donne aux paramètres.
lundi 11 mai 2009
Par Benoît le lundi 11 mai 2009, 12:01
Synaptics est le pilote du pavé tactile que l'on retrouve par exemple dans le MacBook.
Le moyen préconisé pour le configurer est d'utiliser le fichier xorg.conf. Cependant, ce dernier, pour une raison que j'ignore, ne tient pas compte de mes paramètres, et d'ailleurs, ce fichier est devenu inutile pour les versions recentes de Xorg (je l'ai donc supprimé).
La configuration par défaut du pavé tactile est de clicker quand on le touche et d'utiliser le bord droit pour le défilement à l'intérieur des fenêtres. Je n'aime pas cette configuration anti-ergonomique et je n'ai jamais réussi à m'y faire. Si je veux clicker, il y a un bouton pour ça. Et je ne vois pas comment on pourrait deviner qu'une partie du pavé sert à autre chose que le déplacement de la souris. Quand on est pas au courant de ce fonctionnement, on ne comprend pas vraiment ce qui se passe quand on a le malheur d'approcher cette zone avec le doigt. Sous MacOSX, point de click au touché, et le défilement se fait en utilisant deux doigts.
Pour retrouver ce comportement malgré ce mutin xorg.conf, j'ai utilisé l'utilitaire de configuration synclient en ligne de commande. Taper synclient vous donnera la liste des paramètres, et vous pouvez les changer facilement, par exemple :
samedi 4 avril 2009
Par Benoît le samedi 4 avril 2009, 11:56
Je suis allé hier au concert des Ogres de Barback à Nantes, sans vraiment
connaître ce groupe à part avoir consulté leur page Wikipédia
ainsi qu'écouté une seule de leurs chansons sur last.fm.
Il s'agit de quatre frères et sœurs multi-instrumentalistes (ils changent même
d'instruments au cours de la chanson) qui ne se foutent pas de votre gueule
lors du concert en vous offrant 2h15 de spectacle (sans compter la première
partie) ainsi que le DVD de
leur tournée fin de chantier (2h46 de spectacle et 2h de bonus).
Des bons textes, de la musique travaillée et variée, du jeu de scène amusant et
original.
Je ne peux qu'encourager chaudement tout un chacun d'aller à leurs concerts et
d'acheter
leurs albums. Pour ne rien gâcher, ils sont auto-produits et vous
n'engraisserez pas Universal et cie (mais bien les artistes) en
achetant sur cd1d (CD, MP3 ou
FLAC, et moins cher que sur Amazon !).
Vous pouvez également consulter leur page MySpace.
mercredi 14 janvier 2009
Par Benoît le mercredi 14 janvier 2009, 20:24
Il est assez ennuyeux et rébarbatif d'écrire une interface en ligne de commande qui pose plein de questions à l'utilisateur. Le code de chaque question est quasiment toujours le même et ça prend vite de la place. Voyons comment écrire une fonction générique qui pose des questions qu'on lui passe en paramètre en Objective Caml.
Qu'a-t-on besoin dans nos questions ? Quatre éléments (à adapter selon les besoins) :
Dans notre cas, une question est donc un quadruplet (qstn,err,rtype,cdtn) où qstn est la question posée, err le message d'erreur, actn l'action à réaliser et qdtn la condition à remplir.
Voici un exemple de question :
let question = (
"Donnez un entier strictement positif : ",
"Il faut qu'il soit strictement positif",
int_of_string,
(>=) 0
);;
et une fonction pour traiter la question :
let rec demande (qstn,err,actn,cdtn) =
print_string qstn;
let r = actn (read_line ()) in
if (cdtn r)
then begin
print_endline err;
demande (qstn,err,actn,cdtn)
end
else r;;
Il suffit ensuite d'insérer demande question dans le code et de
créer un quadruplet pour chaque question.
dimanche 11 janvier 2009
Par Benoît le dimanche 11 janvier 2009, 12:08
Si vous avez installé linux - et seulement linux - sur votre Mac , une table de patition MBR a été créé à la place de l'habituel GPT de Mac. EFI va chercher une table de partition familière pour démarrer et ce processus dure dans les trente secondes pendant lesquels vous n'avez qu'un écran blanc.
Pour accélérer cela, munissez vous du disque d'installation de Mac OS X et démarrer dessus (en pressant le touche C au démarrage). Dans le menu du haut allez dans Utilitaires > Terminal. Dans le terminal, tapez :
diskutil list
vous devriez avoir quelque chose commençant par :
/dev/disk0/
#: type name size identifier
0: FDisk_partition_scheme *111.8 GB disk0
Installer le code dans la PRAM de votre Mac pour reconnaître les partitions MBR :
bless --device /dev/disk0 --setBoot -legacy
Attention : il se peut que le périphérique ne soit pas
/dev/disk0, mettez le périphérique donné par diskutil
list.
Au redémarrage de la machine, le détection du MBR ne devrait prendre que cinq secondes.
Source : Wiki Archlinux: MacBook
samedi 10 janvier 2009
Par Benoît le samedi 10 janvier 2009, 12:27
Mature est un anglicisme de plus en plus utilisé à la place de mûr. Pas la peine de rallonger les mots, le français est plus court et atteindre la maturité, son plein développement, c'est bien être mûr !
En français, mâture existe mais désigne les mâts d'un bateau ou (anciennement) un magasin de mâture.
samedi 27 décembre 2008
Par Benoît le samedi 27 décembre 2008, 17:23
openSUSE 11.1 fonctionne globalement bien sur un MacBook Intel Core2Duo.
La table de partition GPT est reconnue. J'ai partitionné le disque avec BootCamp et installé la distribution sur l'emplacement créé par ce dernier. Aucun souci à l'installation. Installation de rEFIt pour avoir le choix de démarrer sous MacOS ou Linux au démarrage.
Le clavier du MacBook est parfaitement reconnu. Il a été configuré automatiquement, j'ai juste eu à préciser que j'avais un clavier français à l'installation. Les touches @ < > et | fonctionnent enfin comme attendu !
Le Wifi fonctionne correctement et s'utilise aisément avec Knetworkmanager.
Le son est un peu criard après l'installation. C'est beaucoup mieux en
décochant Muet
de Surround
dans Kmix.
Pour retrouver le comportement des touches F1, F2 (luminosité de l'écran) et F3, F4, F5 (son) installer l'utilitaire pommed. Attention, il ne se lance pas automatiquement après un redémarrage de la machine.
L'autonomie laisse cependant un peu à désirer par rapport à MacOS. L'ordinateur semble se mettre en veille lorsque le capot est fermé, mais il chauffe tout de même un peu.
Pas de paquets Haskell ou Prolog trouvés par le gestionnaire de paquets... l'offre logicielle paraît plus faible que sous Debian ou Mandriva.
À part ça c'est très joli et bien fini. KDE4 est enfin utilisable. Pas d'Amarok 2 bancale mais un bon vieux Amarok 1.4 qui a le bon goût de fonctionner correctement. Petite bidouille pour faire fonctionner Amarok avec mes fichiers AAC (format Apple) : configurer les dépôts Packman, installer leur version d'Amarok avec le moteur Xine et les codecs qui vont bien.
Petite bizarrerie : les vidéo flash ne fonctionnent pas sur certains sites avec Konqueror alors que ça fonctionne avec Firefox. Pourtant le flash fonctionne avec Konqueror...
samedi 20 décembre 2008
Par Benoît le samedi 20 décembre 2008, 10:04
Après plusieurs semaines d'utilisation du FreeRunner sous la distribution Qt Extended 4.4.2, petit bilan :
Les plus :
prodisponible sur FreeRunner.
jeudi 18 décembre 2008
Par Benoît le jeudi 18 décembre 2008, 22:10
Avis à la population !
Je viens de voir dans les commentaires de ce blog un message dont l'unique but est d'augmenter le référencement Google d'un site bourré de publicité.
Le commentaire ne contient qu'une phrase ventant les mérites de ce blog, et
le champ site web
pointe vers cyclopio, site qui ne fait
qu'afficher les pages Wikipedia en y insérant moult publicité Google
AdSense.
Une petite recherche Google avec
cyclopio -site:cyclopio.com
(chercher les pages contenant le mot
cyclopio mais sans chercher sur le site éponyme) me donne à l'heure actuelle
2340 résultats pointant vers des blogs dont les commentaires sont spammés.
C'est vous dire l'ampleur du phénomène.
dimanche 14 décembre 2008
Par Benoît le dimanche 14 décembre 2008, 13:05
La forme pallier à quelque chose est très répandue bien qu'elle soit incorrecte. On devrait dire pallier quelque chose.
Pallier a deux sens. Le premier signifie dissimuler ou atténuer une chose fâcheuse en la présentant sous un jour favorable. Le second est un terme médicale signifiant atténuer un mal ou supprimer un aspect de ce mal mais sans le guérir.
À ne pas confondre non plus avec palier qui est une pièce mécanique ou une plate-forme horizontale.
mardi 9 décembre 2008
Par Benoît le mardi 9 décembre 2008, 10:45
<<<
Épisode précédent : les distributions
Il est possible d'essayer une distribution Linux sans risque de mettre la pagaille sur votre ordinateur.
Les live CD sont des systèmes d'exploitation s'amorçant sur un CD (il existe également des versions DVD et pour clés USB) ne nécessitant pas d'installation sur le disque dur.
C'est Slackware qui proposa la première distribution Linux de ce genre en 1995. DemoLinux en développa une autre en 1999, mais c'est avec Knoppix que ce type de distribution est devenu populaire vers 2003.
Le projet Debian propose le terme CD autonome pour désigner un live CD en français.
Les CD autonomes se déclinent souvent en plusieurs saveurs suivant les distributions. Ils sont généralement proposés pour les architectures Intel 32 et 64 bits et embarquent les bureaux KDE, GNOME ou XFCE.
La virtualisaton vous permet de lancer plusieurs systèmes d'exploitation au dessus de votre système.
VirtualBox est une machine virtuelle simple d'utilisation et fonctionnant sous Windows, Mac OS X et Linux. Il s'agit d'un concurrent libre et gratuit (certaines versions sont juste gratuites) des logiciels VMware et Parallels.
Cette solution a l'avantage de pouvoir utiliser un autre système d'exploitation dans une fenêtre de votre système hôte (il est également possible de mettre en plein écran). En revanche elle nécessite beaucoup plus de ressources qu'une installation classique ou un CD autonome (surtout de la mémoire vive et de l'espace disque).
samedi 6 décembre 2008
Par Benoît le samedi 6 décembre 2008, 12:36
De l'art de dire des conneries et un petit livre de Harry G. Frankfurt, professeur émérite en philosophie de l'université de Princeton. Il s'agit de la traduction de On Bullshit, qui est un essai philosophique écrit pour un séminaire de l'université de Yale en 1984 ou 1985 lorsqu'il y était fellow. L'auteur y tente de définir ce qu'est un baratineur. Car comme il le dit
L'un des traits caractéristiques de notre culture est l'omniprésence du baratin...
Il faut distinguer deux composantes du discours presque mensonger :
Le menteur a pour but tromper l'auditoire sur les faits rapportés, en le trompant sur son état d'esprit. Il sait que ce qu'il dit est faux, il veut le faire croire aux autres et pour cela il fait croire qu'il y croit lui même. Il sait cependant ce qui est vrai ou faux.
Le bluffeur veut quant à lui tromper l'auditoire sur son état d'esprit. Il n'est pas nécessaire pour cela que les faits rapportés soient juste ou faux. Le bluff nécessite également de la part de l'énonciateur de connaître la véracité des faits rapportés. Il peut dire la vérité comme il peut mentir, le bluff consistant à ne pas pouvoir le savoir.
Le menteur comme le bluffeur a un certain respect de la vérité. Tous deux savent ce qu'ils disent et leur mensonge demande de l'habileté et une grande précision pour introduire l'élément de mensonge dans un système cohérent en vue d'échapper aux fâcheuses conséquences que pourraient avoir leur mensonge.
Le baratineur ne cherche pas nécessairement à tromper l'auditoire sur les faits rapportés ou tromper sur son état d'esprit. Il peut effectivement le faire, mais ce n'est pas ce qui fait l'essence du baratin. Ce qui caractérise le baratineur est le peu d'importance qu'il accorde à la réalité. Ce qu'il peut dire est vrai ou faux, il peut le dire de toute bonne foi ou non, le baratin se situe dans son intention de donner une image déformée de lui même sans se soucier de la réalité. Il n'a aucune exigence de véracité.
Il faut toute fois distinguer le baratineur du fumiste qui a une intention délibérée de donner une vision déformée de sa personne en étant pédant, prétentieux, pompeux, etc. En ce sens, le fumiste est également une forme de menteur, contrairement au baratineur.
Selon l'auteur le baratineur est un pire ennemi de la vérité que le menteur car ce dernier y accorde au moins de l'importance. Le baratineur est souvent traîté avec plus d'indulgence que le menteur car on ne prend pas ses bêtises pour un affront personnel (il n'y a pas de désir de tromper). L'exactitude cède alors la place à la sincérité, peut importe de dire la vérité du moment qu'on le dit honnêtement... Et l'auteur de conclure :
la sincérité, par conséquent, c'est du baratin.
Sur le même sujet, Julien Dutant s'interroge sur le n'importe quoi, et/ou le débitage de conneries
Par Benoît le samedi 6 décembre 2008, 11:57
Pour écrire des mathématiques dans un fichier texte (comme par exemple dans ce billet), on se sent vite limité par le peu de caractères présents sur le clavier.
Une méthode possible est d'utiliser LaTeX qui a un excellent rendu des formules mathématiques et de l'insérer dans la page sous forme d'image dans vos pages web (spécialement générée par vos soins, par un site externe comme codecogs ou par l'intermédiaire d'une extension de votre SGC). Le rendu sera excellent, mais en revanche votre formule ne sera pas un texte comme les autres que vous pourrez copier/coller, redimensionner à votre guise. Si vous passez par un site tiers vous êtes de plus tributaire du fonctionnement du site.
L'autre possibilité qui s'offre à vous est d'utiliser les propriétés d'Unicode. Unicode est une norme visant à représenter de manière unifiée tous les jeux de caractères des différentes langues et autres symboles. Tous les fichiers textes manipulés informatiquement sont codés dans un jeu de caractères associant un symbole à une suite de bits. UTF-8 est un format de codage des caractères d'Unicode. Ce format est de plus en plus répandu (par exemple c'est le format de codage de cette page et celui utilisé par défaut sur les distributions Linux populaires actuellement). Le jeu de caractère Unicode contient plusieurs symboles mathématiques.
Voici quelques exemples ne représentant qu'une infime partie des caractères Unicode :
Ces symboles sont des caractères comme les autres sur cette page, vous pouvez les manipuler comme vous le feriez pour du texte (par exemple copier/coller ou modifier la taille de l'affichage).
Il est possible que tous ces caractères ne s'affichent pas correctement dans votre navigateur (ou éditeur de texte). Votre navigateur (ou éditeur) ne prend alors pas correctement en charge UTF-8. Il se peut aussi que le fichier ne soit pas spécifié dans le bon codage.
Par Benoît le samedi 6 décembre 2008, 00:27
Passer à Linux pour une utilisation personnelle, d'accord, mais par où commencer ?
Il faut tout d'abord choisir sa distribution. Linux en lui même n'est pas un système d'exploitation, mais un noyau. Une distribution Linux est un système d'exploitation complet avec un ensemble de logiciels. Il existe des centaines de distributions Linux répondant à divers besoins comme on peut le voir sur un site comme distrowatch (qui recense aussi d'autres systèmes comme les BSD). Pour une utilisation classique sur une machine de bureau personnelle (bureautique, multimédia, internet...), les huit distributions les plus populaires sont les suivantes :
L'ordre de la liste est purement alphabétique. Aucune n'est vraiment meilleure qu'une autre, tout dépend de ce que l'on cherche.
Parmi les distributions citées, Mandriva, openSuSE et Ubuntu sont les plus tournées vers la simplicité d'utilisation.
Mandriva et openSuSE disposent d'outils de configurations complets qui leurs sont spécifiques. Ces outils sont simple d'utilisation, regroupés dans un unique centre de configuration (bien qu'utilisables indépendamment) et permettent de réaliser toutes les tâches d'administration usuelles sans passer par la ligne de commande.
Ubuntu a une approche différente en faisant des choix par défaut à la place de l'utilisateur pour avoir un système cohérent nécessitant le moins de configuration possible (dans la philosophie de MacOS X). Des outils de configuration sont tout de même disponibles, mais ils ne sont pas spécifiques à Ubuntu et peuvent aussi être utilisés sur toute distribution.
Debian et Fedora ne sont pas pour autant difficiles d'accès. L'installation de ces systèmes n'est pas plus difficile que ceux cités précédemment, mais ce n'est pas leur objectif principal. Fedora est une sorte de laboratoire technologique intégrant les dernières innovations et est plutôt destinée aux utilisateurs avertis. Debian est une distribution généraliste dont le principal objectif est la robustesse. Pour ces deux distributions, l'utilisation de logiciels propriétaires (flash, certains pilotes de périphériques, certains codec audio et vidéo...) n'est pas simplifiée pour l'utilisateur (même si ce n'est pas difficile).
Arch Linux, Gentoo et Slackware proposent des installations plus minimalistes du système pour des utilisateurs qui souhaitent plus de personnalisation. Les outils de configuration sont moins nombreux, plus difficile d'accès pour l'utilisateur débutant, mais offrent la possibilité de configurer plus finement et plus simplement le système pour un utilisateur averti.
De nouvelles versions de Mandriva, openSUSE, Fedora et Ubuntu sont disponibles tous les six mois. Debian et Slackware sortent quand elles sont prêtes, c'est-à-dire jugées stables. Arch Linux et Gentoo quant à elles évoluent en permanence.
Les logiciels libres évoluant très rapidement, avoir une nouvelle version tous les six mois permet de profiter de logiciels relativement à jour (à six mois près maximum) tout en garantissant une certaine stabilité : les cycles de développement imposent une phase de test où les logiciels ne sont plus mis à jour mais stabilisés avant la sortie officielle et les mises-à-jour pendant la durée de vie de la distribution concernent seulement des corrections de bug et des mises-à-jour de sécurité (donc pas de risque en théorie d'avoir un changement de fonctionnalité dans un logiciel). Mais avoir des logiciels très à jour implique aussi d'avoir potentiellement plus de problèmes. Il y a donc un compromis à faire entre la nouveauté et la stabilité. Cependant, pour un usage courant, la plupart des distributions sont assez stables (problèmes mineurs).
Arch Linux et Gentoo ont une approche différente puisque ces distributions sont continuellement mises-à-jour. Le système évolue alors lentement, intégrant petit à petit les nouveautés. Cela permet d'avoir constamment des versions récentes des logiciels et d'éviter des mises-à-jour par saut. En contrepartie, il faut prendre le risque de voir les fonctionnalités des logiciels changer ce qui ne convient pas toujours à tous les usages. Les autres distributions permettent de passer d'une version n à une version n+1, mais cela ne se fait généralement pas sans risque.
Notons que Debian se décline en trois versions : stable/testing/unstable. Les deux dernières étant les versions de développement évoluant en permanence, et la dernière une version figée dans le temps. Les logiciels sont introduits dans unstable (parfois après un passage dans experimental), puis dans testing quelques temps plus tard si ça ne pose pas de problème majeur et enfin testing est figée périodiquement (plus de passage de unstable vers testing) pour devenir la prochaine stable quand elle ne contient plus de bug majeur. L'utilisation de Debian testing ou unstable revient alors à l'utilisation d'une distribution qui est mise à jour en continu. Les autres distributions ont également des branches de développement, mais elle est généralement unique (là où Debian en a deux) et la politique de Debian en terme de stabilité fait que même testing et unstable sont raisonnablement utilisables au quotidien. Il faut tout de même être averti du danger d'utiliser une version de développement.
jeudi 20 novembre 2008
Par Benoît le jeudi 20 novembre 2008, 10:02
Doit-on employer finals
ou finaux
comme pluriel de
final
?
En tant qu'informaticien ayant étudié les automates finis, je parle bien d'états finaux. J'ai donc
naturellement eu les yeux qui piquent lorsque j'ai lu finals
ce matin en
buvant mon café.
Eh bien les deux se disent ! L'excellent TLFI nous éclaire sur ce point :
D'apr. FÉR.
1768 et FÉR. Crit. t. 2 1787, n'aurait pas de plur., ce que conteste BESCH.
1845 qui recommande le plur. finals. Cf. aussi ROB. En fait, il y a flottement
entre finals et finaux : le 1er semble être le plur. de la lang. cour. et des
écrivains, le second celui des linguistes et des économistes
dimanche 16 novembre 2008
Par Benoît le dimanche 16 novembre 2008, 12:05
Mon téléphone Alcatel commence à déconner. Chaque fois quelqu'un m'appelle ou m'envoie un message, il redémarre. Je peux donc toujours l'utiliser pour appeler, mais personne ne peux me joindre avec. Il est temps d'utiliser mon Neo Freerunner comme téléphone principal. Le début d'une aventure.
Par Benoît le dimanche 16 novembre 2008, 00:02
Un article publié sur écrans au sujet de la surreprésentation des blancs
à
la télé m'inspire quelques réflexions.
On peut effectivement se demander pourquoi certaines parties de la population française (par exemple les femmes, qui en constituent à vue de nez la moitié) ne se retrouvent pas dans les mêmes proportions à la télé que dans la société. Manifestement, quelque chose cloche. Mais regardons de plus près : dans quelles proportions retrouve-t-on ces même catégories de personnes dans la demande de ces emplois à qualification équivalente ? Je n'ai pas vraiment la réponse à cette question, mais ça ne m'étonnerait pas que la discrimination ne se fasse pas au dernier maillon de la chaîne (l'emploi à la télé). Pour s'en convaincre, on peut se demander comment se répartissent les populations en terme de revenus et de diplômes. La représentation à la télévision est-elle vraiment différente de la composition des classes aisées (oui, j'imagine que les présentateurs télé sont plutôt dans la tranche aisée) ? À voir.
Mais ce n'est pas tout ! Ce qu'il y de vraiment visible à la télévision est
plutôt la discrimination à l'égard des moches ! On ne peut que constater leur
disparition du petit écran avec l'arrivée de la nouvelle génération. Qu'on
fasse grand bruit de la couleur d'Audrey Pulvar et d'Harry Roselmack cache la
triste
réalité que ces deux présentateurs sont beaux (tant mieux pour
eux, d'ailleurs). Qu'elle est radieuse la météo du Grand Journal sur Canal+
!
samedi 15 novembre 2008
Par Benoît le samedi 15 novembre 2008, 16:25
Dans ce billet, je pointais les différentes définitions de rang trouvées. La définition donnée par Caspard, Leclerc et Monjardet est plus communément appelée graduation en théorie des ordres, le terme de rang étant autrefois utilisé par la communauté francophone. La définition utilisée par Bernd S. W. Schröder est la plus communément admise et viendrait de la définition du rang dans un graphe orienté. En résumé la seconde définition est cohérente avec la théorie des graphes et plus largement répandue, tandis que la deuxième peut prêter à confusion. Pour cette dernière on lui préférera le terme de graduation qui n'est pas ambigu.
vendredi 14 novembre 2008
Par Benoît le vendredi 14 novembre 2008, 09:47
samedi 1 novembre 2008
Par Benoît le samedi 1 novembre 2008, 16:49
Je ressors de mon grenier un article de 2006 qui se veut humoristique sur
les systèmes de vote. Il s'agit d'un article écrit pour la rubrique le mot
des M2R
, autrefois appelée le mot des DEA
de feu le magazine
Logzin de l'association des doctorants en informatique de
Nantes (Login).
Il s'agit d'une parodie d'article scientifique pour la sélection d'un mot qui sera pour l'année le fameux mot des Master Recherche en Informatique mention Systèmes d'Aide à la Décision (M2R SAD). Ce mot a été sélectionné avec trois systèmes de vote et plus ou moins de rigueur.
Pour perdre son temps, c'est ici : Le mot des M2R.
« billets précédents - page 1 de 2
