Journal Maître Eolas se positionne contre le Blackout

Posté par  .
Étiquettes :
11
3
mar.
2009
Bonjour journal,

Je n'ai pas vu l'information passer ici, et la superbe CSS noire me fait tout à coup penser à ça...

Alors voilà, Maître Eolas, souvent cité ici pour ses explications éclairées sur les subtilités du droit s'est récemment positionné [1] sur le Blackout des sites proposé par la Quadrature du Net [2] et dont Linuxfr s'est fait le relais.

En gros, lui ne suivra pas le mouvement ("je ne me joindrai jamais à un de ces collectifs (…)

Journal La preuve de programme : où en est-on ?

Posté par  (site web personnel) .
Étiquettes :
3
3
mar.
2009
Je suis en train (d'essayer) de lire la thèse de J-C Filliâtre http://www.lri.fr/~filliatr/ftp/publis/these.ps.gz intitulée Preuve de programmes impératifs en théorie des types
L'objectif est simple : on pose des contrat pre et post sur un morceaux de code, on peut aussi poser des invariants au sein d'une boucle, et le logiciel ( http://why.lri.fr/index.fr.html ) qui est tiré de cette thèse :
  • Prouve la complétude et l'adéquation des contrats au code
  • Prouve que le code respecte les contrats

Plus fort que (…)

Journal En vrac et exsuse.de

Posté par  .
Étiquettes :
20
3
mar.
2009
Fedora va mettre le driver Nouveau par défaut

Bénéfice : C'est nettement mieux que le driver NV, mais toujours pas de 3D. Si on n'est pas un dingue de jeux, le driver Nouveau est tout à fait satisfaisant. Il est prévu que F11 sorte avec KMS (Kernel Mode Setting) pour nouveau (ça donnera un joli boot graphique).
C'est vraiment bon de voir que les efforts énormespour développer Nouveau va toucher une assez large audience. J'image que beaucoup sentiront moins (…)

Journal Nous partimes 500 mais par un prompt renfort nous nous vimes ...

Posté par  (site web personnel) .
Étiquettes : aucune
7
3
mar.
2009
5000 ! Plus fort que le Cid, ChtiLibre qui après un premier tirage à 500 exemplaires en 2007 vient de subir un second tirage à 5000 exemplaires !

Je suis excité comme une puce : ayé, on les a les fameux 5000 CDs financés par Christiane Bouchart (adjointe à l'économie sociale et solidaire de la ville de Lille). C'est émouvant, j'en ai presque les larmes aux yeux. Vin d'diouss !

Pour ceux qui n'auraient pas suivi, un petit tour par (…)

Journal Vive le cinéma !

Posté par  .
Étiquettes :
19
2
mar.
2009
Comme je ne suis pas égoïste, je vais te faire partager cher journal une bonne poilade du jour.
Je me suis rendu sur le site d'un quotidien français, réputé pour son impartialité et son indépendance : http://www.lefigaro.fr

Bon je vais être honnête : j'y vais juste pour faire monter les stats d'utilisateurs Linux/navigateur libre car le contenu est...comment dire ? Bref...

Je tombe sur un article au titre aguicheur : "Le cinéma dopé par la crise" http://www.lefigaro.fr/cinema/2009/02/28/03002-20090228ARTFI(...). En ces (…)

Journal Analyse de Bruce Perens de Microsoft versus TomTom

Posté par  .
Étiquettes : aucune
10
2
mar.
2009
Au début je pensais juste écrire une réponse dans le journal de IsNotGood https://linuxfr.org/~IsNotGood/27907.html mais après réflexion je me suis dit que ce message ne serait lu que par une seule personne probablement vu l'âge du journal et qu'il pourrait intéresser d'autre libriste.

Pour remettre le contexte cela parle de l'action intenté par Microsoft contre TomTom pour avoir utiliser certains de ses brevets et je répond tout particulièrement au trolleur dont le salaire est payé par cette boite qui prétendait (…)

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) ?

Posté par  .
Étiquettes :
9
1
mar.
2009
Bonjour, utilisant régulièrement firefox comme navigateur web, je suis parfois un peu intrigué par sa lenteur.

Voilà ma configuration :

Mon processeur est un dual core T2080 à 1.73 GHz
Ma carte graphique est intel 945GM
J'ai 1Go de mémoire vive
Sur un laptop toshiba.

Et firefox rame beaucoup...

Je me demande parfois quel est le facteur limitant dans son utilisation... Est-ce la carte graphique ? Les calculs de rendu ? Ma connexion internet ? Le plugin flash ?

PID (…)

Journal Mandriva, celle qui fait hiiiiihan aux agrégés

Posté par  .
Étiquettes :
8
1
mar.
2009
Celle qui n'a pas réussi à configurer une GeForce 2 en 92, celle dont le site est outrageant pour le bien commun, celle dont le wiki est pire que le site de la sncf un matin de noël, celle dont la politique est assimilable à une dictature rongée par le désire de faire souffrir ces utilisateurs, l'infâme et inhospitalière distribution, bien connue des madames Michu n'utilisant pas less, utilisée par des puritains en chaleur simplets, devrait oser proposer une 2009.1 (…)

Journal Grub2

Posté par  .
Étiquettes :
12
28
fév.
2009
Bon petit compte-rendu non pas de mon test de Debian Lenny sous Macbooktel, mais du test de Grub2 qui a suivi.

http://www.gnu.org/software/grub/grub-2.en.html

J'ai découvert, à cause de lvm qui fai(sait) planter l'installation du bootloader, que la dernière Debian utilise une version cvs de Grub2. Je n'aurais pas regardé en détail sans ce plantage vicieux. (Ne pas mettre tout sous lvm, et l'installation se passe bien. C'est lié à GPT le format de la table des partitions des Mac en ce (…)

Journal un petit détail sur Orange et Hadopi

Posté par  .
Étiquettes :
0
28
fév.
2009
Ce week-end c'est Hadopi... c'est pas une fête religieuse, juste un item dans ma todo list... Donc, après avoir rédigé une petite bafouille pour mon député, je me connecte sur le portail de mon FAI pour voir si par hasard il n'y aurait pas les prémisces de préparatifs indiquant que la chose serait déjà entendue pour eux. Rien.

Mais par contre un détail qui n'en sera plus un dans quelques temps: mes coordonnées sont erronées. L'adresse email enregistrée chez eux (…)