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

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

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

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

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

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

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

Prions pour que les brevets n'existent pas en europe, mais ils existent dors et déjà aux états-unis.

Question aux qq juristes de DLFP : Imaginons.
Je crée un logiciel en europe dans lequel se trouve un algorithme radicalement nouveau et prometteur, imaginons même que je l'ai créé au sein de l'INRIA.
Afin de se prémunir contre un brevetage sauvage extérieur ou autre indélicatesse, l'INRIA publie ce logiciel avec une licence spéciale* (voir plus bas) qui stipule que l'on peut le (…)

Mes chers tous :)

Depuis quelques temps (1 semaine) j'ai atterri dans le monde passionnant de l'entreprise(BTS info, alternance). PME industrielle, avec bureau d'étude pour des développement spécifiques, vente de composants, gestion de stock, d'informations, de BD clients(conditions commerciales spécifiques à chacun d'eux), de flux informationnels intra et extra services, ambiance super sympa, etc...

Je suis le seul informaticien et j'ai un peu tout à faire (def des besoins/audit, priorisation, dvp, etc..).

Je dois choisir l'outil de développement qui me (…)