Moui, enfin on avait bien précisé Turing-complet, ce qui est suffisant pour invoquer le problème de l'arrêt.
Si tu restreints suffisamment le type de programme que tu considères pour que le problème soit décidable, mécaniquement tu n'est plus dans un langage Turing-Complet, et tu sors du cahier des charges ;-).
Maintenant est-ce qu'Ontologia avait vraiment besoin d'un langage Turing-complet ?
(m'est avis que sa question était en fait de nature purement spéculative et qu'il serait vain d'essayer de refourguer autre chose !)
À lire ton journal, on a l'impression que ça vient de sortir alors que XulRunner 1.9 est sorti en même temps que Firefox 3.0, c'est à dire il y a quelques mois (juin 2008)... Il aurait fallu precisé (dans le titre entre autre), que tu parles de la version de mise à jour 1.9.0.6.
C'est vrai quoi, alors qu'il y a tellement de vraies actus dont on ne parle pas. Tenez par exemple, vous saviez pour Charles Bronson?
Quelques uns seulement: ceux qui sont avant tout orientés smartphone (série P?), pas les autres (pas les séries K, walkman ou cybershot, par exemple, il me semble !).
Sachant que les deux principaux environnements de bureaux ont maintenant ce rythme semestriel, j'imagine que de plus en plus de distributions vont suivre.
On peut avoir un téléphone pas si simple que ça qui ne soit ni sous Android ou autre Linux, ni sous Windows, ni sous MacOSX, ni BlackBerry OS, ni Symbian.
D'ailleurs, j'imagine que les catégories citées représentent moins de 50% du parc.
Quid de tous ces téléphones sous OS spécifique, qui ont pourtant la 3G, le bluetooth, un paquet de fonctions d'organizer, la VM J2ME, et bien sûr l'inévitable lecteur MP3?
Bon, voilà moi j'ai un Sony-Ericsson qui fait tout ça, mais est pourtant sous un OS spécifique.
Mouais, chaque année depuis au moins dix ans a été annoncée comme l'année de l'arrivée de Linux sur le desktop (oui, souvenez vous de Mandrake à ses débuts!).
Ubuntu n'a pas innové de ce côté-là.
Mais bon, le concept est opensource, de toute façon ;-)
Ça, c'est l'effet "canard de bain insubmersible" bien connu des zététiciens.
Tu auras beau régulièrement le renvoyer au fond de la baignoire à coups de sources vérifiées et de preuves scientifiques, il finira toujours par réémerger une nouvelle fois.
Moui, faut arrêter un peu avec cet argument, car :
1 - voyages-sncf est filiale à 100% de la SNCF
2 - voyages-sncf est la quasi-unique vitrine commerciale de la SNCF sur le web. Tout pet de travers sur ce site rejaillit immédiatement sur l'image de la société mère.
Bref, Guillaume Pépy devrait se sentir plus que concerné !
L'auteur "ne peut interdire"... au sens qu'il n'a pas utiliser le droit d'auteur pour interdire ces choses-là.
Et donc a priori, il ne peut pas contraindre plus par contrat (ce qui ne l'empêche pas d'écrire n'importe quoi, comme il est d'usage, dans les conditions d'utilisation !).
Mais cela ne veut pas dire qu'il n'a pas le droit d'utiliser des mesures techniques de protection... et là, DADVSI s'applique pour protéger légalement la protection technique !
Eh, c'est pas comme si j'avais dit que Gnome était vraiment pourri avec ses choix d'interface de nazis... euh comment ?, quoi ?, je l'étale en plus d'avoir marché dedans ?
Bon, je m'attendais à cette réponse, pour les ergots!
Eh bien figure-toi que mes doigts ne sont pas assez larges pour toucher toutes les touches en même temps pour trouver ces foutus ergots en un quart de seconde!
Les ergots, c'est bien pour se repositionner quand on n'a pas vraiment quitté le clavier, ou alors pour finaliser son positionnement.
Bien sûr, on peut faire avec juste les ergots, mais quand on peut voir son clavier, on gagne du temps (ok je chipote pour un gain assez minuscule!).
Sinon 1 ou 2, c'était le nombre claviers.
42 est évidemment hors de question : trop cher, et puis, je ne travaille en général qu'à deux emplacements différents.
Cette zone dite de "notification" (par les gnomistes) mérite un véritable débat.
Je pense que la plupart des usages qui en sont fait sont légitimes, mais que le problème vient d'un manque d'harmonisation.
Les guidelines de la planète Gnome disent que cette zone ne sert qu'à afficher des icônes quand on veut être notifié. Les applications qui s'en servent ont leur entrée dans la barre des tâches, et alt-F4 les quitte.
L'usage le plus courant sous KDE est, 1, de proposer un menu personnalisé facilement accessible pour les applications qui restent chargées en permanence, 2, de décharger la barre de tâche de ces mêmes applications quand leur fenêtre est fermée et, 3, éventuellement de notifier (mais il y a 36000 autres manières de notifier sous KDE). Ces applications ne sont pas quittées par alt-F4, mais leur fenêtre est juste fermée.
Évidemment, quand on utilise les deux types d'applis ensemble, c'est le bordel (sans compter qu'il y a encore d'autres moyens de l'utiliser).
Récemment, devant les limites du system tray (voir le lien plus haut), KDE semble vouloir privilégier l'approche plasmoïdes. C'est certainement une bonne idée, mais vu que plasma offre encore plus de souplesse que la systray, il va falloir des guidelines assez claires de ce côté (pas toujours le fort de KDE!).
Bon maintenant, quand je parlais de débat, il y en a peut-être deux:
1 - sur les préconisations d'ergonomie et leur éventuelle harmonisation
2 - sur la technique elle-même (remplacement du vieux protocole de la systray... qui résoudrait des problèmes, mais ne changerait rien au bordel ambiant!)
[^] # Re: Waouh
Posté par Aldoo . En réponse au journal La société de l'autruche .... Évalué à 5.
[^] # Re: Il n'y a que moi que ça fait tiquer ?
Posté par Aldoo . En réponse à la dépêche OpenStreetMap souhaite changer de licence. Évalué à 2.
http://xkcd.com/501/
[^] # Re: Je suis certainement idiot
Posté par Aldoo . En réponse au journal Déterminer le domaine d'un programme. Évalué à 3.
Si tu restreints suffisamment le type de programme que tu considères pour que le problème soit décidable, mécaniquement tu n'est plus dans un langage Turing-Complet, et tu sors du cahier des charges ;-).
Maintenant est-ce qu'Ontologia avait vraiment besoin d'un langage Turing-complet ?
(m'est avis que sa question était en fait de nature purement spéculative et qu'il serait vain d'essayer de refourguer autre chose !)
[^] # Re: Précisions...
Posté par Aldoo . En réponse au journal XULrunner 1.9 est là. Évalué à 1.
C'est vrai quoi, alors qu'il y a tellement de vraies actus dont on ne parle pas. Tenez par exemple, vous saviez pour Charles Bronson?
# patrick_g?
Posté par Aldoo . En réponse au journal Qui va gagner la course au Higgs ?. Évalué à 8.
[^] # Re: saleté de plugin...
Posté par Aldoo . En réponse au journal Loi Création et Internet : Albanel devant les députés à 16H15. Évalué à 5.
-10% en milieu de séance, en effet !
(ou tu voulais dire obsolète, peut-être? ;-) )
[^] # Re: Une vraie concurrence à Gimp ?
Posté par Aldoo . En réponse à la dépêche Krita 2.0 aura besoin de tests. Évalué à 5.
Bon sérieusement, Krita fait partie de KOffice (astuce : lire la dépêche !), donc oui, c'est KDE.
[^] # Re: Qui interdit ?
Posté par Aldoo . En réponse au journal [HS] Stallman à propos du logiciel "privateur" vs privatif. Évalué à 3.
[^] # Re: Les choix sont volontairement limités, mais quand-même !
Posté par Aldoo . En réponse au sondage Mon téléphone mobile. Évalué à 2.
[^] # Re: Dommage : mauvais timing
Posté par Aldoo . En réponse à la dépêche Test d'openSUSE 11.1. Évalué à 1.
Pour Gnome, c'est aussi le cas... et depuis... très longtemps! [http://fr.wikipedia.org/wiki/GNOME#Historique_de_GNOME]
Sachant que les deux principaux environnements de bureaux ont maintenant ce rythme semestriel, j'imagine que de plus en plus de distributions vont suivre.
# Les choix sont volontairement limités, mais quand-même !
Posté par Aldoo . En réponse au sondage Mon téléphone mobile. Évalué à 3.
D'ailleurs, j'imagine que les catégories citées représentent moins de 50% du parc.
Quid de tous ces téléphones sous OS spécifique, qui ont pourtant la 3G, le bluetooth, un paquet de fonctions d'organizer, la VM J2ME, et bien sûr l'inévitable lecteur MP3?
Bon, voilà moi j'ai un Sony-Ericsson qui fait tout ça, mais est pourtant sous un OS spécifique.
[^] # Re: Le système Linux comme étant le cancer
Posté par Aldoo . En réponse au journal Microsoft sponsorise le serveur Apache !!!. Évalué à 2.
Ubuntu n'a pas innové de ce côté-là.
Mais bon, le concept est opensource, de toute façon ;-)
[^] # Re: Communication
Posté par Aldoo . En réponse au journal Un entretien avec la SNCF ?. Évalué à 5.
Tu auras beau régulièrement le renvoyer au fond de la baignoire à coups de sources vérifiées et de preuves scientifiques, il finira toujours par réémerger une nouvelle fois.
[^] # Re: Communication
Posté par Aldoo . En réponse au journal Un entretien avec la SNCF ?. Évalué à 3.
[^] # Re: Communication
Posté par Aldoo . En réponse au journal Un entretien avec la SNCF ?. Évalué à 5.
http://www.hoaxbuster.com/hoaxliste/hoax.php?idArticle=45794
Nous vivons à l'ère de Google. Le minimum syndical, si je puis me permettre, est à portée de tous pour ce qui est de la vérification des rumeurs.
[^] # Re: BO2K ?
Posté par Aldoo . En réponse au journal Les virus capucay pas libre. Évalué à 6.
[^] # Re: Ce ne sera pas aussi amusant…
Posté par Aldoo . En réponse au journal Un entretien avec la SNCF ?. Évalué à 10.
1 - voyages-sncf est filiale à 100% de la SNCF
2 - voyages-sncf est la quasi-unique vitrine commerciale de la SNCF sur le web. Tout pet de travers sur ce site rejaillit immédiatement sur l'image de la société mère.
Bref, Guillaume Pépy devrait se sentir plus que concerné !
[^] # Re: Intel
Posté par Aldoo . En réponse au message Carte graphique et pilote libre. Évalué à 3.
[^] # Re: Copie pour le cache
Posté par Aldoo . En réponse au journal Deezer et législation.. Évalué à 2.
LCEN est hors-sujet, là.
[^] # Re: Mouais
Posté par Aldoo . En réponse au journal Deezer et législation.. Évalué à 1.
Et donc a priori, il ne peut pas contraindre plus par contrat (ce qui ne l'empêche pas d'écrire n'importe quoi, comme il est d'usage, dans les conditions d'utilisation !).
Mais cela ne veut pas dire qu'il n'a pas le droit d'utiliser des mesures techniques de protection... et là, DADVSI s'applique pour protéger légalement la protection technique !
[^] # Re: Je vous detruit tous.
Posté par Aldoo . En réponse à la dépêche Sortie de la version 0.5.0 de Teeworlds. Évalué à 2.
[^] # Re: Tu sais pas cliquer !
Posté par Aldoo . En réponse au journal Les clients de messagerie instantanée son tous pourris. Évalué à 9.
--->[]
[^] # Re: LE vrai problème
Posté par Aldoo . En réponse au journal Les clients de messagerie instantanée son tous pourris. Évalué à 3.
[^] # Re: skin
Posté par Aldoo . En réponse au journal Les claviers Typematrix Bépo sont disponibles à la commande !. Évalué à 2.
Eh bien figure-toi que mes doigts ne sont pas assez larges pour toucher toutes les touches en même temps pour trouver ces foutus ergots en un quart de seconde!
Les ergots, c'est bien pour se repositionner quand on n'a pas vraiment quitté le clavier, ou alors pour finaliser son positionnement.
Bien sûr, on peut faire avec juste les ergots, mais quand on peut voir son clavier, on gagne du temps (ok je chipote pour un gain assez minuscule!).
Sinon 1 ou 2, c'était le nombre claviers.
42 est évidemment hors de question : trop cher, et puis, je ne travaille en général qu'à deux emplacements différents.
# Le vrai problème
Posté par Aldoo . En réponse au journal Les clients de messagerie instantanée son tous pourris. Évalué à 6.
Je pense que la plupart des usages qui en sont fait sont légitimes, mais que le problème vient d'un manque d'harmonisation.
Les guidelines de la planète Gnome disent que cette zone ne sert qu'à afficher des icônes quand on veut être notifié. Les applications qui s'en servent ont leur entrée dans la barre des tâches, et alt-F4 les quitte.
L'usage le plus courant sous KDE est, 1, de proposer un menu personnalisé facilement accessible pour les applications qui restent chargées en permanence, 2, de décharger la barre de tâche de ces mêmes applications quand leur fenêtre est fermée et, 3, éventuellement de notifier (mais il y a 36000 autres manières de notifier sous KDE). Ces applications ne sont pas quittées par alt-F4, mais leur fenêtre est juste fermée.
Évidemment, quand on utilise les deux types d'applis ensemble, c'est le bordel (sans compter qu'il y a encore d'autres moyens de l'utiliser).
Récemment, devant les limites du system tray (voir le lien plus haut), KDE semble vouloir privilégier l'approche plasmoïdes. C'est certainement une bonne idée, mais vu que plasma offre encore plus de souplesse que la systray, il va falloir des guidelines assez claires de ce côté (pas toujours le fort de KDE!).
Bon maintenant, quand je parlais de débat, il y en a peut-être deux:
1 - sur les préconisations d'ergonomie et leur éventuelle harmonisation
2 - sur la technique elle-même (remplacement du vieux protocole de la systray... qui résoudrait des problèmes, mais ne changerait rien au bordel ambiant!)