Blog de Laurent

Aller au contenu | Aller au menu | Aller à la recherche

samedi, 12 avril 2008

Quand on n'y compends rien et qu'on prend des initiatives

J'avais dit un jour par messagerie instantanée à une connaissance de faire ps aux |grep acidrip pour savoir le PID du processus acidrip. Le but étant de le tuer parce qu'il avait l'air de planter. Au bout de 20 minutes, je le tue moi-même en ssh et 10 minutes plus tard, je recoit la plainte suivante :

:~$ ps aux |grep acidrip

XXXX 7798 0.0 0.0 2976 760 pts/2 R+ 15:49 0:00 grep acidrip

:~$ kill 7798

bash: kill: (7798) - No such process

Bon. J'avoue que ça ne fera rire que les geeks.

vendredi, 11 avril 2008

Quand la Chine fait la loi à Paris

Maintenant, les français savent ce que c'est que la liberté de presse. Un journaliste français de France 2 se fait virer par la police française du cortège olympique (à Paris) sous la demande des chinois.

http://www.lalibre.be/culture/mediastele/article/414317/un-journaliste-derangeant-vire-sur-ordre-des-chinois.html

cooooool ...

mercredi, 2 avril 2008

Facebook : ma nouvelle paranoïa.

Comme d'habitude, j'ai l'impression d'être le seul sur cette planète à me faire du soucis mais bon ... j'ai l'habitude.

Aujourd'hui, quand on se rend dans la moindre soirée, on a au moins 10 personnes inconnues équipées d'appareil photos et de comptes Facebook. Ces personnes ne vont JAMAIS vous demander votre autorisation avant de publier vos potos sur Facebook. Ça s'appelle la "sociabilité" : quand on a passé un bon moment dans une soirée, il faut en faire profiter la terre entière grâce à Facebook. C'est accessoirement illégal, mais passons sur ce point qui n'a jamais eut de prises sur les comportements informatiques.

Or, si on pense à une échelle plus longue que la semaine, on n'a AUCUN contrôle sur l'avenir des photos publiées sur Facebook. Entre autres parce que pour Facebook, vos photos, vos informations, vos amis et vos hobbies sont des biens commerciaux dont la vente fait leurs affaires.

Bref, quand mes enfants taperont mon nom sur Google, sur quoi tomberont ils ? Êtes vous sûr qu'il n'y ait non seulement pas de photos de vous sur Facebook que vous ne voudriez pas être vues par vos enfants en bas âge (on espère bien qu'ils aient le réflexe Google avant leur 10 ans), mais que de surcroît, aucune photo de vous ne se trouve dans le même album que d'autres photos auxquelles vous ne voudriez pas que vos enfants vous associent ?

Hélas, je crois que déjà aujourd'hui personne ne peut répondre avec certitude par la négative à ces questions.

Donc, avant de publier, demandez la permission aux personnes qui apparaissent sur les photos (par défaut, je vous préviens tout de suite que vous n'avez pas la mienne). Au pire, quoi ? Au pire on retourne deux ans en arrière dans la technologie de socialisation. Woaw ! C'est vrai qu'à l'époque on était moins heureux.

lundi, 31 mars 2008

JO : les droits humains en différé ?

Une superbe dyatribe par Amnesty International contre l'organisation des JO par la Chine. http://www.amnestyinternational.be/doc/article12604.html

Quelque passages-clefs qui ne manquent pas de sel

  1. les Jeux de 2008 seront avant tout, comme ils le furent pour un petit chancelier en 1936, une immense vitrine de propagande. Les brutalités et la répression à laquelle nous assistons n’ont pas lieu malgré la proximité des JO, mais en raison de celle-ci. Ça promet donc pour le mois d’août.
  2. Des milliers de prisonniers d’opinion croupissent encore dans les geôles chinoises, ou sont victimes de la « rééducation par le travail »
  3. Le pouvoir, déjà très en avance technologiquement sur le contrôle d’Internet (grâce à la complicité active de grandes compagnies comme Google, Yahoo ou Microsoft), a encore resserré les liens de la toile, visant notamment des sites informant sur le VIH/SIDA.
  4. Présente en Chine, la chaîne européenne sportive Eurosport vient de s’engager auprès du gouvernement chinois, à ne diffuser aucun reportage mettant en avant la pollution, les droits de l’homme et les menaces de boycott à partir de maintenant et jusqu’à la fin des jeux olympiques de Pékin en août prochain.

Et je m'en voudrais de ne pas citer au complet ces deux paragraphes qui donnent une alternative au boycot pour qui irait malgré tout sur place :

''S’il est difficile de demander le boycott à des athlètes qui ont passé des années à se préparer, il est du devoir des gouvernements d’exprimer clairement aux autorités chinoises leur désapprobation totale de la situation des droits humains dans ce pays.

Ceci dit, rien ne nous empêche de « retourner » les Jeux Olympiques, de telle sorte qu’ils soient surtout une vitrine de la réalité des souffrances, non seulement des athlètes engagés, mais surtout des plus faibles parmi les Chinois. Qu’il s’agisse pour nos représentants d’arborer fièrement la Déclaration universelle des droits de l’homme partout où ils iront (nous en avons un stock à leur disposition) et d’en rappeler le contenu à tous leurs interlocuteurs chinois, ou pourquoi pas, comme l’appelait de tous ses voeux Yvon Toussaint dans le Soir récemment, un geste « déplacé » de certains sportifs lors des cérémonies ?''

Et enfin, l'envoi

En fait, les Jeux Olympiques seront surtout ce que notre volonté d’agir en fera. Il reste peu de temps, le compte à rebours est déjà largement entamé. Il est temps de le rappeler fermement aux Chinois Faute de quoi, nous en serons réduit à boycotter ... nos écrans de TV.

samedi, 29 mars 2008

Garre à la prochaine Hardy

Outre le bogue numéro 1 qui continue à sévir, Hardy est atteint du bogue 182996 qui est sérieux (et encore présent dans la dernière beta). La mise à jour se déroule correctement, mais au redémarrage c'est fini : on tombe dans une console de secours, y'a plus qu'à réinstaller Gutsy.

Tous les ordinateurs ne sont pas victimes de ce bogue (le mien l'est), et il y a une façon simple de savoir si le votre est victime ou non : essayez avec un live-CD de Hardy. Si votre ordinateur est atteint, le live crashera lamentablement, y'a pas moyen de le rater :)

vendredi, 28 mars 2008

Casus orthographique

J'ai un problème d'orthographe qu'aucun membre de l'académie ne pourra résoudre. Vous savez que l'usage est de mettre un pluriel sur "aucun" quand il y en aurait eut plusieurs au cas où il y en avait eut.

Aucun gagnant n'a été proclamé pour cette course. Singulier sur gagnant parce que si il y en avait eut, il n'y en aurait eut un seul. Les chinois sont intervenus ... heu pardon; mauvais exemple ... Un ouragan est passé, heureusement il n'y a pas eut de victimes Pluriel sur victimes parce qu'en général il y en a plus qu'une.

Maintenant prenez M, une algèbre de von Neumann et T, un élément positif dont la fermeture de l'image (en tant qu'opérateur sur un espace de Hilbert) est tout l'espace. On peut prouver la chose suivante :

Le module E=M/MT n'a pas de sous-module projectif ...

est-ce que "sous-module projectif" doit être au pluriel ? On ne peut pas se demander combien il y en aurait eut : c'est un théorème qu'il n'y en a pas. Et suivant l'hypothèse qu'on change, la réponse peut varier.

samedi, 15 mars 2008

Une très bonne de chez Total

http://www.lalibre.be/economie/actualite/article/408267/un-baril-a-60-dollars-j-y-crois-toujours.html

Dans une entrevue avec le patron de Total Belgique, Miguel del Marmol, nous avons la question/réponse suivante :

Quels sont les éléments susceptibles d'enrayer la hausse ? Une offre plus abondante, assurément. L'Opep détient les clés. Ensuite, une réduction de la demande qui, je le souligne, ne doit pas être très importante. Quelques dixièmes de pc suffisent à modifier les équilibres. Je pense toujours qu'on peut revenir à des niveaux de l'ordre de 60 dollars le baril. C'est dans l'intérêt de l'Opep. Si l'on atteint des niveaux trop élevés, on va accélérer l'arrivée d'autres énergies, dont certaines irréversibles.

(c'est moi qui met la fin en gras)

Y'a pas un espèce d'effet comique à dire que si les prix du pétrole deviennent trop élevés, alors des solutions irréversibles risquent de se produire ?

En attendant, la Chine ne se calme pas en prévision des jeux Olympiques : http://www.lesoir.be/actualite/monde/nouvelles-manifestations-de-2008-03-15-584571.shtml

jeudi, 13 mars 2008

Des transcrition de Bach pour aubois

Le lien vers le télécargement est ici, on peut voir la couverture de la pochette ici.

Et comme d'hab, les trois premiers ou premières qui réagissent l'ont gratos.

Note : il reste encore une place pour les quatuors de Mozart.

mardi, 11 mars 2008

Encore une regexp

Quand même ... la recherche suivante m'a donné 11 résultats grep "does not a-z*s " *.tex

Ça fait mal hein ?

(11, dont un "one does not always have a notion of convergence" qui est correct)

Rien que pour cette capacité à utiliser des regexp dans mes textes pour trouver des fautes d'orthographe courantes, je trouve que ça vaut la peine d'utiliser LaTeX avec un OS qui a une belle interface en ligne de commande1.

Je me demande comment vivent les gens qui n'ont pas deux sous de programmation ... ils utilisent Word ou quoi ?

1 Encore que, au final, la recherche est faite avec un grep directement dans gVim, et non dans un terminal. Mais ça utilise quand même bash parce que j'ai hacké le grep de Vim pour que la recherche se fasse dans une liste de fichiers produite par un script (bash) qui fait des ls *.tex dans les répertoires qui contiennent des sources LaTeX en anglais.

Cycliste et piéton ...

Je sais que ce n'est pas bien de rire du malheur des autres, mais j'ai un peu l'impression que le pétrole à 50$ était présenté comme une Bérézina il y a à peine 3 ans.

Aujourd'hui, en moins d'une semaine, il est monté de 10$ en passant de 100 à 110. (on a bien dépassé le double d'il y a trois ans). En attendant, aux USA on dévalue la monaie et on continue à gaspiller comme si de rien n'était. Tout va bien.

En tant que cycliste, je me sens un peu comme le rat qui a quitté le navire.

lundi, 10 mars 2008

Jeux olympiques

Cette année, les jeux olympiques ne doivent pas être confindus avec une compétition sportive. En effet, le principal effet des jeux olympiques consiste en des vagues de répression des défenseurs des droits humains en Chine. Les courses, les médailles, la flamme; tout ça c'est du pipo, c'est de la compétition et de l'argent entachée de sang.

Un lien parmi bien d'autres. http://www.amnestyinternational.be/doc/article12541.html

Rendez-vous en 2012 pour les prochains vrais jeux olympiques.

dimanche, 9 mars 2008

Encore une pour la route

... dans le Retour du Jedi, la princesse Leia dit avoir des souvenirs de sa mère. Voila qui ruine l'histoire du soit-disant épisode III.

Nan franchement, ça devient effrayant; il y a un aspect systématique au fait que lorsque l'ancienne trilogie parle du passé, c'est pour contredire ce qu'on voit dans la nouvelle. Le scénariste a du le faire exprès; en tapant un scénario au hasard, on n'a pas autant de fautes !

Un bonne expression rationelle

Devinez quelle faute d'orthographe anglaise courrament commise par mes soins m'a permit de retrouver la commande suivante

$ grep grep "will [a-z]*s " *.tex

Je ne sais pas comment j'aurais pu les retrouver sans une bonne ligne de commande et une vieille expression rationelle.

Zou, je remets l'adresse que Fanny a laissée dans un commentaire la denrière fois que j'ai parlé de bash. http://xkcd.com/208/

J'avoue ne pas avoir les compétences pour troller contre perl, mais je suis sûr que python est meilleur ;)

samedi, 8 mars 2008

Des quatuors de Mozart ?

Conformément aux conditions de vente, je donne le mot de passe pour télécharger aux trois premières personnes qui se manifestent.

Cliquez ici pour vous donner envie

Vous pouvez baver gratos en regardant la pochette du CD: artwork.pdf

Vous en connaissez beaucoup, des blogs qui offrent une heure de Mozart sans DRM à ses lecteurs ? (je doute d'avoir plus de 3 lecteurs en comptant les lectrices)

EDIT : correction du sale anglicisme "quartet" pour "quatuor" dans le titre.

EDIT (17 mars 2008) : Fini. Les trois ont été distribués. Il y a des transcriptions de Bach au haubois è gagner plus haut.

jeudi, 6 mars 2008

Ça chauffe contre Word

Une tradition sur le forum Usenet de LaTeX est que l'on peut troller le vendredi, mais uniquement le vendredi. Bonne tradition bien respectée qui fait de ce forum un lieu agréable à fréquenter.

Mais il faut savoir que quand on parle de LaTeX, dire que Word est de la merde n'est pas un troll, c'est comme dire que le créationisme est faux, que le paquet de réformes constitutionelles est anecdotique, ou que le prince Laurent est un gros boulet pour le contribuable belge. Word est de la merde comme 1+1=0 mod 2.

Un bon exemple ici, où le pauvre posteur initial pose une question qui revient è demander comment faire aussi moche en LaTeX qu'avec Word. (techniquement, la question est intéressante, parce que LaTeX n'est pas prévu pour faire des trucs dégeu, tandis que Word est tout à fait fonctionnel en ce domaine)

http://groups.google.fr/group/fr.comp.text.tex/browse_thread/thread/c1166dd80432a289/bc594642a3c8da27?hl=fr#bc594642a3c8da27

mercredi, 20 février 2008

La force de Bash

Horreur !

J'ai extrait deux CD du même auteur dans le même répertoire.

Comment les séparer ? Regarder un par un le nom de l'album (bouton-droit, propriétés, onglet méta-informations) ?

_-_01_-_Je_Voudrais_te_Prendre.ogg _-_01_-_Lynda_Lemay_%2f_Du_Coq_à_L'âme.ogg _-_02_-_Décevoir.ogg _-_02_-_Maudite_Prière.ogg _-_03_-_J'veux_Pas_D'chien.ogg _-_03_-_Ma_Chouette.ogg _-_04_-_Alphonse.ogg _-_04_-_J'veux_Bien_T'aimer.ogg _-_05_-_J'aime_la_Pêche.ogg _-_05_-_L'incompétence.ogg _-_06_-_La_Centenaire.ogg _-_06_-_Les_Filles_Seules.ogg _-_07_-_Epoustouflante.ogg _-_07_-_Macédoine.ogg _-_08_-_Donnez-Lui_la_Passion.ogg _-_08_-_Le_Plus_Fort,_c'est_mon_Père.ogg _-_09_-_La_Cassette_Vidéo.ogg _-_09_-_La_Marmaille.ogg _-_10_-_Ceux_que_l'on_Met_au_Monde.ogg _-_10_-_Un_Homme_de_50_Ans.ogg _-_11_-_Des_Pieds_et_des_Mains.ogg _-_11_-_Le_29_Août_2000_au_théâtre_St-Denis.ogg _-_12_-_Chéri,_tu_Ronfles.ogg _-_12_-_Va_Rejoindre_ta_Femme.ogg _-_13_-_La_Visite.ogg _-_13_-_L'enfant_Aux_Cheveux_Gris.ogg _-_14_-_Gros_Colons.ogg _-_14_-_Les_Souliers_Verts.ogg _-_15_-_Dans_mon_Jeune_Temps.ogg _-_15_-_Les_Deux_Hommes.ogg _-_16_-_Au_Nom_des_Frustrées.ogg _-_16_-_Bande_de_Dégonflés.ogg _-_17_-_Au_Nom_des_Frustr¨¦es_(bis).ogg _-_17_-_Bande_de_Dégonflantes.ogg _-_18_-_Ma_Plus_Belle_Déception.ogg _-_19_-_La_Leçon_de_Québécois.ogg

Il y a moyen d'être plus malin que cela si on manipule un peu la ligne de commande. En effet, un des deux albums a pour nom «Live». Je peux obtenir la liste des chansons de cet album de la façon suivante :

for i in *.ogg; do vorbiscomment $i |grep -B 10 Live |grep title ;done

La sortie :

1:1-title=Je Voudrais te Prendre

1:1-title=Décevoir

1:1-title=Ma Chouette

1:1-title=Alphonse

1:1-title=L'incompétence

1:1-title=Les Filles Seules

1:1-title=Epoustouflante

1:1-title=Le Plus Fort, c'est mon Père

1:1-title=La Marmaille

1:1-title=Ceux que l'on Met au Monde

1:1-title=Des Pieds et des Mains

1:1-title=Chéri, tu Ronfles

1:1-title=La Visite

1:1-title=Les Souliers Verts

1:1-title=Dans mon Jeune Temps

1:1-title=Au Nom des Frustrées

1:1-title=Au Nom des Frustr¨¦es (bis)

On remarque au passage que sans raisons apparentes, le dernier accent ne passe pas ...

samedi, 9 février 2008

De l'effort physique excéssif ?

Hier j'ai fait 100 séries de 1000 abdominos d'affilé. Il existe 10 sortes de personnes : celles qui trouveront ça crédible, et les autres.

samedi, 2 février 2008

Consistence logique de Dieu

Juste pour test de logique : évidement Dieu peut fournir une réalisation explicite de Banach-Tarsky. Cela est cohérent avec le fait qu'il implique l'axiome du choix.

Y'a pas un truc en math dont l'existence est assurée par la *négation* du choix ? Dans ce cas, vu qu'il y a de fortes chances que Dieu parvienne quand même à le réaliser, on aurait prouvé l'inconsistence logique de Dieu, et on aurait clos un débat millénaire.

Existence de Dieu et consistance logique de la mathématique

Comme ça fait longtemps que ça traîne, il fallait bien que quelqu'un tranche enfin la question : putain de oui ou non, Dieu existe-t-il ? C'est la question que je me propose de trancher dans cette note.

Prenez n'importe quel sous-ensemble E de l'ensemble des rationnels, c'est à dire un ensemble de fractions que l'on va supposer être écrite sous forme irréductible. Dans E, prenez les fractions qui ont le plus petit dénominateur, et parmi celles-là, sélectionnez l'élément (nécessairement unique) qui a le plus petit dénominateur.

Cela donne une recette qui à chaque ensemble de rationnels sélectionne un de ses éléments. Cette recette est une fonction de choix sur Q.

Admettons maintenant l'hypothèse de l'existence de Dieu. Par définition, Dieu peut considérer tous les sous-ensemble des nombres réels (je te jure qu'il y en a plus que des sous-ensembles de rationnels), et il peut dans son infinie liberté sélectionner un élément de chacun de ces sous-ensembles. C'est à dire qu'admettre l'existence de Dieu implique l'existence d'une fonction de choix sur R.

Ah merde.

Ça ne prouve pas le non-existence de Dieu. Ça prouve juste que son axiome implique l'axiome du choix. Disons en tout cas que ça prouve l'inconsistance logique entre croire en Dieu et faire de la mathématique constructiviste.

jeudi, 31 janvier 2008

ODT, ça reste de la blague

Bien sûr ODT c'est libre, donc c'est interopérable, Comme c'est beau n'est-ce pas ?

N'empèche que je fais un document de 5 lignes avec Google Doc, je l'exporte en ODT, et Open Office m'en fait un document de 8 lignes, avec des marges beaucoup plus étroites.

- page 1 de 3