Journal La stratégie du choc

Posté par  (site web personnel) .
Étiquettes : aucune
7
9
mar.
2010
Après le best-sellers, le documentaire.

La "stratégie du choc" est un livre et maintenant un documentaire qui décrit comment l'idéologie dominante, bâtie par les oligarques pour eux même, utilisent les situations de crises provoquées ou non afin d'imposer ses normes, et de "terraformer" une société.

Cette idéologie, le néolibéralisme, est né à la sortie de la seconde guerre mondiale, en plein Keynésianisme triomphant, en se basant sur la philosophie de Friedrich_Hayek.
L'idée en gros, est que la (…)

Journal Hadopi en grande partie validée par le Conseil Constitutionnel

Posté par  (site web personnel) .
Étiquettes :
7
22
oct.
2009
Ce qui devrait arriver arriva : la première pierre de l'internet à la chinoise est maintenant posée.
Certains songent déjà à l'exil...
Le Conseil Constitutionnel dans sa décision 2009-590 DC a en grande partie validée la loi.
Communiqué de presse pour non juriste ici.

L'article 6.II de la loi a été censuré en ce qu'il renvoyait aux décrets d'application.
Je cite l'explication, que je ne saurais pas expliquer :

14. Considérant, toutefois, que l’article 34 de la Constitution réserve (…)

Journal Linux un bloat, ah bon ?

Posté par  (site web personnel) .
Étiquettes : aucune
13
23
sept.
2009
On aime bien Linus, sans ironie aucune, pour sa franchise (les nazis chez Gnome), sa sagesse (son peu d'enthousiasme pour les gueguerres entre les pro et cons de l'opensource), et sa lucidité.

Il vient d'en faire preuve une fois de plus en affirmant que Linux est devenu un bloat.


Personnellement, cela ne m'étonne pas pour plusieurs raisons :
  • L'informatique est vaste aujourd'hui, avec énormément de fonctions, de standards mais aussi de possibilité (ce qui est heureux) de par la débauche (…)

Processeur graphique : NVIDIA est mal parti pour les années à venir

Posté par  (site web personnel) . Modéré par baud123.
Étiquettes : aucune
24
8
sept.
2009
Technologie
Les processeurs graphiques sont d'une puissance inégalée par rapport aux cœurs de calcul disponibles sur les processeurs x86. Malgré tout, leur coût d'accès mémoire reste trop important. Plus encore, les processeurs graphiques sont très spécialisés dans le calcul pur rendant difficile leur programmation.

Pour un développeur programmant autre chose qu'un jeu, il est difficile d'évaluer si transférer les calculs sur le processeur graphique est intéressant, d'autant plus si la complexité des calculs peut être variable.

Quelques voix s'élèvent pour pointer ces problèmes qui peuvent laisser penser que le traitement graphique hors du processeur n'a plus que quelques années devant lui.

La victime de cet état de fait pourrait bien être NVidia.

Journal Le parti pirate obtien au moins un siège de député européen !!

Posté par  (site web personnel) .
Étiquettes : aucune
11
8
juin
2009
C'est le résultat incroyable (auquel on s'attendait, certains avec craintes, d'autres avec réjouissances) qui est tombé ce soir en suède, ou le piratepartiet a obtenu plus de 7%, soit au moins un député, voire peut être deux !!
C'est un séisme dans le paysage politique suédois, d'après numérama

Espérons qu'ils sensibiliseront leur collègues députés sur les atteintes rampantes à la démocratie et la liberté d'expression qui sourdent de plus en plus ici et là...

Journal La prise de conscience

Posté par  (site web personnel) .
Étiquettes : aucune
14
5
mai
2009
En 2000, j'ai fait connaissance avec le terme de néolibéralisme, et j'ai appris, - et depuis, etayé - ce que cette idéologie a de différent, voire de totalement contradictoire avec le libéralisme classique. Je ne vous renvoi pas vers la définition de wikipedia, qui pour une fois est assez mauvaise, mais vers un texte du philosophe québécois Maurice Lagueux décrivant la génèse et la naturede ce courant philosophico économique. Les lecteurs les plus endurants sont chaudement recommandé de lire (…)

Journal Contrats et exceptions

Posté par  (site web personnel) .
Étiquettes : aucune
4
12
mar.
2009
Un très intéressant article dans 01 sur l'introduction de la programmation par contrat dans les langages .NET.
En passant, Sun va devoir faire vite évoluer Java, car celui-ci commence à prendre du retard niveau fonctionnalités sur C#/.NET : langage LINQ, closures (certains préfèrerai un type Block à la SmallTalk/Ruby/Lisaac/etc...)
C'est l'opinion de Betrand Meyer, créateur d'Eiffel qui est ici intéressant : celui-ci regrette le maintien du système d'exceptions, le qualifiant de mécanisme "brutal".
J'ai déjà parlé icide (…)

Journal Téléphone sonne en ce moment sur France Inter

Posté par  (site web personnel) .
Étiquettes : aucune
1
9
mar.
2009
C'est le moment d'attirer l'attention de Madame michu sur l'outil dictatorial qui est en train de se mettre en place : le mouchard sur l'ordinateur de l'internaute.
Pour le moment, je n'en n'ai pas entendu parlé...

http://www.radiofrance.fr/franceinter/em/letelephonesonne/

PS : envoyez des mails, le téléphone est déjà saturé !

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 Déterminer le domaine d'un programme

Posté par  (site web personnel) .
Étiquettes : aucune
1
24
fév.
2009
Je devrais la mettre en forum, mais ça peut être intéressant.
Une question aux théoriciens qui traînent par ici : est-on capable pour une fonction définie dans un langage turing-complet, ayant défini son ensemble de départ, de déterminer l'ensemble d'arrivé de la fonction ?

Google n'est pas mon ami, pas plus que google scholar, mais je me doute que je ne lui donne pas les bons mots-clés.

Soit f une fonction (un programme), avec E et F tel que f (…)

Journal Le multicoeur va vraiment devenir problématique

Posté par  (site web personnel) .
Étiquettes : aucune
13
6
fév.
2009
J'en parlai il y a déjà 1 an et demi, mais il semble que le problème - insoluble - de l'invasion du multicoeur inquiète sérieusement l'industrie.

Dans cet article de LMI, un analyste de Gartner tire la sonette d'alarme sur l'avenir du logiciel sur les serveurs.

Le problème n'est même plus de réussir à faire des logiciel capable de faire leur boulot de manière performante avec 32,64,... 512 processus/thread, le problème est que les OS eux-même, en particulier (…)

Journal Le labo commun Inria-Microsoft

Posté par  (site web personnel) .
Étiquettes :
8
2
fév.
2009
L'inria, au grand dam de nombre de ses salariés, a pactisé avec l'ennemi pour créer un laboratoire commun de recherche.
Pour le moment, les Forces du Mal ne semblent pas avoir imposé leur maléfiques brevets logiciels, et permettent même de libérer les sources et informations sur leur projet par une licence agréée par le Camp du Bien.

On y trouve divers axes de recherches très intéressants :

Secure Distributed Computations and their Proofs et Tools and Methodologies for Formal Specifications (…)

Journal Perl, Javouille, Lisaac|(Ruby|SmallTalk|etc..)

Posté par  (site web personnel) .
Étiquettes : aucune
15
20
jan.
2009
Ayant pas mal codé en perl ces derniers temps, j'ai fait suffisamment de code pour commencer à avoir un avis à peu près informé de ce langage.
Je suis pourtant loin d'avoir exploré toutes les possibilités offertes, tellement elles sont énormes.
J'utilise principalement Perl pour ce quoi il est fait, c'est à dire analyser de la chaine pour en générer.
Les connaisseurs me demanderont pourquoi je ne code pas avec le langage que je défend : Je n'utilise pas encore (…)