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

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

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

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

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

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

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

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

Mon cher journal, Je ne résiste pas au plaisir de te conter cette fabuleuse histoire de plaque d'immatriculation que le gouvernement veut changer car l'ancien arrive au bout, principalement à Paris.
Un système plus intelligent a donc été pensé : plaque d'immatriculation assigné au véhicule à vie, numéro national.

Quel scandale ! Car comment saura t-on de quel département j'ai éclo ? Je suis vendéen/mayennais et fier de l'être !! Je veux que mon département soit affiché en gros sur (…)

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 en parle comme d"un sujet assez secondaire, mais un grande catastrophe serait bien en passe de se profiler à l'horizon : partout dans le monde on assiste à une surmortalité des abeilles, comme en rend compte Dennis van Engelsdorp[1], chercheur en agronomie à l'université de Pennsylvanie.
On assiste à une surmortalité de 30% par rapport à la normale, chaque années.

Rappelons que 80 % des plantes, et le même pourcentage de plante alimentaires nécessitent des polinisateurs, dont les abeilles (…)

C'est avec une grande tristesse que je viens d'apprendre la mort de Richard Wright, à 65 ans, d'un cancer.

Claviériste discret de Pink Floyd, Richard Wright a été pour beaucoup dans la définition du son moderne, a expérimenté toutes sortes de sons, poussé très loin les synthétiseur des années 70 (écoutez le solo de synthé dans Dogs - Animals), pour en faire autre chose que ce que nous proposait Jean-Michel Jarre ;-)

Mais loin d'être un expérimentateur de sons froids (…)