Ben, il suffit de supporter le projet ikvm.net, qui actuellement a réussi à faire tourrner eclipse 3M8 sur mono... alors voilà, ikvm.net + gnu classpath + (mono ou portable.net) et on a une jvm 100% libre. Avec swingwt, il manque plus rien... juste de la correction de bug et là, java c'est libre et ça sent bon !!
Y a un truc que je comprends pas... je cite "qu'il ne remette jamais en cause leur Windows piraté".
Je croyais qu'il était impossible d'acheter un pc sans windows préinstallé ? Alors qu'on m'explique comment des gens ont un windows piraté ? Moi j'ai trois licence de windows dont je me suis jamais servi, aussitôt mon pc reçu, aussitôt une mandrake dessus... Donc ? d'ailleurs ça me fait bien chier d'avoir une licence windows millenium et 2 licences windows xp home dont je n'ai que faire...
Sinon, le débat initial portait sur le fait que le projet Debian serait 'juste" un utilisateur de GNU/Linux et qu'il n'apporterait rien aux logiciels libres.
Pas du tout le débat initial était que debian est un utilisateur (le mot est mal choisi, je préfère packageur) de GNU/Linux comme les autres distrib et pas le créateur de l'OS, si tant est que cela aie un sens.
Non un brevet ne porte pas sur une idée et heureusement... Un brevet porte sur une ou plusieurs inventions techniques, un brevet protège une invention réel, tangible, pas une vue d'esprit.
halt est l'algorithme (générique) qui prends 2 paramètres, le programme, et un input et te dit si pour ce programme et cette entrée ce programme s'arrête. Le fait est que cet algorithme est générique (ie, c'est un algorithme qui s'arrête toujours, donc qui donne toujours une solution en un temps fini) La démonstration, montre qu'un tel algorithme n'existe pas, car si c'était le cas, cela amène à une contradication.
Un problème est dit indécidable si il n'a pas de solution en un temps fini.
La page de wikipédia est bien faite je trouve et sans aucune erreur.
Donc tu viens d'expliquer qu'on ne peut pas trouver un algorithme (en fait au moins un) qui soit universelle pour le problème donné, c'est bien ce que tu viens de montrer.
Tu viens de montrer que ton algo du halting problem n'est pas universelle (ie. il ne peut pas donner de réponse pour halt(halt,halt)). Donc la démonstration par l'absurde n'est pas érronée.
Oui, sauf qu'ici on parle d'un format de fichier pas d'un logiciel... De plus c'est un peu inexact, car ce qui était breveté était l'algo de compression utilisé... Donc le brevet portait sur un algorithme et non pas un logiciel ni même sur le format de données.
Non... de toutes façon ces systèmes drm sont voués à l'échec, je suis convaincu que ça ne diminuera en aucune façon le piratage "industrielle" qui est celui qui cause le plus de tord financier. De plus, il suffit d'une seule source dédrmisée pour que le fichier a copyright "sensible" se fasse distribuer et copier à grande échelle.
[^] # Re: ObjectWeb et Eclipse WebTools
Posté par allcolor (site web personnel) . En réponse à la dépêche ObjectWeb et Eclipse WebTools. Évalué à 2.
# Re: Le piratage, c'est mal.
Posté par allcolor (site web personnel) . En réponse au journal Le piratage, c'est mal.. Évalué à 1.
Je croyais qu'il était impossible d'acheter un pc sans windows préinstallé ? Alors qu'on m'explique comment des gens ont un windows piraté ? Moi j'ai trois licence de windows dont je me suis jamais servi, aussitôt mon pc reçu, aussitôt une mandrake dessus... Donc ? d'ailleurs ça me fait bien chier d'avoir une licence windows millenium et 2 licences windows xp home dont je n'ai que faire...
[^] # Re: Une très bonne chose
Posté par allcolor (site web personnel) . En réponse à la dépêche ObjectWeb et Eclipse WebTools. Évalué à 1.
Bon c'est de l'auto-pub... ===>[]
[^] # Re: Rooooooooooooohhh
Posté par allcolor (site web personnel) . En réponse à la dépêche La sortie de la prochaine Debian menacée ?. Évalué à 1.
Pas du tout le débat initial était que debian est un utilisateur (le mot est mal choisi, je préfère packageur) de GNU/Linux comme les autres distrib et pas le créateur de l'OS, si tant est que cela aie un sens.
[^] # Re: youpi un nouveau troll!!!
Posté par allcolor (site web personnel) . En réponse à la dépêche Le format JPEG sous le coup d'un brevet. Évalué à 2.
[^] # Re: Que ne savons-nous pas ?
Posté par allcolor (site web personnel) . En réponse au journal Que ne savons-nous pas ?. Évalué à 1.
Un problème est dit indécidable si il n'a pas de solution en un temps fini.
La page de wikipédia est bien faite je trouve et sans aucune erreur.
# Re: CMS: lequel ?
Posté par allcolor (site web personnel) . En réponse au journal CMS: lequel ?. Évalué à 1.
https://sourceforge.net/projects/yawda(...)
# Re: 1 bug de résolu, 10 qui me retombent dessus
Posté par allcolor (site web personnel) . En réponse au journal 1 bug de résolu, 10 qui me retombent dessus. Évalué à 1.
[^] # Re: Que ne savons-nous pas ?
Posté par allcolor (site web personnel) . En réponse au journal Que ne savons-nous pas ?. Évalué à 1.
Le halting problem, c'est pour n'importe quel donnée en entrée !
[^] # Re: Que ne savons-nous pas ?
Posté par allcolor (site web personnel) . En réponse au journal Que ne savons-nous pas ?. Évalué à 1.
Tu viens de montrer que ton algo du halting problem n'est pas universelle (ie. il ne peut pas donner de réponse pour halt(halt,halt)). Donc la démonstration par l'absurde n'est pas érronée.
[^] # Re: Que ne savons-nous pas ?
Posté par allcolor (site web personnel) . En réponse au journal Que ne savons-nous pas ?. Évalué à 1.
http://en.wikipedia.org/wiki/Halting_problem(...)
[^] # Re: youpi un nouveau troll!!!
Posté par allcolor (site web personnel) . En réponse à la dépêche Le format JPEG sous le coup d'un brevet. Évalué à 2.
[^] # Re: Testez votre vulnérabilité à la faille "TCP spoofed Connexion"
Posté par allcolor (site web personnel) . En réponse à la dépêche Testez votre vulnérabilité à la faille "TCP spoofed Connexion". Évalué à 0.
[^] # Re: Que ne savons-nous pas ?
Posté par allcolor (site web personnel) . En réponse au journal Que ne savons-nous pas ?. Évalué à 2.
et 6x6 = 36 qui additionné font 9 et 51-9 = 42
cqfd
[^] # Re: Benchez en java-script :D
Posté par allcolor (site web personnel) . En réponse au journal Benchez en java-script :D. Évalué à 1.
sous mozilla : 45.58 (ou kekchose comme ça)
sous konqueror 3.2 : le test 7 ne finit jamais (pourtant les dates sont imprimées mais beaucoup avec NaN).
sous opera 7.23 (spalibre) : 8.27 secondes
Tout ça sur la même machine, alors l'interpreteur js d'opera est vraimenet meilleur semble-t'il.
[^] # Re: IBM se lance dans la course aux DRM
Posté par allcolor (site web personnel) . En réponse au journal IBM se lance dans la course aux DRM. Évalué à 1.
[^] # Re: IBM se lance dans la course aux DRM
Posté par allcolor (site web personnel) . En réponse au journal IBM se lance dans la course aux DRM. Évalué à 1.
[^] # Re: XUL Grand Coding Challenge 2004 Kicked Off
Posté par allcolor (site web personnel) . En réponse à la dépêche Lancement du "XUL Grand Coding Challenge 2004". Évalué à 1.
[^] # Re: Conférence à Paris : "Programmation orientée aspect en Java avec JAC"
Posté par allcolor (site web personnel) . En réponse à la dépêche Conférence à Paris : "Programmation orientée aspect en Java avec JAC". Évalué à 1.
http://freshmeat.net/projects/yawda/(...)
[^] # Re: Mandrakelinux 10.0 Official est disponible
Posté par allcolor (site web personnel) . En réponse au journal Mandrakelinux 10.0 Official est disponible. Évalué à 0.
Images -> From Current Server Only
[^] # Re: Pourquoi le libre c'est bien !!!
Posté par allcolor (site web personnel) . En réponse au journal Pourquoi le libre c'est bien !!!. Évalué à -1.
[^] # Re: Tribune Libre
Posté par allcolor (site web personnel) . En réponse au journal Tribune Libre. Évalué à 1.
Je ne penses pas, je vois plutôt ça comme un hommage au vrai bouchot originel, celui dont toutes les moules sony issues... celui que tu as créé.
[^] # La regexp Finale ?
Posté par allcolor (site web personnel) . En réponse au journal Probleme avec le detecteur d'url. Évalué à 2.
(/[\~a-zA-Z0-9\.\:\|;_%\-&&[^<>]]*)*((\?|&)([a-zA-Z0-9_\.%-\|;\:\-&&[^<>]]*)[=]?[a-zA-Z0-9\|;\._%-\:\-&&[^<>]]*)*
(\#[a-zA-Z0-9_\.\-&&[^<>]]+)?)
[^] # Re: CSS XHTML ca souuuule !!!!
Posté par allcolor (site web personnel) . En réponse au journal CSS XHTML ca souuuule !!!!. Évalué à 1.
[^] # Re: petit changement
Posté par allcolor (site web personnel) . En réponse au journal Probleme avec le detecteur d'url. Évalué à 2.
([^(µµ)]|^)((((new|(ht|f)tp)s?://){1}([a-zA-Z0-9_-]+:[a-zA-Z0-9_-]+\@)?((www|ftp|[a-zA-Z0-9]+
(-\+[a-zA-Z0-9])*)\.)?)([a-zA-Z0-9]+(\-+[a-zA-Z0-9]+)*[\.]?)+([a-z]{2,7})?(:\d+)?(/~[a-zA-Z0-9\._%\-]+)?
(/[a-zA-Z0-9\._%.-]+(?=/))*(/[a-zA-Z0-9\._%-]+(\.[a-zA-Z0-9]+)?(\#[a-zA-Z0-9_.]+)?)*(/?[\?]?
([a-zA-Z0-9_\.%-\|;\:]*)[=]?[a-zA-Z0-9\|;\._%-\:]*)?([&|/]([#;a-zA-Z0-9_.%-\:\|]*)[=]?[a-zA-Z0-9\|_.;%-]*)*/?)