• [^] # Re: Libre de brevets

    Posté par . En réponse à la dépêche FLIF, un format d’image sans perte, intelligent et « performant », sous licence GPL. Évalué à 1.

    Soyons clair : tu dis que l'objectif de ce code est de ne plus pouvoir interdire a un citoyen la lecture du code source qu'on n'a pas écrit, comme condition à utiliser le code qu'on a écrit.

    L'objectif est plutôt de rendre publique tous les codes, et ce quelque soit l'auteur. Ce qui ne me choque pas.

    Selon la correspondance de Curry-Howard, tout programme (code) est la preuve d'un théorème et ce dernier en est le type (la spécification). Affirmer publiquement un théorème, en proposer l'usage à autrui et pourtant lui refuser la lecture de la preuve, j'appelle cela se foutre de la gueule du monde !!!
    Il n'y a que depuis l'avènement de l'ordinateur et le développement de l'informatique que l'on cautionne un tel comportement.

    Cette correspondance (j'en ai expliqué le principe dans cette discussion) est connue depuis les années 60 quand on a voulu typer le \lambda-calcul, langage dont le LISP est clairement dérivé (langage cher à RMS ;-)

    Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.