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 (…)

Il y a environ un an, Nicolas Boulay avait affirmé que javascript n'était pas vraiment un langage à prototype.
Il avait reçu une volée de bois vert, du style "Wikipedia et tout le monde dit que c'est du prototype, donc ce que tu dit est débile". C'est d'ailleurs pour cela que j'ai choisi ce titre provocateur ;-)

Javascript est certes un langage à prototype, mais pas pleinement, en l'occurrence, il ne permet pas une fonctionnalité absolument essentiel de ce (…)

Un court et très intéressant article dans Le Monde, rubrique opinion

Il suffit de regarder autour de nous, et de regarder dans le rétroviseur pour remarquer que les plus de 50 ans ont le mieux profité de la situation de paix discontinu qui a prévalue en Europe et aux Etats-Unis depuis 1945.
Profitant du boom économique, des logements pas cher, pour pas mal d'entre eux, acheté lors d'une période d'inflation sans précédent (celle des années 1970) qui rendait peu à (…)

On est souvent confronté dans le développement à des besoins constants d'évolution de structures de données. C'est pourquoi on possède maintenant de nombreux outils qui gèrent la migration, la colle objet-relationnel et autres problématiques purement techniques.

Mais peut-on construire une structure de donnée totalement générique, étanche à l'évolution des données à encoder ?
J'entend généricité par sa capacité à exprimer n'importe quel contenu sémantique.

M'étant pas mal amusé avec Attempto Controlled English, je m'en suis inspiré pour construire une structure (…)

C'est avec quelques mois de retard que je vous propose un rapide petit compte rendu de la réunion du projet Isaac ayant eu lieu du 25 au 28 juillet 2008 à Strasbourg.
Environ une quinzaine de personnes étaient présente, dont certains habitués de ces pages.

Divers questions y ont été abordé dans la chaleur moite et statique de l'été Strasbourgeois (35 °C, 0 Km/h de vent)

Le programme se trouve ici : http://lisaac.u-strasbg.fr/index.php/R%C3%A9union_25-28_juil(...)
Parmi les points fort, on pourra remarquer (…)

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 (…)

Sommaire

• La conception du scientifique
• Cartographier ?
• La clé de Paul Jorion
• Pour conclure

Les sciences humaines sont un domaine en définitive assez difficile à qualifier scientifiquement.
Pour les scientifiques que nous sommes, beaucoup de constructions des sciences humaines et sociales tiennent sur du vide.
A leur décharge, même en le maitrisant, les chercheurs n'ont pas le confort de travailler dans un domaine ou l'axiomatique et les règles de raisonnements peuvent être clairement formalisées, voire testées par une machine.
Tout (…)

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 (…)

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é !

salut journal, je fais appel à ta sagacité pour résoudre un petit problème de maths :

Peut -on établir une bijection entre un graphe et un noeud, un noeud étant tout simplement un noeud classique, de marin, fermé, qui sert aussi en topologie algébrique (Il a été découvert que les noeuds procèdent comme des nombres premiers: on a des noeud premiers que l'on compose en recollant les extrémités donnant tous les noeuds possible, la décomposition en noeud premiers est bien (…)

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 (…)

Ce livre vient d'être censuré par l'éditeur MICHALON qui a subi des pressions.
Tombé dans ma boite mail il y a peu

Serge Portelli est membre du syndicat de la magistrature.
Son livre "Ruptures", dressant le bilan de Sarkozy au ministère de l'intérieur, devait être publié par Michalon... qui vient mystérieusement d'y renoncer au dernier moment, empêchant toute publication chez un autre éditeur avant les élections.

Vous le trouverez ici :

http://montaigne2001.free.fr/Serge.Portelli.Ruptures.FRENCH.(...)

Un aperçu du sommaire :

Chapitre premier FAUX (…)

Mon cher journal, je fait pas mal de progrès en Sed, mais là ce que je cherche à faire est au dessus de mes capacités.
Cela dit, les vertus de l'imitation sont grandes...


Voilà mon problème : j'ai un source en C avec plein de void (c'est un source généré par un compilateur donc c'est le bordel, mais à peine plus qu'un gros fichier, non en fait c'est assez propre).

Je voudrait faire un script qui ajoute automatiquement une ligne (…)

Quand on lit des magazines comme 01 (je l'ai pas choisi, hein), des forums, et... on rencontre ce genre de terme cabalistiques dont on n'est pas toujours en capacité de comprendre ce qu'ils recouvrent.
C'est plus sympa de comprendre les articles que l'ont li...

De plus, en train d'essayer de définir ce qu'il conviendrai de donner comme interfaces, librairies, binding à un nouveau langage (lisaac, langage objet à prototypes compilé), j'essaye de séparer le grain de l'ivraie.

Donc ! Quel (…)

Salut ma hargne, et mon courou...


Connaissez vous un plugin mozilla/firefox pour sauvegarder tous les tabs avec leur contenu afin de le recharger quelques jours après ? Cette option était disponible sur galeon, c'est extremement pratique.

Je suis presque prêt (presque parce que je n'y ait jamais touché) à coder en xul pour l'avoir (ça doit pas être très dur). Si vous aviez éventuellement des tuyau sur comment faire...

thx