Journal L'espèce humaine est miséreuse

Posté par  (site web personnel) .
Étiquettes : aucune
9
29
oct.
2008
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 (…)

Journal Le labo commun Inria-Microsoft

Posté par  (site web personnel) .
Étiquettes : aucune
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 Faut-il arrêter l'Euro ?

Posté par  (site web personnel) . Licence CC By‑SA.
Étiquettes :
7
27
mai
2013

Cette opinion iconoclaste est très dérangeante pour la plus part d'entre nous, européens convaincus. C'est pourtant une option qui se dessine dans d'autres milieux que ceux des souverainistes et autres nationalistes, dont la motivation principale est l'attache au concept de nation.

L'euro, installé depuis 11 ans, est devenu, d'après certains, un veau d'or à sauver. C'est à dire qu'une monnaie censé être un outil pour les hommes est devenu un symbole auquel on sacrifie le bien être des populations.

(…)

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

Conférence sur Coq à la Cantine - Nantes le 27/11/2012

Posté par  (site web personnel) . Édité par Benoît Sibaud. Modéré par rootix.
Étiquettes : aucune
7
22
nov.
2012
Communauté

NantesFP organise le mardi 27 novembre 2012 à 19h30 une conférence sur le logiciel assistant de preuve Coq.

La présentation aura lieu à la Cantine, impasse Juton à Nantes et abordera pour cette première partie le cadre mathématique de Coq.
Cette présentation, gracieusement proposée et réalisée par Maxime Folschette, sera la première d'une série couvrant les principaux aspects de Coq et de son langage Gallina.

Les prochaines séances s'orienteront petit à petit vers un mode plus « travaux pratiques » afin que chaque participant puisse s'approprier l'outil.

Le nombre de places étant limité, une inscription est nécessaire.

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 Les fondements démographique de la crise financière

Posté par  (site web personnel) .
Étiquettes : aucune
6
24
oct.
2008
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 à (…)

Journal Javascript n'est pas vraiment du prototype

Posté par  (site web personnel) .
Étiquettes : aucune
6
14
sept.
2010
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 (…)

Journal Une structure de données générique ?

Posté par  (site web personnel) .
Étiquettes :
5
3
juil.
2012

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

Journal Retour sur le Isaac Meeting 2008

Posté par  (site web personnel) .
Étiquettes : aucune
4
20
déc.
2008
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 (…)

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 Cartographie de la métadynamique

Posté par  (site web personnel) . Licence CC By‑SA.
Étiquettes : aucune
3
20
fév.
2013

Sommaire

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

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 Bijection entre noeud et graphe

Posté par  (site web personnel) .
Étiquettes :
1
10
juin
2004
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 (…)

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